mitchell vitez

toggle dark mode

blog about music art media

resume email github


At work, we recently held an “unconference” where I gave a talk about various systems of logic to a group of engineers. See the slides below.

The talk lasted about an hour and I only spent a couple hours preparing, which was a pretty unusual challenge for me. In retrospect, the breadth of content was way too ambitious (there are entire college courses on just propositional logic) but it was fun to try condensing this stuff so much.