David Diamondstone

347
Reputation
307 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
770
views

Are there examples of nonconstructive metaproofs?

jun 8 11 at 16:37 David Harris 2,549●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