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
RE: RE: RE: RE: Searching For Answers...

Forum List | Follow Ups | Post Message | Back to Thread Topics | In Response To
Posted by Richard Ruquist on September 11, 2000 17:28:36 UTC

There are amultitude of logical systems. Each are self-consistent, meaning that a number of theorems can be proven in each logical system without encountering contradictions. In such systems it is possible to replace an assumption by a theorem and the entire logical system of theorems and the missing postulate can be derived. Proceding assumption by assumption or postulate by postulate all of the original ones can be replaced by what were originally theorems.
It`s too tedious to do this for particular systems in this forum. One thing missing is that there are some correct theorems in almost any sufficiently complex system that cannot be derived from the postulates or even the theorems acting as postulates. Godel proved this. That this is true, means that not only are logical systems merely circular, they are not even rigorous. Like Swiss cheese, there are holes in every complex logical system.

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