Re: Terms-Of-The-Art are Liars
dart200 <[email protected]>
| Newsgroups | sci.logic,sci.math,comp.theory,comp.ai.philosophy,alt.philosophy |
|---|---|
| Organization | A noiseless patient Spider |
| Message-ID | <[email protected]> |
On 7/4/26 2:12 PM, 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)
>
> Math Incomplete: The inability to accomplish
> more than a system was defined to accomplish.
> (∀x, S(x) ≠ x) cannot be proven in Q
>
> Math mapping from an input to an output:
> Ignore the input and output a fixed constant.
> int mapping_function(int x)
> {
> return 0;
> }
>
>
i honestly don't think u can get around the liar's paradox with logic
that treats statements of truth as universal
--
arising us out of the computing dark ages,
please excuse my pseudo-pyscript,
~ the lil crank that could