Thesis

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.
Advertisements
  1. Leave a comment

Leave a Reply

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

WordPress.com Logo

You are commenting using your WordPress.com 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: