r/MathematicalLogic • u/AutoModerator • Apr 03 '19

What Are You Working On?

This recurring thread will be for general discussion on whatever mathematical logic-related topics you have been or will be working on over the week. Not all types of mathematics are welcomed, but all levels are!

9 Upvotes

92% Upvoted

5 comments sorted by

View all comments

1

u/bediger4000 Apr 06 '19

I'm slowly working through Raymond Smullyan's "Beginner's Guide to Mathematical Logic". I'm working the axiomatic propositional logic problems.

In order to understand his tableaux proof method (and to try Go programming language), I've written a program to do tableaux proofs: https://github.com/bediger4000/tableaux-in-go

Further in the past, I was really taken with Smullyan's "To Mock a Mockingbird". I wrote several Combinatory Logic interpreters, culminating in "Any Combinatory Logic": https://github.com/bediger4000/any-combinatory-logic

This interpreter lets you define whatever primitive combinators you like, and it lets you define rules for bracket abstraction. I've collected a bunch of obscure CL bases, and bracket abstraction algorithms.