Nick Thomas

325
Reputation
126 views
Is this your account?

Registered User 

Name Nick Thomas
Member for 5 months
Seen Feb 25 at 4:27
Website
Location Arizona State University
Age
4

Questions
votes newest views recent
2

2

 
2
votes
2
answers
199
views

Existential instantiation in Hilbert-style deduction systems

dec 21 at 20:51 Carl Mummert 4,838●1●15●27

 

 

3

Answers
votes newest views recent
9
Math major at 36
3
Status of the 196 conjecture?
2
Understanding Specker’s disproof of the axiom of choice in New Foundations

 

18

Votes
18

 

13

Tags
× 4
× 2
× 2
× 2


 

8

Badges
● Nice Question× 2
● Teacher
 ● Commentator
● Supporter
 ● Scholar
● Student
 ● Editor