From: "Clive Tooth" Subject: Re: godel's theorem Date: Tue, 7 Mar 2000 13:21:39 -0000 Newsgroups: sci.math Summary: [missing] G. A. Edgar wrote in message <070320000742376959%edgar@math.ohio-state.edu.nospam>... >In article <8a1a2t$fj5$1@relay1.dsccc.com>, Mike McCarty > wrote: > >> )1. Is G (the Godel Formula) fully and finitely expressible or is it >> )just a schema of an infinite conjunction of its private provable >> )instances (G(0), G(1), ...) ? Do you know where I can find an article >> )or a book that even starts to show how G really looks? > >You mean "17 Gen r" ... r is a certain large integer, 17 is also an >integer (obviously) and Gen is a well-defined relation between >integers. > >Godel's original paper is quite readable. For example, see: > > AUTHOR Van Heijenoort, Jean, 1912- > TITLE Frege and Godel; two fundamental texts in mathematical logic. > PUBLISH INFO Cambridge, Mass., Harvard University Press, 1970. > DESCRIPTION 116 p. illus. 26 cm. > NOTES "These texts, in English translation, originally appeared in From > Frege to Godel: a source book in mathematical logic, 1879 > -1931." Or: http://www.ddc.net/ygg/etext/godel/index.htm -- Clive Tooth http://www.pisquaredoversix.force9.co.uk/ End of document