tag:blogger.com,1999:blog-5887440039323868659.post4616773416437538363..comments2022-08-19T04:14:36.519-07:00Comments on RAWIllumination.net: Abortion & Logic by Robert Anton WilsonCleveland Okie (Tom Jackson)http://www.blogger.com/profile/07810736442596736041noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-5887440039323868659.post-41707602610189897712012-01-16T09:29:23.746-08:002012-01-16T09:29:23.746-08:00"Godel's Proof shows that no system of sy..."Godel's Proof shows that no system of symbology, mathematical or logical, is ever complete"<br /><br />As far as I'm aware RAW is rather overstating the case here. Godel proved that for any formal system of axioms and rules of inference strong enough to include basic first order arithmetic on the natural numbers there would be statements about the natural numbers that you could encode within the system but that were neither provable nor disprovable within the system. In fact there are formal systems that you can prove to be complete, you are just very limited about the kinds of thing you can prove using them.Confused Guyhttps://www.blogger.com/profile/10916133623247121868noreply@blogger.com