This account is temporarily suspended network-wide. The suspension period ends on Mar 18 '92 at 16:28.
1
reputation
1
8
7

Ron Maimon

My mathematical prejudices: 1. I don't accept choice on the continuum 2. I accept choice on countable collections, as well as countable infinity. 3. I don't think of the continuum as small enough to be a set, 4. I think every subclass (subset) of the real line is measurable, 5. I prefer constructions to abstractions. In this, I hope I am following Paul Cohen in spirit.

my dream theorem is a proof of the consistency of ZFC from a countable computable ordinal, as explicitly describable as possible, which plays the same role for ZFC as $\epsilon_0$ does for PA. This would complete Hilbert's program, giving what I would consider a finitary proof of the consistency of set theory. If you think this is impossible because of Godel's theorem, you haven't understood Godel's theorem fully. The problem is that ordinal naming schemes crap out much too early for this to work with an explicit construction with today's methods.

6
answers
0
questions
~24k
people reached
  • New York City
  • Member for 7 years, 9 months
  • 5,667 profile views
  • Last seen Aug 11 at 15:37

Top tags (11)

Score 114
Posts 1
Posts % 17
Score 7
Posts 1
Score 7
Posts 1
Score 7
Posts 1
Score 7
Posts 1
Score 4
Posts 1

Top posts (6) All Questions Answers | Votes Newest

Badges (16)

Gold

1

Rarest

Silver

8

Rarest

Bronze

7

Rarest