Hacker News
- Does mathematics need a philosophy? https://www.logicmatters.net/2023/02/15/does-mathematics-need-a-philosophy/ 162 comments
- Philosophy of mathematics – a reading list (2020) https://www.logicmatters.net/2020/11/16/philosophy-of-mathematics-a-reading-list/ 115 comments
- Category Theory: Lecture Notes and Online Books https://www.logicmatters.net/categories/ 26 comments
- An Introduction to Godel's Theorems (Second Edition) [pdf] https://www.logicmatters.net/resources/pdfs/godelbook/GodelBookLM.pdf 39 comments
- Teach Yourself Logic 2020:A Study Guide [pdf] https://www.logicmatters.net/wp-content/uploads/2019/12/TeachYourselfLogic2020.pdf 2 comments
- Category Theory: Lecture Notes and Online Books http://www.logicmatters.net/categories/ 2 comments
- Category theory – A gentle introduction [pdf] https://www.logicmatters.net/resources/pdfs/GentleIntro.pdf 2 comments
- Teach Yourself Logic: A Study Guide [pdf] https://www.logicmatters.net/resources/pdfs/TeachYourselfLogic2017.pdf 44 comments
- Teach Yourself Logic 2017: A Study Guide [pdf] http://www.logicmatters.net/resources/pdfs/TeachYourselfLogic2017.pdf 43 comments
- Category Theory Reading Lists http://www.logicmatters.net/categories/ 7 comments
- Gödel Without (Too Many) Tears http://www.logicmatters.net/igt/further-notes/godel-without-tears/ 30 comments
Lobsters
- Category Theory: A Gentle Introduction http://www.logicmatters.net/resources/pdfs/GentleIntro.pdf 3 comments math , pdf
- Does Mathematics need a Philosophy? - Logic Matters https://www.logicmatters.net/2023/02/15/does-mathematics-need-a-philosophy/ 23 comments math
- Philosophy of mathematics - a reading list - Logic Matters https://www.logicmatters.net/2020/11/16/philosophy-of-mathematics-a-reading-list/ 2 comments math
- Teach Yourself Logic (2020 edition): An annotated bibliography of mathematical logic textbooks. https://www.logicmatters.net/tyl/ 10 comments math
- Webpage of links to online Category Theory resources (lecture notes, books, videos, etc.) https://www.logicmatters.net/categories/ 9 comments math
- Introductory chapters from new edition of logic text -- should be useful background reading, e.g. if you are taking a logic course soon. https://www.logicmatters.net/resources/ifl2/ifl2-chs1-7(aug).pdf 3 comments philosophy
- Links on category theory -- including newly updated Category Theory: A Gentle Introduction http://www.logicmatters.net/categories/ 6 comments math
- I want to start learning mathematical logic - what part is most applicable? http://www.logicmatters.net/tyl/ 13 comments cscareerquestions
- "Teach Yourself Logic 2017: A Study Guide" Peter Smith, University of Cambridge http://www.logicmatters.net/resources/pdfs/teachyourselflogic2017.pdf 53 comments philosophy
- Page of links to relatively introductory materials on category theory http://www.logicmatters.net/categories/ 3 comments math
- Well-known philosophy of science book "Explaining Chaos" made freely available by CUP http://www.logicmatters.net/2016/06/15/explaining-chaos/ 6 comments philosophy
- Gödel Without Tears -- extensive notes for 12 lectures http://www.logicmatters.net/igt/godel-without-tears/ 5 comments math
- Gödel Without (Too Many) Tears -- incl. version for reading onscreen on iPad etc. http://www.logicmatters.net/igt/godel-without-tears/ 37 comments philosophy
- Gödel Without (Too Many) Tears [PDF] http://www.logicmatters.net/resources/pdfs/gwt/gwt2f.pdf 14 comments philosophy
- Notes on Basic Category Theory (190 pages, covering some of the ground of e.g. Leinster's book, at a slightly gentler pace) http://www.logicmatters.net/resources/pdfs/categorytheorynotes_v8.pdf 6 comments math
- Philosophers/logic people who want to learn some category theory could find this page of links pretty useful http://www.logicmatters.net/categories/ 45 comments philosophy
- Teach Yourself Logic: A Study Guide (version 12.0) http://www.logicmatters.net/tyl/ 87 comments philosophy
- The Very Short Teach Yourself Logic Guide http://www.logicmatters.net/tyl/shorter-tyl/ 91 comments philosophy
- New version of the Teach Yourself Logic Study Guide [webpage with links] http://www.logicmatters.net/tyl 17 comments philosophy
- Teach yourself logic: a study guide http://www.logicmatters.net/tyl/ 14 comments math
- Gödel without (too many) tears http://www.logicmatters.net/igt/godel-without-tears/ 3 comments math
- Gödel without (too many) tears http://www.logicmatters.net/igt/godel-without-tears/ 2 comments philosophy
- Does mathematics need a philosophy? (1) http://www.logicmatters.net/2013/10/does-mathematics-need-a-philosophy-1/ 3 comments math
- Does mathematics need a philosophy? [Logic Matters blog] http://www.logicmatters.net/2013/10/does-mathematics-need-a-philosophy-1/ 37 comments philosophy
- Peter Smith and other philosophers compile a list of the most fun/enjoyable reads in (analytic) philosophy http://www.logicmatters.net/2012/04/fun-reads-for-philosophers/ 19 comments philosophy
- Teach Yourself Logic for Students: A Guide http://www.logicmatters.net/students/tyl/ 52 comments philosophy
- Gödel without (too many) tears: Incompleteness – the very idea [pdf] http://www.logicmatters.net/resources/pdfs/gwt/gwt01.pdf 5 comments math