Hacker GitHub

← All repos

michaelt/martin-lof

View on GitHub ↗ ★ 836 TeX

papers of Per Martin Löf

4 mentions on Hacker News by 2 people: 1 story, 3 comments · first 2019-07-12 · latest 2021-11-17

Mentions per year 4 mentions · busiest year 2021 (3)
20082026
AllStoriesComments NewestTopOldest
  1. …Constructivist Logic - https://symbolaris.com/course/constlog-schedule.html - https://github.com/michaelt/martin-lof - Recommend starting with the 1983 paper on logical constants.
    comment by natded · 2021-11-17 · in Multicore OCaml: October 2021
  2. …inner, spiritual world that we can witness in our witnessing of nature. Martin-Löf comes to mind: https://github.com/michaelt/martin-lof/blob/master/pdfs/A-pa... (It’s funny and beautiful that we’re now building all the most interesting…
    comment by AnthonBerg · 2021-09-13 · in Epiousios
  3. ▲ 2
    A Path from Logic to Metaphysics – Per Martin-Löf, 1991 [pdf]
    story by AnthonBerg · 2021-05-21 · 1 comment
  4. Per Martin-Löf writes so beautifully. Here’s more: https://github.com/michaelt/martin-lof Here’s another one - this one is wonderful: https://archive-pml.github.io/martin-lof/pdfs/Bibliopolis-Bo... As far as I understand the theory, then…
    comment by AnthonBerg · 2019-07-12 · in Constructive mathematics and computer programming (1979) [pdf]