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).

Liron

99
Reputation
124 views
Is this your account?

Registered User 

Name Liron
Member for 3 years
Seen May 12 2012 at 1:45
Website
Location
Age
Code monkey with some knowledge about computation.
2

Questions
1

 
0
votes
3
answers
370
views

How can one characterize NP^SAT?

oct 23 09 at 23:17 Liron 99●6

 

1

Answers
3
Succinctly naming big numbers: ZFC versus Busy-Beaver

 

9

Votes
9

 

6

Tags
× 4
× 2




 

6

Badges
● Popular Question
● Teacher
 ● Supporter
● Student
 ● Scholar
● Editor