…可能是因为自那时起，大多数职业数学家就再没涉足过哲学了。要想对近期的数学活动进行哲学阐述，我觉得除了数学家 Fernando Zalamea 写的《Synthetic Philosophy of Contemporary Mathematics》之外别无他书。对我来说这本英译本读起来有点生硬，但其中的思想绝对非常值得一读。https://www.urbanomic.com/book/synthetic-philosophy-of-conte...
…perhaps because most professional mathematicians have not engaged with philosophy since then. For a philosophical exposition of recent mathematical activity, I don't think there's any book other than Synthetic Philosophy of Contemporary Mathematics by the mathematician Fernando Zalamea. The translation reads a little clumsy to me, but the ideas are very much worth it. https://www.urbanomic.com/book/synthetic-philosophy-of-conte...
…20 世纪初的数学公理化其实从未真正扎根于其文化或实践之中。如果你想读一本从哲学角度探讨当今实际运作中的数学的书，Zalamea（一位在职数学家）写的《Synthetic Philosophy of Contemporary Mathematics》很不错。它对后现代主义的同情程度远超你的想象。而如果想看一位逻辑学家以后现代风格对现代逻辑的阐述，《La Fantome de…》
…axiomatization of mathematics in the early 20th century never really took root in its culture or practice. If you want to read a philosophical account of mathematics as it is actively practiced today, Synthetic Philosophy of Contemporary Mathematics by Zalamea (a practicing mathematician) is good. It is far more sympathetic to postmodernism than you would think. And for an account of modern logic by a logician in a postmodern vein, La Fantome de…
…分析哲学似乎困在了一种对逻辑以及数学严谨论证的僵化理解中。在《Synthetic Philosophy of Contemporary Mathematics》[1] 中可以找到一种来自数学界对分析哲学的回应。我很喜欢这本书，但我本身有数学背景，所以不知道对于门外汉，甚至是对于不熟悉现代数学的专业哲学家来说，它的门槛有多高。…
…analytic philosophy seems to be stuck in an ossified understanding of logic and the kind of rigorous arguments used in mathematics. A response to analytic philosophy from mathematics can be found in Synthetic Philosophy of Contemporary Mathematics [1]. I enjoyed the book quite a bit but I do have a math background so I don't know how accessible it is for a layperson or even a professional philosopher that isn't familiar with contemporary math.…
这一领域较新的一些书：David Corfield 的《Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy》；Fernando Zalamea 的《Synthetic Philosophy of Contemporary Mathematics》（虽然这本书的语言表达有点晦涩难懂）；还有最近从法语翻译过来的：Albert Lautman 的《Mathematics, Ideas and the Physical Real》；还有一本用范畴论来…
Some more recent books in this area: David Corfield "Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy" Fernando Zalamea "Synthetic Philosophy of Contemporary Mathematics" (though the book is a bit convoluted in the language it uses) also recent translation from French: Albert Lautman "Mathematics, Ideas and the Physical Real" also a book that uses category theory for…
如果想看点非常有活力、紧跟当代而且精神上更偏欧陆哲学的东西，推荐 Fernando Zalamea 的《Synthetic Philosophy of Contemporary Mathematics》
Synthetic Philosophy of Contemporary Mathematics by Fernando Zalamea for something very lively, contemporary and more continental in spirit
…可能是因为自那时起，大多数职业数学家就再没涉足过哲学了。要想对近期的数学活动进行哲学阐述，我觉得除了数学家 Fernando Zalamea 写的《Synthetic Philosophy of Contemporary Mathematics》之外别无他书。对我来说这本英译本读起来有点生硬，但其中的思想绝对非常值得一读。https://www.urbanomic.com/book/synthetic-philosophy-of-conte...
…perhaps because most professional mathematicians have not engaged with philosophy since then. For a philosophical exposition of recent mathematical activity, I don't think there's any book other than Synthetic Philosophy of Contemporary Mathematics by the mathematician Fernando Zalamea. The translation reads a little clumsy to me, but the ideas are very much worth it. https://www.urbanomic.com/book/synthetic-philosophy-of-conte...
…20 世纪初的数学公理化其实从未真正扎根于其文化或实践之中。如果你想读一本从哲学角度探讨当今实际运作中的数学的书，Zalamea（一位在职数学家）写的《Synthetic Philosophy of Contemporary Mathematics》很不错。它对后现代主义的同情程度远超你的想象。而如果想看一位逻辑学家以后现代风格对现代逻辑的阐述，《La Fantome de…》
…axiomatization of mathematics in the early 20th century never really took root in its culture or practice. If you want to read a philosophical account of mathematics as it is actively practiced today, Synthetic Philosophy of Contemporary Mathematics by Zalamea (a practicing mathematician) is good. It is far more sympathetic to postmodernism than you would think. And for an account of modern logic by a logician in a postmodern vein, La Fantome de…
…分析哲学似乎困在了一种对逻辑以及数学严谨论证的僵化理解中。在《Synthetic Philosophy of Contemporary Mathematics》[1] 中可以找到一种来自数学界对分析哲学的回应。我很喜欢这本书，但我本身有数学背景，所以不知道对于门外汉，甚至是对于不熟悉现代数学的专业哲学家来说，它的门槛有多高。…
…analytic philosophy seems to be stuck in an ossified understanding of logic and the kind of rigorous arguments used in mathematics. A response to analytic philosophy from mathematics can be found in Synthetic Philosophy of Contemporary Mathematics [1]. I enjoyed the book quite a bit but I do have a math background so I don't know how accessible it is for a layperson or even a professional philosopher that isn't familiar with contemporary math.…
这一领域较新的一些书：David Corfield 的《Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy》；Fernando Zalamea 的《Synthetic Philosophy of Contemporary Mathematics》（虽然这本书的语言表达有点晦涩难懂）；还有最近从法语翻译过来的：Albert Lautman 的《Mathematics, Ideas and the Physical Real》；还有一本用范畴论来…
Some more recent books in this area: David Corfield "Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy" Fernando Zalamea "Synthetic Philosophy of Contemporary Mathematics" (though the book is a bit convoluted in the language it uses) also recent translation from French: Albert Lautman "Mathematics, Ideas and the Physical Real" also a book that uses category theory for…