Explore >> Select a destination
|
You are here 
|
jdh.hamkins.org | ||
| | | | |
richardzach.org
|
|
| | | | | The eminent proof theorist and philosopher of mathematics William Walker ("Bill") Tait died March 15, 2024 in Chicago. He was 95. Bill was born on January 22, 1929, in Freeport, NY, and... | |
| | | | |
www.logicmatters.net
|
|
| | | | | I have mixed feelings about Harrie de Swart's Philosophical and Mathematical Logic (Springer, 2018). For this long book really is a strange mish-mash, supposedly aimed at philosophers. There are chapters (not very good) on e.g. the philosophy of language and "fallacies and unfair discussion methods", and e.g. a section on social choice theory. Then there [...] | |
| | | | |
homotopytypetheory.org
|
|
| | | | | Video and lecture notes are now available for a series of talks that took place last month at the Logic and Higher Structures workshop at CIRM-Luminy with the following abstract: Many introductions to homotopy type theory and the univalence axiom neglect to explain what any of it means, glossing over the semantics of this new... | |
| | | | |
dbrentmiller.com
|
|
| | | B&W photo of the Moto Guzzi V7 after the ride. See you on the highway. Brent | ||
