My Math Forum  

Go Back   My Math Forum > College Math Forum > Applied Math

Applied Math Applied Math Forum

LinkBack Thread Tools Display Modes
June 14th, 2017, 05:31 AM   #1
Joined: Jun 2009

Posts: 80
Thanks: 1

Godel's undecidability

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.
honzik is offline  
June 14th, 2017, 05:43 AM   #2
Math Team
Joined: Dec 2013
From: Colombia

Posts: 6,937
Thanks: 2265

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:
  1. we now had complete axiom systems for the three geometries; or
  2. that in time we would achieve that aim.
v8archie is offline  
June 14th, 2017, 09:38 AM   #3
Senior Member
Joined: Aug 2012

Posts: 1,521
Thanks: 364

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.

* Tarski's axiomitization of geometry is complete.

Also see
Maschke is offline  

  My Math Forum > College Math Forum > Applied Math

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 10:45 AM
0^0 and Godel's incompleteness theorem mick7 Number Theory 42 August 18th, 2014 09:43 AM
Godel's incompleteness theorems davedave New Users 5 October 6th, 2013 09:37 AM
Godel, Escher, Bach mrtamborineman10 Abstract Algebra 4 March 30th, 2011 10:25 PM
Godel's Incompletness Theorem kaushiks.nitt Applied Math 5 May 26th, 2010 10:41 AM

Copyright © 2017 My Math Forum. All rights reserved.