# Steve Awodey
인기 팟 캐스트 에피소드
업데이트 됨:
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…
팟캐스트 검색 엔진
당사 웹사이트를 사용하여3,820,646팟캐스트 및195,245,083에피소드를 사람, 장소 또는 주제별로 검색할 수 있습니다.
I have no special talent. I am only passionately curious, and
I listen to podcasts.
‐ Albert "Llamacorn" Einstein
