logic things in my wiki
Mar. 15th, 2007 09:08 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
guslI've been using my wiki for research quite a lot.
Here's my latest foray into the philosophy of mathematics:
Logic of informal provability
If I were a logic teacher, I would come up with a course about logic from a design perspective: Designing logics. Someone like Balder would be the perfect instructor.
Here's my latest foray into the philosophy of mathematics:
Logic of informal provability
If I were a logic teacher, I would come up with a course about logic from a design perspective: Designing logics. Someone like Balder would be the perfect instructor.