MathOverflow
skeptical scientist's user avatar
skeptical scientist's user avatar
skeptical scientist's user avatar
skeptical scientist
  • Member for 14 years, 3 months
  • Last seen more than 7 years ago
Profile Activity
Stats
767
reputation
8k
reached
0
answers
3
questions
Communities
About

I am a software engineer with a PhD in mathematics. My thesis area was mathematical logic, specifically computability theory and effective randomness.

Badges
View all badges
1
gold badge
7
silver badges
11
bronze badges
Top tags
0
Score
2
Posts
67
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
question
39
Is there a computable model of ZFC?
Jan 20, 2010
question
18
Are there examples of nonconstructive metaproofs?
Jun 8, 2011
question
9
Given n k-element subsets of n, is there a small subset A of n which intersects them all?
May 17, 2010