Matt Midboe updated his status.
I was crushed when the excellent Logicomix came up in a question and nobody else had read it. The questioner even focused in on Göedel’s role. Göedel’s incompleteness theorems clearly need better marketing.
I was crushed when the excellent Logicomix came up in a question and nobody else had read it. The questioner even focused in on Göedel’s role. Göedel’s incompleteness theorems clearly need better marketing.