# Steve Awodey
I migliori episodi di podcast
Aggiornato:
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…
MOTORE DI RICERCA PODCAST
Puoi utilizzare il nostro sito Web per cercare podcast3,820,646ed episodi195,245,083per persone, luoghi o argomenti.
I have no special talent. I am only passionately curious, and
I listen to podcasts.
‐ Albert "Llamacorn" Einstein
MODIFICA
Grazie, ci hai aiutato a mantenere aggiornato il database dei podcast.
