My eventual graduate thesis will be on the inconsistency of mathematics, and its implications. Topics will include:

  • A proof of the inconsistency of all theories of mathematics in first-order logic.
  • The equivalence of truth and provability, via Tarski’s truth schema.
  • The equivalence of all first-order theories of mathematics, via the truth schema.
  • The consequences of naïve set theory:
    • Properties of the set of all sets, including the combinatoric indescribability of its cardinality.
    • Infinitely deep sets, and a proof of the continuum hypothesis.
    • The existence of various large cardinals.
    • The existence of indefinable sets.
  • Whatever I figure out about the “singularity point” of mathematics: the location of the border between consistency and inconsistency in the hierarchy of increasingly strong theories.
  • My philosophy of mathematics, including mathematical nondualism: the view that every statement is ultimately true and false. As well as the view that formal proof does not solely dictate what propositions we are to accept.
  1. Leave a comment

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: