3 ms·
The general idea is that if you have a logical system that can reason about numbers, if you figure out a way to encode the operators of the system itself as num
by empath75 8y ago
The general idea is that if you have a logical system that can reason about numbers, if you figure out a way to encode the operators of the system itself as numbers, you can reason about the system itself within the system.