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

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:

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
    About Astronomy Net | Advertise on Astronomy Net | Contact & Comments | Privacy Policy
    Unless otherwise specified, web site content Copyright 1994-2023 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