Complexity of proofs
the_andrew_winkler at yahoo.com
Thu Jul 23 22:33:45 EDT 2020
I recall hearing of a theorem that said something along the lines of generic axioms give rise to theorems whose proofs are exponential in the lengths of their statements. It’s not clear to me how to make that precise. Has anyone heard this? Any pointers you could give me for tracking it down? Thanks!
Sent from Yahoo Mail for iPhone
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the FOM