Back to Home

God & Science Forum Message

Forums: Atm · Astrophotography · Blackholes · Blackholes2 · CCD · Celestron · Domes · Education
Eyepieces · Meade · Misc. · God and Science · SETI · Software · UFO · XEphem
RSS Button

Home | Discussion Forums | God and Science | Post
Login

Be the first pioneers to continue the Astronomy Discussions at our new Astronomy meeting place...
The Space and Astronomy Agora
Godel Puzzle

Forum List | Follow Ups | Post Message | Back to Thread Topics | In Response To
Posted by Alan on November 4, 2001 05:05:58 UTC

Yanniru- I did use the wrong words. The book I was using used definitions such that I should have claimed that Godel may have confused the two categories "rule" and "string".

They use "*The proposition on this page labelled with an asterisk is not provable".

But without going into details now, even this business of Godel assigning Godel numbers to axioms seems dodgy- the act of assigning a Godel number may amount to carrying out a category-conversion of axioms into strings.

Cohen in 1963 showed actual math statements that were undecidable. But there's something logically suspect about the whole Godel business, I think.


Follow Ups:

    Login to Post
    Additional Information
    Google
     
    Web www.astronomy.net
    DayNightLine
    About Astronomy Net | Advertise on Astronomy Net | Contact & Comments | Privacy Policy
    Unless otherwise specified, web site content Copyright 1994-2022 John Huggins All Rights Reserved
    Forum posts are Copyright their authors as specified in the heading above the post.
    "dbHTML," "AstroGuide," "ASTRONOMY.NET" & "VA.NET"
    are trademarks of John Huggins