84 followers
@JDHamkins A book to start with. https://t.co/7yluojXDPT
@JDHamkins A book to start with. https://t.co/7yluojXDPT
@JDHamkins It's probably not in the spirit of the question, but "applied proof theory" (https://t.co/9QK0GkYVO4) is about taking existing proofs and transforming them into proofs of strictly stronger statements, eg. extracting bounds from apparently-noncon
こういう方向性もあるのか…… https://t.co/q1wsQCr9Kl https://t.co/bpyzLVinsv
My grand-supervisor wrote a book on this, called "Applied proof theory" https://t.co/9QK0GkYVO4 https://t.co/y4fKNYsxtX