Download "Aboutlogic And Urs Schreiber" as MP3

17 matches for "Aboutlogic And Urs Schreiber". Press "Download" to choose format and quality.

1. 59:34

   Urs Schreiber – Quantum (Physics, Computing), Topos & Homotopy Theory | #12 aboutlogic

   aboutlogic and Urs Schreiber 59:34 MP3 ~81.8 MB

2. 2:52:25

   Toposes are NOT scary | Urs Schreiber

   The Mansions of Science and Urs Schreiber 2:52:25 MP3 ~236.8 MB

3. 2:42:10

   This Scientist Explains How the Universe Emerges from Nothing

   Curt Jaimungal 2:42:10 MP3 ~222.7 MB

4. 52:11

   Steve Awodey – Homotopy Type Theory, Logic & Philosophy | #05 aboutlogic

   aboutlogic 52:11 MP3 ~71.7 MB

5. 2:23:17

   Category Theory 101, Math & Higher Topos Theory in Physics ft. Urs Schreiber | Know Time 138

   Know Time and Urs Schreiber 2:23:17 MP3 ~196.8 MB

6. 49:31

   Andrej Bauer – 5 Stages of Accepting Intuitionistic Math & Proofs by Contradiction | #09 aboutlogic

   aboutlogic and Andrej Bauer 49:31 MP3 ~68.0 MB

7. 1:16:13

   Urs SCHREIBER - Synthetic prequantum field theory in a cohesive homotopy topos

   Institut des Hautes Etudes Scientifiques (IHES) 1:16:13 MP3 ~104.7 MB

8. 6:21

   The Story Behind nLab: The Internet’s Most Advanced Math Wiki | Urs Schreiber

   Know Time 6:21 MP3 ~8.7 MB

9. 26:50

   Thorsten Altenkirch – Theorem Proving, Constructive Math & Type Theory | #01 aboutlogic

   aboutlogic 26:50 MP3 ~36.8 MB

10. 1:15:40

    Wittgenstein, Turing & the Philosophy of Applied Mathematics | José Pérez Escobar | aboutlogic #17

    aboutlogic 1:15:40 MP3 ~103.9 MB

11. 1:13:45

    Urs Schreiber: Quantum Language via Linear Homotopy Types 1/4

    ICMAT activities 1:13:45 MP3 ~101.3 MB

12. 1:00:51

    Modern Physics Formalized in Modal Homotopy Type Theory by Urs Schreiber

    FOMUS 2016 1:00:51 MP3 ~83.6 MB

13. 1:02:53

    The Hidden History of Logic: Jan von Plato on Gödel, Gentzen & Bernays | aboutlogic #18

    aboutlogic 1:02:53 MP3 ~86.4 MB

14. 0:36

    aboutlogic – Trailer

    aboutlogic 0:36 MP3 ~0.8 MB

15. 58:34

    Emily Riehl – Higher Category Theory, Homotopy & AI in Math | aboutlogic #15

    aboutlogic 58:34 MP3 ~80.4 MB

16. 1:13:48

    Urs Schreiber, Topological quantum programming via linear homotopy types

    HoTTEST 1:13:48 MP3 ~101.3 MB

17. 1:20:23

    Urs Schreiber: Quantum Language via Linear Homotopy Types 3/4

    ICMAT activities 1:20:23 MP3 ~110.4 MB