4 ms·
Why do you claim logic is a superset of math? My understanding of Gödel's incompleteness theorems is they show you can't reduce arithmetic to a consistent & com
by paragraft 15y ago
Why do you claim logic is a superset of math? My understanding of Gödel's incompleteness theorems is they show you can't reduce arithmetic to a consistent & complete logic.
- nkassis 15y agoWell Godel had to use Logic to prove this. I guess what he meant is logic allows mathematicians to talk about mathematics at a meta level. I wouldn't say a superset of Math since it's still very much mathematics. http://en.wikipedia.org/wiki/Metamathematics http://en.wikipedia.org/wiki/Metamathematics