Explore >> Select a destination
|
You are here 
|
inferentialexpressivism.com | ||
| | | | |
jdh.hamkins.org
|
|
| | | | | This will be a talk for the Philosophy of Mathematics Seminar at the University of Oxford, 19 May 2025. Abstract.I shall describe a simple historicalthought experiment showing how our a... | |
| | | | |
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 [] | |
| | | | |
rjlipton.com
|
|
| | | | | A new way to write mathematics Vladimir Voevodsky won the Fields Medal in 2002 for his work on homotopy theory of algebraic varieties. Using his pioneering methods he proved, among many other things, a deep conjecture of John Milnor, that had been open for decades. Today I want to talk about, no, rant about, a... | |
| | | | |
www.analyticsvidhya.com
|
|
| | | Learn computer vision with the collection of the top resources for computer vision. This learning path is helpful to master computer vision. | ||
