From Newsgroup: comp.theory

On 06/12/2025 00:20, x wrote:

On 12/3/25 00:08, Mild Shock wrote:

Well then get an education. Every Gödel
sentence G, has a size, doesn't it?
The formal analogue of the Liar Paradox,
except it’s expressed arithmetically:

That's another piece of upside down nazi-retarded crap repeated
ad nauseam for decades and decades. "I am not true" and "I am
not provable" are *completely and substantially different*: the
former being simply meaningless (no true value), the latter being
unprovable and necessarily true!

But of course if one understands that, one understands that model
theory as a whole is yet another poisonous nazi-retarded fraud...
which is why we keep getting it and getting it on all channels.

You stupid fucks do deserve your own extinction.

*PLONK*

Julio

--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.theory

On 12/6/2025 2:31 AM, Julio Di Egidio wrote:

On 06/12/2025 00:20, x wrote:

On 12/3/25 00:08, Mild Shock wrote:

Well then get an education. Every Gödel
sentence G, has a size, doesn't it?
The formal analogue of the Liar Paradox,
except it’s expressed arithmetically:

That's another piece of upside down nazi-retarded crap repeated
ad nauseam for decades and decades.  "I am not true" and "I am
not provable" are *completely and substantially different*: the
former being simply meaningless (no true value), the latter being
unprovable and necessarily true!

But of course if one understands that, one understands that model
theory as a whole is yet another poisonous nazi-retarded fraud...
which is why we keep getting it and getting it on all channels.

You stupid fucks do deserve your own extinction.

*PLONK*

Julio

After all of these your you could at least
learn what the word *plonk* means.

In Thunderbird it means Tools/Message Filters.
--
Copyright 2025 Olcott

My 28 year goal has been to make
"true on the basis of meaning" computable.

This required establishing a new foundation
for correct reasoning.
--- Synchronet 3.21a-Linux NewsLink 1.2