Matthew Wampler-Doty

232
Reputation
152 views
Is this your account?

Registered User 

Name Matthew Wampler-Doty
Member for 2 years
Seen Oct 1 at 14:30
Website
Location South Park, Colorado
Age 29
I am working on my MSc in Logic at the ILLC at Universiteit van Amsterdam. I am interested in automated deduction, formal logic, proof theory, computation, abstract algebra, game theory, and category theory.
1

Questions
 

 

5

Answers
votes newest views recent
18
How do they verify a verifier of formalized proofs?
3
Is there any proof assistant based on first-order logic?
2
Non-constructive proofs of decidability?
1
Are there any good nonconstructive “existential metatheorems”?
1
The isomorphism inference rule

 

25

Votes
24
1

 

13

Tags
× 4
× 2
× 2


 

8

Badges
● Scholar
● Critic
 ● Nice Answer
● Necromancer
 ● Supporter
● Autobiographer
 ● Editor
● Teacher