Meta-theory is the term for the theory in which mathematics is formalized (often PA, ZFC or similar theories). Meta-mathematical statements are statements which are evaluated at the level of the meta-theory rather than the theory. This tag is for questions regarding meta-mathematical theories, and ...
Fiction "Division by Zero" By Ted Chiang I read the fiction story "Division by Zero" By Ted Chiang My interpretation is the character finds a proof that arithmetic is inconsistent. Is there a ...
YARFMO (Yet another reposting from Mathoverflow) ;-) The more you know about math the more you find conceptions previously thought correct to be false: 1.) math is not as exact as many believe - in ...
I apologize for posting such an untechnical question, but with responses it could surely be posed in a better form. I'm a math noob, but I've seen (as we all have) a few examples of "connections" ...
Many young, and not so young, mathematicians struggle with how to spend their time. Perhaps this is due to the 90%-10% rule for mathematical insight: 90 pages of work yield only 10 pages of useful ...
The reason I ask this is because difficult mathematical proofs are just not plain self-evident. You would need a few years of intensive study before you can get to the point of understanding the ...