# Steve Awodey
Top-podcastafleveringen
Bijgewerkt:
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-ZOEKMACHINE
U kunt onze website gebruiken om3,820,651podcasts en195,250,920afleveringen te zoeken op mensen, plaatsen of onderwerpen.
Investeren in kennis levert het beste rendement op, daarom luister ik naar podcasts.
‐ Benjamin "Llamacorn" Franklin
BEWERKEN
Bedankt voor uw hulp bij het up-to-date te houden van de podcast-database .
