# Steve Awodey
熱門 Podcast 單集
已更新:
Steven M. Awodey (; born 1959) is an American mathematician and philosopher of mathematics. He is a Professor of Philosophy and Mathematics at Carnegie Mellon University.
== Biography ==
Awodey studied mathematics and philosophy at the University of Marburg and the University of Chicago.
Homotopy Type Theory and Univalent Foundations of Mathematics
Steve Awodey (CMU/MCMP) gives a talk at the MCMP Colloquium (13 June, 2012) titled "Homotopy Type Theory and Univalent Foundations of Mathematics". Abstract: Recent advances in foundations of mathematics have led to some developments that are significant for the philosophy of mathematics, particula…
On an occasionally heard objection to Carnap's conception of logical truth
Steve Awodey (CMU/MCMP) gives a talk at the MCMP Workshop on Carnap titled "On an occasionally heard objection to Carnap's conception of logical truth".
Modality and Categories
Steve Awodey (CMU/MCMP) gives a talk at the MCMP Workshop on Modality titled "Modality and Categories".
On the Invariance of Logical Truth
Steve Awodey (Carnegie-Mellon) gives a talk at the MCMP workshop "Carnap on Logic" (3-6 July, 2013) titled "On the Invariance of Logical Truth".
aboutlogic #05 | Steve Awodey – Homotopy Type Theory, Logic & Philosophy
Homotopy Type Theory, Logic & Philosophy
"I am convinced that my Begriffsschrift will find successful application wherever particular value is placed on the rigor of proofs, as in the foundations of the differential and integral calculus. It seems to me that it would be even easier to extend the do…
On an occasionally heard objection to Carnap's conception of logical truth
Steve Awodey (CMU/MCMP) gives a talk at the MCMP Workshop on Carnap titled "On an occasionally heard objection to Carnap's conception of logical truth".
Modality and Categories
Steve Awodey (CMU/MCMP) gives a talk at the MCMP Workshop on Modality titled "Modality and Categories".
Homotopy Type Theory and Univalent Foundations of Mathematics
Steve Awodey (CMU/MCMP) gives a talk at the MCMP Colloquium (13 June, 2012) titled "Homotopy Type Theory and Univalent Foundations of Mathematics". Abstract: Recent advances in foundations of mathematics have led to some developments that are significant for the philosophy of mathematics, particula…
On the Invariance of Logical Truth
Steve Awodey (Carnegie-Mellon) gives a talk at the MCMP workshop "Carnap on Logic" (3-6 July, 2013) titled "On the Invariance of Logical Truth".
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…
Podcast 搜尋引擎
您可以使用我們的網站按人物、地點或主題搜尋3,820,663Podcast 和195,265,732單集。
投資知識的回報最高，所以我會收聽 Podcast。
‐ Benjamin "Llamacorn" Franklin
