Archive Cast Forum RSS Books! Poll Results About Search Fan Art Podcast More Stuff Random Support on Patreon 
New comics MonFri; reruns SatSun

1 {scene: A filthy starport docking bay. Piles of old crates and barrels and other junk litter the floor.}
1 Iki Piki: So here we are, searching a grimy starport docking bay for flakes of our excrewmate's skin. It's the bright future our parents always dreamed of...
2 Spanners: This place is filthy! Look at this decaying crate of mouldy old advertising fliers.
3 Spanners: "A proof that all consistent axiomatic formulations of number theory include undecidable propositions ... which also offers firm slimming control?"
4 Iki Piki: What product is that for?
4 Spanners: "I Can't Believe it's a Gödel!"
First (1)  Previous (1067)  Next (1069)  Latest Rerun (1945) 
Latest New (3954) First 5  Previous 5  Next 5  Latest 5 Space theme: First  Previous  Next  Latest  First 5  Previous 5  Next 5  Latest 5 This strip's permanent URL: http://www.irregularwebcomic.net/1068.html
Annotations off: turn on
Annotations on: turn off

Kurt Gödel (pronounced with a vowel sound identical to the one in "girdle") was a mathematician who formulated an important result in formal logic known as Gödel's incompleteness theorem.
The basic gist of the theorem is that for any selfconsistent set of rules for doing mathematics (i.e. a set of mathematical rules that doesn't produce contradictions), there will always be mathematical statements that are true, but that cannot be proven to be true.
If you've never come across this before, that may take a minute to grasp. And it may sound ridiculous. But nevertheless, it's true, and the odd thing is that you can prove that this theorem is true.
I'll give you another minute.
Also, not only does Gödel's theorem apply just to mathematics, but also to any selfconsistent field of analysis or deduction. Given that the universe is (probably) consistent and nonparadoxical, it's possible (though controversial) to extrapolate this to the result that some things about the universe are true, but there is no way of proving they are true, no matter how hard we try.
What this implies about the pursuit of knowledge and the nature of reality, I leave as an exercise for the reader.
If you want to learn more about Gödel's theorem, I highly recommend the mindexpanding book Gödel, Escher, Bach: An Eternal Golden Braid by Douglas Hofstadter.
I like that a starport has wooden crates lying around.
LEGO^{®} is a registered trademark of the LEGO Group of companies,
which does not sponsor, authorise, or endorse this site. This material is presented in accordance with the LEGO^{®} Fair Play Guidelines. 