เกี่ยวกับตอนนี้

ภาษาอังกฤษ
สหรัฐอเมริกา

สำเนาบทสนทนา 🔗

ค้นหาตอนที่ผ่านมา

ค้นหาตอนที่ผ่านมาของ MCMP – Philosophy of Mathematics

ตอนอื่นๆ ใน PODCAST นี้

Colloquium Mathematical Philosophy, Paolo Mancosu (UC Berkeley) gives a talk at the MCMP Colloquium (8 May, 2014) titled "In Good Company? On Hume's Principle and the assignment of numbers to infinite concepts.". Abstract: In a recent article (Review of Symbolic Logic 2009), I have explored the his…

The Univalence Axiom

Steve Awodey (CMU) gives a talk at the MCMP Colloquium (16 July, 2014) titled "The Univalence Axiom". Abstract: In homotopy type theory, the Univalence Axiom is a new principle of reasoning which implies that isomorphic structures can be identified. I will explain this axiom and consider its backg…
Colloquium Mathematical Philosophy, Georg Schiemer (Vienna/MCMP) gives a talk at the MCMP Colloquium (9 July, 2015) titled "Geometrical Roots of Model Theory: Duality and Relative Consistency". Abstract: Axiomatic geometry in Hilbert's Grundlagen der Geometrie (1899) is usually described as model-t…

The Univalence Axiom

Colloquium Mathematical Philosophy, Steve Awodey (CMU) gives a talk at the MCMP Colloquium (16 July, 2014) titled "The Univalence Axiom". Abstract: In homotopy type theory, the Univalence Axiom is a new principle of reasoning which implies that isomorphic structures can be identified. I will expla…
Colloquium Mathematical Philosophy, Eric Schliesser (Ghent) gives a talk at the MCMP Colloquium (25 June, 2014) titled "Anti-Mathematicism and Formal Philosophy". Abstract: Hannes Leitgeb rightly claims that "contemporary critics of mathematization of (parts of) philosophy do not so much put forwar…
ข้อสงวนสิทธิ์: พอดแคสต์และอาร์ตเวิร์คที่ฝังอยู่ในหน้านี้มาจาก MCMP Team ซึ่งเป็นทรัพย์สินของเจ้าของและไม่มีส่วนเกี่ยวข้องหรือรับรองโดย Listen Notes, Inc.