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
Just In Case You Don't Believe Me

Forum List | Follow Ups | Post Message | Back to Thread Topics | In Response To
Posted by Harvey on November 18, 2001 02:25:15 UTC

Read Gödel's paper on-line at:

http://www.ddc.net/ygg/etext/godel/godel3.htm#EQ24

His result of the theorem is at the end of the paper:

"In virtue of (24) w Imp (17 Gen r) is therefore provable in P67 (and a fortiori c-provable). Now if w were c-provable, 17 Gen r would also be c-provable and hence it would follow, by (23), that c is not consistent." (my emphasis)

Shss... for all the talk of Gödel how come none of us have gone to the original source?

Warm regards, Harv

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-2021 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