
Recent Posts
 Logic without negation and falsehood December 11, 2016
 Logic without truth September 3, 2016
 Learning category theory: a necessary evil? April 3, 2016
Blogs I Follow
Category Archives: category theory
Logic without truth
Pi is wrong! But so what? It is neither new, nor complicated enough to count as real math! And suggestions that or might be even better show that it not clearcut either. I recently invested sufficient energy into some logical questions to … Continue reading
Posted in category theory, logic, partial functions
Tagged category theory, gentzen, logic
5 Comments
Learning category theory: a necessary evil?
The end of my last blog post (about isomorphism testing of reversible deterministic finite automata) explained how category theory gave me the idea that the simplified variant of my question about permutation group isomorphism should be easy to solve: The idea to consider … Continue reading