Editing Talk:816: Applied Math
Please sign your posts with ~~~~ |
Warning: You are not logged in. Your IP address will be publicly visible if you make any edits. If you log in or create an account, your edits will be attributed to your username, along with other benefits.
The edit can be undone.
Please check the comparison below to verify that this is what you want to do, and then save the changes below to finish undoing the edit.
Latest revision | Your text | ||
Line 2: | Line 2: | ||
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) | 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) | ||
β | + | ||
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) | 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) |