pauamma: Cartooney crab wearing hot pink and acid green facemask holding drink with straw (Default)
[personal profile] pauamma posting in [community profile] efw
Intriguing but ultimately incorrect assertion about Gödel's Incompleteness Theorem. No proof.

Date: 2017-08-24 01:57 am (UTC)
diego001: (Default)
From: [personal profile] diego001
Proof.

Date: 2017-08-24 02:05 am (UTC)
diego001: (Default)
From: [personal profile] diego001

Proof using the Falso system.

Date: 2017-08-24 02:12 am (UTC)
diego001: (Default)
From: [personal profile] diego001

Proof contradictory to the CP's previous proof, again using the Falso system.

Date: 2017-08-24 02:27 am (UTC)
diego001: (Default)
From: [personal profile] diego001

No explanation.

Date: 2017-08-24 02:32 am (UTC)
diego001: (Default)
From: [personal profile] diego001

Silence.

Date: 2017-08-24 02:49 am (UTC)
diego001: (Default)
From: [personal profile] diego001

Counterproof based on the theory of evolution.

Date: 2017-08-25 08:12 am (UTC)
vass: a man in a bat suit says "I am a model of mental health!" (Bats)
From: [personal profile] vass
Joke about Turing Test, with MySQL exploit that breaks the website and is also capable of breaking all other websites deployed on Turing-complete servers. And which fails the Turing test.
Edited (and forgets the punchline) Date: 2017-08-25 08:12 am (UTC)

Date: 2017-08-25 01:48 pm (UTC)
vass: a batarang in a banned sign in a thoughtbubble (No Batarang For You)
From: [personal profile] vass
Lack of reply, due to having been banned from website for breaking it, LiveJournal, JournalFen, InsaneJournal, GreatestJournal, DeadJournal, and Whitehead and Russell's Principia Mathematica.
Edited (misplaced comma) Date: 2017-08-25 01:49 pm (UTC)
Page generated Jan. 23rd, 2026 11:05 pm
Powered by Dreamwidth Studios