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

(Created page with "Where IS the indication that she got the address from Black Hat ?~~~~") |
(explaining IP 108.162's comment) |
||

(3 intermediate revisions by 3 users not shown) | |||

Line 1: | Line 1: | ||

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

+ | |||

+ | She must have derived it via the principle of explosion. [[Special:Contributions/108.162.221.90|108.162.221.90]] 19:58, 12 May 2014 (UTC) | ||

+ | :Which is a reference to xkcd #[[704]]. [[Special:Contributions/108.162.254.56|108.162.254.56]] 11:45, 8 June 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) |

## Latest revision as of 11:45, 8 June 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)

- Which is a reference to xkcd #704. 108.162.254.56 11:45, 8 June 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. String userName = new String(); (talk) 20:20, 7 May 2015 (UTC)