MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

David Diamondstone

347
Reputation
309 views
Is this your account?

Registered User 

Name David Diamondstone
Member for 3 years
Seen Oct 24 at 7:03
Website
Location University of Chicago
Age 30
I am a graduate student studying mathematical logic. My research interests include computability theory and effective randomness.
3

Questions
votes newest views recent
9
13
votes
3
answers
1k
views

Is there a computable model of ZFC?

may 5 10 at 14:16 Dave Marker 1,935●7●8

 
12
votes
3
answers
780
views

Are there examples of nonconstructive metaproofs?

jun 8 11 at 16:37 David Harris 2,599●1●4●18

1

 

0

Answers

 

4

Votes
4

 

6

Tags
× 2





 

10

Badges
● Popular Question
● Nice Question× 2
 ● Yearling
● Supporter
 ● Fanatic
● Enthusiast
 ● Autobiographer
● Scholar
 ● Student