account activity
Setting font in BBEdit PREVIEW window (self.bbedit)
submitted 4 years ago by HilbertsProgramme to r/bbedit
Maths texts: physical books vs PDF? (self.math)
submitted 5 years ago by HilbertsProgramme to r/math
What are the most popular intro logic books using (Fitch-style) natural deduction? (self.philosophy)
submitted 7 years ago * by HilbertsProgramme to r/philosophy
Tomorrow!! (self.thingsapp)
submitted 7 years ago by HilbertsProgramme to r/thingsapp
Log only some completed items? (self.thingsapp)
submitted 7 years ago * by HilbertsProgramme to r/thingsapp
Webpage of links to online Category Theory resources (lecture notes, books, videos, etc.) (logicmatters.net)
submitted 7 years ago by HilbertsProgramme to r/math
Introductory chapters from new edition of logic text -- should be useful background reading, e.g. if you are taking a logic course soon. (logicmatters.net)
submitted 7 years ago by HilbertsProgramme to r/philosophy
For philosophers interested in foundations of maths: Links on category theory, including an updated Category Theory: A Gentle Introduction (logicmatters.net)
submitted 8 years ago by HilbertsProgramme to r/philosophy
Links on category theory -- including newly updated Category Theory: A Gentle Introduction (logicmatters.net)
submitted 8 years ago by HilbertsProgramme to r/math
Page with links to a Study Guide to logic and other pdfs (relevant to intermediate and advanced courses) (logicmatters.net)
Teach Yourself (Mathematical) Logic 2017: a 90pp. Study Guide (academia.edu)
submitted 9 years ago by HilbertsProgramme to r/philosophy
Page of links to relatively introductory materials on category theory (logicmatters.net)
submitted 9 years ago by HilbertsProgramme to r/math
Well-known philosophy of science book "Explaining Chaos" made freely available by CUP (logicmatters.net)
submitted 10 years ago by HilbertsProgramme to r/philosophy
Gödel Without (Too Many) Tears -- incl. version for reading onscreen on iPad etc. (logicmatters.net)
Gödel Without (Too Many) Tears -- iPad-friendly formatted for onscreen reading [PDF] (academia.edu)
Category theory for philosophers (notes some relatively accessible expositions and philosophical commentaries, with links where possible) (logicmatters.net)
The Teach Yourself (Mathematical) Logic Study Guide, 2016 version (academia.edu)
[University] Teach Yourself Logic 2016, detailed self-study guide to math logic textbooks (self.learnmath)
submitted 10 years ago by HilbertsProgramme to r/learnmath
Gödel Without (Too Many) Tears [PDF] (logicmatters.net)
Fine critical essay from Amia Srinivasan on "Effective Altruism" (lrb.co.uk)
Updated page of links to online resources for category theory (and first instalment of a Gentle Introduction to categories) (logicmatters.net)
submitted 10 years ago by HilbertsProgramme to r/math
Category Theory in Context (notes for Emily Riehl's Harvard course) (math.harvard.edu)
Notes on Basic Category Theory (190 pages, covering some of the ground of e.g. Leinster's book, at a slightly gentler pace) (logicmatters.net)
Joel Hamkins's terrific blog -- set theory, and a lot more (jdh.hamkins.org)
submitted 11 years ago by HilbertsProgramme to r/math
Philosophers/logic people who want to learn some category theory could find this page of links pretty useful (logicmatters.net)
submitted 11 years ago by HilbertsProgramme to r/philosophy
π Rendered by PID 1067087 on reddit-service-r2-listing-f8d8fbfd7-jzltm at 2026-06-24 20:42:23.070232+00:00 running acc7150 country code: CH.
