Difference between revisions of "Talk:816: Applied Math"

Explain xkcd: It's 'cause you're dumb.
Jump to: navigation, search
Line 4: Line 4:
  
  
If you look in the top-right corner, you can see what looks like "ZFC," (Zermelo-Fraenkel Set Theory with the Axiom of Choice), which is a a dozen or so axioms that all of mathematics is built upon. Because of Godel's Incompleteness Theorems, it is impossible to prove that ZFC contains no contradictions (unless it actually does contain contradictions). If Megan proved the inconsistency of logic, she certainly could show as a corrollary the inconsistency of ZFC, and therefore all of mathematics. Even statements like 2+2=4 could be proven false. [[Special:Contributions/173.245.52.154|173.245.52.154]] 20:06, 7 May 2015 (UTC)
+
If you look in the top-right corner, you can see what looks like "ZFC," (Zermelo-Fraenkel Set Theory with the Axiom of Choice), which is a a dozen or so axioms that all of mathematics is built upon. Because of Godel's Incompleteness Theorems, it is impossible to prove that ZFC contains no contradictions (unless it actually does contain contradictions). If Megan proved the inconsistency of logic, she certainly could show as a corrollary the inconsistency of ZFC, and therefore all of mathematics. Even statements like 2+2=4 could be proven false. [[User:String userName = new String();|String userName = new String();]] ([[User talk:String userName = new String();|talk]]) 20:20, 7 May 2015 (UTC)

Revision as of 20:20, 7 May 2015

Where IS the indication that she got the address from Black Hat ?Guru-45 (talk) 10:45, 17 May 2013 (UTC)

She must have derived it via the principle of explosion. 108.162.221.90 19:58, 12 May 2014 (UTC)


If you look in the top-right corner, you can see what looks like "ZFC," (Zermelo-Fraenkel Set Theory with the Axiom of Choice), which is a a dozen or so axioms that all of mathematics is built upon. Because of Godel's Incompleteness Theorems, it is impossible to prove that ZFC contains no contradictions (unless it actually does contain contradictions). If Megan proved the inconsistency of logic, she certainly could show as a corrollary the inconsistency of ZFC, and therefore all of mathematics. Even statements like 2+2=4 could be proven false. String userName = new String(); (talk) 20:20, 7 May 2015 (UTC)