WWWS
Would you like to react to this message? Create an account in a few clicks or log in to continue.



 
Home  Latest imagesLatest images  Search  KDR  Register  Log in  

 

 Mathematics' Shortcoming? (Kurt Godel)

Go down 
5 posters
Go to page : Previous  1, 2, 3
AuthorMessage
C1
Admin
C1


Posts : 1611
Join date : 2009-10-19

Mathematics' Shortcoming? (Kurt Godel) - Page 3 Empty
PostSubject: Mathematics' Shortcoming? (Kurt Godel)   Mathematics' Shortcoming? (Kurt Godel) - Page 3 EmptyWed 18 May 2011, 7:37 pm

First topic message reminder :

By the 1928 international congress of mathematicians Hilbert "made his questions quite precise.
http://en.wikipedia.org/wiki/Turing_machine

+ First, was mathematics complete ...

+ Second, was mathematics consistent ...

+ And thirdly, was mathematics decidable?"
(Hodges p. 91, Hawking p. 1121).


The first two questions were answered in 1930 by Kurt Gödel at the very same meeting where Hilbert delivered his retirement speech (much to the chagrin of Hilbert); the third "the Entscheidungs problem" had to wait until the mid-1930s.

Emil Post developed his definition of a worker moving from room to room writing and erasing marks per a list of instructions (Post 1936), as did Princeton professor Church and his two students Stephen Kleene and J. B. Rosser by use of Church's lambda-calculus and Gödel's recursion theory (1934). Church's paper (published 15 April 1936) showed that the Entscheidungs problem was indeed "undecidable" and beat Turing to the punch by almost a year (Turing's paper submitted 28 May 1936, published January 1937).

Hence, the answer to all three of the above questions is "NO". Funny we didn't learn this in school

_________________
"For every thousand hacking at the leaves of evil, there is one striking at the root."
David Thoreau (1817-1862)
anonymously email me by clicking here


Last edited by C1 on Tue 04 Dec 2012, 3:58 pm; edited 1 time in total
Back to top Go down
https://wwws.forummotion.com

AuthorMessage
C1
Admin
C1


Posts : 1611
Join date : 2009-10-19

Mathematics' Shortcoming? (Kurt Godel) - Page 3 Empty
PostSubject: Re: Mathematics' Shortcoming? (Kurt Godel)   Mathematics' Shortcoming? (Kurt Godel) - Page 3 EmptyMon 10 Dec 2012, 4:11 pm


_________________
"For every thousand hacking at the leaves of evil, there is one striking at the root."
David Thoreau (1817-1862)
anonymously email me by clicking here
Back to top Go down
https://wwws.forummotion.com
 
Mathematics' Shortcoming? (Kurt Godel)
Back to top 
Page 3 of 3Go to page : Previous  1, 2, 3
 Similar topics
-
» Godel & Cantor
» Why Computers Exist (aka, The Godel Number)
» Godel's God Proof (ie Why the Elite always Fail!)

Permissions in this forum:You cannot reply to topics in this forum
WWWS :: Main Forums :: Science & Technology-
Jump to: