South Park, Colorado
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.
Using the Logic Monad in Haskell
asked Jul 27 '12 at 21:34
haskell - Average floating point error using QuickCheck
asked Mar 12 '13 at 14:51
Ranking randomly distributed variables based on decreasingness
asked Aug 19 '12 at 18:12
How do they verify a verifier of formalized proofs?
What was the first bit of mathematics that made you realize that math is beautiful? (For children's book)
Is First Order Logic (FOL) the only fundamental logic?
What does “EquationalLogic`FindCounterexample” do?
Finding a Concave Hull
Aristotelian logic vs. propositional logic and other controversies in philosophical logic
Finding concave hull for separated small clusters
How to get started with philosophy without getting overwhelmed quickly?