Explore >> Select a destination
|
You are here 
|
jdh.hamkins.org | ||
| | | | |
www.logicmatters.net
|
|
| | | | | Logical notes and papers Some logical blog pieces Philosophy of maths: a reading list Does mathematics need a philosophy? Philosophical logic: five books from the back catalogue On Frege seeing what is in front of his nose. Begriffsschrift and absolutely unrestricted quantification What Frege didnt tell you Tarski on Truth, a thumbnail sketch Partial functions [] | |
| | | | |
ncatlab.org
|
|
| | | | | ||
| | | | |
math.andrej.com
|
|
| | | | | [AI summary] A post discusses Paul Taylor's application of lambda calculus to real analysis and topology, explaining abstract mathematical concepts with an analogy to confusing geometry lessons and inviting discussion on the computational interpretation of these theories. | |
| | | | |
benjaminstudebaker.com
|
|
| | | As is my custom, I like to keep readers abreast of any reason that arises that slows my usual writing pace. At the moment, the issue is a group of three papers I have to get written before the end of the quarter at the University of Chicago. Combined, it's somewhere in the neighborhood of... | ||
