All Questions
1 question
1
vote
0
answers
93
views
Why not move from proof numbers to theories instead of theories to proof numbers?
In mathematics, they do this thing where they figure out what are called "proof-theoretic ordinals" (see this section of the SEP article on proof theory for background details) of theories, ...
- 22.5k