My Math Forum Godel's undecidability

 Applied Math Applied Math Forum

 June 14th, 2017, 06:31 AM #1 Member   Joined: Jun 2009 Posts: 83 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,600 Thanks: 2588 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:we now had complete axiom systems for the three geometries; or that in time we would achieve that aim.
 June 14th, 2017, 10:38 AM #3 Senior Member   Joined: Aug 2012 Posts: 2,157 Thanks: 631 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...mpleteness-the * Tarski's axiomitization of geometry is complete. https://en.wikipedia.org/wiki/Tarski%27s_axioms Also see https://math.stackexchange.com/quest...ete-and-unique

 Tags godel, undecidability

 Thread Tools Display Modes Linear Mode

 Similar Threads Thread Thread Starter Forum Replies Last Post litewave Number Theory 1 January 3rd, 2015 11:45 AM mick7 Number Theory 42 August 18th, 2014 10:43 AM davedave New Users 5 October 6th, 2013 10:37 AM mrtamborineman10 Abstract Algebra 4 March 30th, 2011 11:25 PM kaushiks.nitt Applied Math 5 May 26th, 2010 11:41 AM

 Contact - Home - Forums - Cryptocurrency Forum - Top