3 ms·
You are describing (some of) physics, not math. Most of math is already far beyond human physical senses, and theoretical physics largely is too.
by sukilot 6y ago
You are describing (some of) physics, not math. Most of math is already far beyond human physical senses, and theoretical physics largely is too.
- whatshisface 6y agoIt's all still based on intuitive concepts like "sets" and "integers." Furthermore, inference rules are all based on the ones we use every day. You could have "alien logic" if you wanted but nobody seems to be very interested. Of course this has no bearing on computer proofs because you can tell the computer what your preferences are.