19 ms·
"You always need more bits of axioms than of program if you want to prove theorems about your programs." Fascinating. Is that a quote? I've never seen it state
by DalekBaldwin 11y ago
"You always need more bits of axioms than of program if you want to prove theorems about your programs."
Fascinating. Is that a quote? I've never seen it stated that way. I think something about it just clicked for me.
- eli_gottlieb 11y agoIt's a paraphrase rather than a quote, of "the theorems of a finitely-specified theory cannot be significantly more complex than the theory itself." http://www.sciencedirect.com/science/article/pii/S0196885804001277 http://www.sciencedirect.com/science/article/pii/S0196885804...