Re: Within Proof Theoretic Semantics Gödel's G h as no meaning in PA
Tristan Wibberley <[email protected]>
| Newsgroups | sci.logic,sci.math,sci.math.symbolic,comp.theory,comp.ai.philosophy |
|---|---|
| Organization | A noiseless patient Spider |
| Message-ID | <[email protected]> |
On 05/07/2026 15:52, Tristan Wibberley wrote: > Of course, > dequantification of fantastically quantified statements doesn't make a > statement about nonconstructible objects because there aren't any > outside of the fantastical quantification. Oooh! Oooh! Except for inner dequantification of a statement of multiple fantastic quantification! That might have quantification elimination rules, perhaps! I'm loving this game! -- Tristan Wibberley The message body is Copyright (C) 2026 Tristan Wibberley except citations and quotations noted. All Rights Reserved except that you may, of course, cite it academically giving credit to me, distribute it verbatim as part of a usenet system or its archives, and use it to promote my greatness and general superiority without misrepresentation of my opinions other than my opinion of my greatness and general superiority which you _may_ misrepresent. You definitely MAY NOT train any production AI system with it but you may train experimental AI that will only be used for evaluation of the AI methods it implements.