Matthew Wampler-Doty

232
Reputation
149 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.

votes newest views recent
21

17
25
votes
8
answers
3k
views

Arithmetic fixed point theorem

may 30 11 at 20:10 Gyorgy Sereny 121●1●4

5
8
votes
4
answers
900
views

cut elimination

may 12 11 at 11:54 Emil Jeřábek 10.7k●1●24●41

3
-1
votes
3
answers
1k
views

Is there formal definition of universal quantification?

mar 12 10 at 10:26 kakaz 815●10●18