1. Forum
  2. Newsgroups
  3. comp.theory

  • =?UTF-8?Q?Re=3A_Attacking_the_Busy_Beaver_5_=5B1989=5D_=28The_size_?==?UTF-8?Q?of_a_G=C3=B6del_sentence_G=29?=

    From Julio Di Egidio@julio@diegidio.name to alt.philosophy,sci.logic,comp.theory on Sat Dec 6 09:31:35 2025
    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 olcott@polcott333@gmail.com to alt.philosophy,sci.logic,comp.theory on Sat Dec 6 06:19:49 2025
    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