
Applied Math Applied Math Forum 
 LinkBack  Thread Tools  Display Modes 
January 22nd, 2019, 10:57 PM  #1 
Banned Camp Joined: Jun 2010 Posts: 17 Thanks: 0  Gödel's 2nd theorem ends in paradox
Godel's 2nd theorem ends in paradox http://gamahucherpress.yellowgum.com...ads/GODEL5.pdf Godel's 2nd theorem is about "If an axiomatic system can be proven to be consistent and complete from within itself, then it is inconsistent.” But we have a paradox Gödel is using a mathematical system his theorem says a system cant be proven consistent THUS A PARADOX Godel must prove that a system cannot be proven to be consistent based upon the premise that the logic he uses must be consistent . If the logic he uses is not consistent then he cannot make a proof that is consistent. So he must assume that his logic is consistent so he can make a proof of the impossibility of proving a system to be consistent. But if his proof is true then he has proved that the logic he uses to make the proof must be consistent, but his proof proves that this cannot be done THUS A PARADOX 
January 23rd, 2019, 10:35 AM  #2 
Senior Member Joined: Oct 2009 Posts: 906 Thanks: 354 
Yes. So assume you can prove within the system that the system is consistent and complete. Either two possibilities:  Either the system is inconsistent. Done  The system is consistent. Then Godel applies. Contradiction. So whatever the system, if you can write a proof of consistence and completeness, the system must be inconsistent. Not a paradox, just very counterintuitive. 

Tags 
2nd, ends, gödel, godel, paradox, theorem 
Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
Axiomatic set theory ZFC is inconsistent thus mathematics ends in contradiction  bas  Applied Math  1  January 11th, 2019 02:13 PM 
Polynomial ends with 10  Skyer  Number Theory  9  November 28th, 2011 09:39 AM 
Mathematics Ends in Meaninglessness ie selfcontradiction  bas  Applied Math  6  January 19th, 2011 06:45 AM 
The wellordering theorem and Skolem's paradox  kfx  Applied Math  5  October 9th, 2010 07:32 AM 
# of k, s.t. k! ends in 99 zeros  krackwacker  Number Theory  7  November 4th, 2008 05:48 PM 