Rob Simmons

41
Reputation
75 views
Is this your account?

Registered User 

Name Rob Simmons
Member for 3 years
Seen Oct 26 at 1:15
Website
Location Pittsburgh, PA
Age 30
Graduate student at Carnegie Mellon University's Computer Science Department.
0

Questions

 

4

Answers
votes newest views recent
15
What if Current Foundations of Mathematics are Inconsistent?
2
Reasons for success in automated theorem proving
2
Propositional logic and first order logic textbook
1
Replacing logician-constructive with combinatorist-constructive?

 

29

Votes
29

 

5

Tags
× 4




 

5

Badges
● Nice Answer
● Supporter
 ● Editor
● Autobiographer
 ● Teacher