April 20, 2005

A new incompleteness theorem

Or is it just a new proof by talk-page diagonalization of the same old result? "No web forum sufficiently powerful to express interesting things can be established as coherent by arguments within its own format..."

[Note: a couple of literal-minded readers have emailed to clue me in that the linked page is not in fact an example of the proof technique known as diagonalization. I do know this: it's supposed to be a joke, not a theorem...]

Posted by Mark Liberman at April 20, 2005 04:19 PM