Skip to content

Instantly share code, notes, and snippets.

View glatavento's full-sized avatar
📶
I may be slow to respond.

glatavento

📶
I may be slow to respond.
View GitHub Profile
@tel
tel / PML.org
Last active January 24, 2024 03:37
Notes on Per Martin-Löf's "On the Meanings of the Logical Constants and the Justifications of the Logical Laws"

Per Martin-Löf’s (OMLCJLL)

“On the Meanings of the Logical Constants and the Justifications of the Logical Laws”

Intro

I know I tried to write up the Meetup announcement to draw people here with a computer science or programming background. And then I threw at you this dense philosophical paper which assumes you’re familiar with names like Gentzen and languages like German and Greek not Javascript or C#.

So, that was pretty unfair of me, I apologize. In order to amend