08 April, 2016

Several Case Studies of Metamathematics in Everyday Life

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)

No comments:

Post a Comment