Re: Terms-Of-The-Art are Liars
Mikko <[email protected]>
| Newsgroups | sci.logic,sci.math,comp.theory,comp.ai.philosophy,alt.philosophy |
|---|---|
| Organization | A noiseless patient Spider |
| Message-ID | <[email protected]> |
On 05/07/2026 00:12, olcott wrote: > On 7/4/2026 12:11 PM, dbush wrote: >> On 7/4/2026 1:07 PM, olcott wrote: >>> >>> The English word "incomplete" establishes the base >>> meaning (parent node) in the knowledge ontology. >>> >>> I will not tolerate deceptive terms-of-the-art. >> >> In other words, you intend to lie by misusing definitions. >> > Math undecidable: The inability to translate > incoherent nonsense into a truth value. > LP := ~True(LP) > G := ~Provable(PA, G) You may call your straw man "incoherent nonsense" but that does not mean that a syntactically correct arithmetic sentense could be non-sense. You cannot prove about chess that the white player cannot have a method to ensure that white wins and you cannot prove that the black player cannot have a method to ehsore that blavk wins but that is not a valid justification to call chess "non-sense". -- Mikko