Serpentine Squiggles

2016-04-08103 words

Several Case Studies of Metamathematics in Everyday Life

Contents

I have no idea why I think it’s a good idea to post this, but it’s been on my mind lately.

Corrections, qualifications, and suggestions welcome.

Gödel’s Incompleteness

  • “Are you crazy if you think you’re crazy?”
  • Free will.

Chaitin’s Incompleteness

Tarski’s Incompleteness

  • Squabbles about the meaning of words.
  • Linguistic paradoxes (ofc)

Löb’s Theorem

Fixed Point Theorem

  • Being meta. (e.g. metahumor, etc.)

The Halting Problem

  • Telling if a deadfic is really dead, maybe.
  • Free will (again)