June 14th, 2017, 06:31 AM  #1 
Member Joined: Jun 2009 Posts: 80 Thanks: 1  Godel's undecidability
Hi, first point: This topic is about logic but I have found no category in this forum concerning eg logic, set theory atc, so I decided to place it in the category Applied Math. I have one quick remark (question): Is it so that Eucleid's fifth postulate (about parallels) is the "first" special example of Godel incompleteness theorem? (Becuase that postulate cannot be proved and also its negation cannot be proved.) This was known in 19. century. And if so why it was later believed (by David Hilbert eg) that in every theory every formula or its negation can be proved? Thank you for any comments. 
June 14th, 2017, 06:43 AM  #2 
Math Team Joined: Dec 2013 From: Colombia Posts: 7,038 Thanks: 2344 Math Focus: Mainly analysis and algebra 
One of the consequences of Gödel is that no axiom system can ever be complete. Until he came up with this proof, it was thought that either:

June 14th, 2017, 10:38 AM  #3 
Senior Member Joined: Aug 2012 Posts: 1,639 Thanks: 415 
Not an expert on these matters but ... *Euclidean geometry is incomplete, but it's not an example of Gödel incompleteness, which applies only to systems complex enough to define the arithmetic of the natural numbers. https://math.stackexchange.com/quest...mpletenessthe * Tarski's axiomitization of geometry is complete. https://en.wikipedia.org/wiki/Tarski%27s_axioms Also see https://math.stackexchange.com/quest...eteandunique 

Tags 
godel, undecidability 
Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
Godel incompleteness in set theory ZFC  litewave  Number Theory  1  January 3rd, 2015 11:45 AM 
0^0 and Godel's incompleteness theorem  mick7  Number Theory  42  August 18th, 2014 10:43 AM 
Godel's incompleteness theorems  davedave  New Users  5  October 6th, 2013 10:37 AM 
Godel, Escher, Bach  mrtamborineman10  Abstract Algebra  4  March 30th, 2011 11:25 PM 
Godel's Incompletness Theorem  kaushiks.nitt  Applied Math  5  May 26th, 2010 11:41 AM 