4 ms·
Another approach to the finite-mathematician-lifespan problem might be to develop new foundations that are closer to the edge. I expect there's a logical univer
by __MatrixMan__ 4y ago
Another approach to the finite-mathematician-lifespan problem might be to develop new foundations that are closer to the edge. I expect there's a logical universe in which sets are bizarre and hard to construct but objects which would take a modern mathematician years to grok are convenient and simple to work with.
- deleted 4y ago[deleted]
- nephanth 4y agoHomotopy type theory?
- sdenton4 4y agoMy favorite thought game along these lines is imagining an alien civilization where permutations are the fundamental object instead of the natural numbers.
- __MatrixMan__ 4y agoMaybe food is plentiful enough that they never need to bother with its quantity, but there's some strobing energy source in their environment which periodically walks important chemicals through an ultimately cyclical series of states. So like, the food is poisonous on strobes 3 and 8 of a 14 strobe cycle, and understanding that is the key to staying alive in their environment.
- Qem 4y agoThis approach reminds what the geometric algebra folks are trying to do.