Скачать «Aboutlogic And Urs Schreiber» в MP3

Найдено 16 совпадений по запросу «Aboutlogic And Urs Schreiber». Нажмите «Скачать», чтобы выбрать формат и качество.

1. 59:34

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

   aboutlogic and Urs Schreiber 59:34 MP3 ~81.8 МБ

2. 2:52:25

   Toposes are NOT scary | Urs Schreiber

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

3. 2:42:10

   This Scientist Explains How the Universe Emerges from Nothing

   Curt Jaimungal 2:42:10 MP3 ~222.7 МБ

4. 52:11

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

   aboutlogic 52:11 MP3 ~71.7 МБ

5. 54:43

   Category Theory Meets Agentic AI | Neil Ghani (Kodamai) | aboutlogic #21

   aboutlogic 54:43 MP3 ~75.1 МБ

6. 6:21

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

   Know Time 6:21 MP3 ~8.7 МБ

7. 49:31

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

   aboutlogic and Andrej Bauer 49:31 MP3 ~68.0 МБ

8. 33:26

   Choice vs. Excluded Middle: A Constructive Paradox | aboutlogic: premises #08

   aboutlogic 33:26 MP3 ~45.9 МБ

9. 26:50

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

   aboutlogic 26:50 MP3 ~36.8 МБ

10. 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 МБ

11. 1:15:40

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

    aboutlogic 1:15:40 MP3 ~103.9 МБ

12. 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 МБ

13. 0:36

    aboutlogic – Trailer

    aboutlogic 0:36 MP3 ~0.8 МБ

14. 1:00:51

    Modern Physics Formalized in Modal Homotopy Type Theory by Urs Schreiber

    FOMUS 2016 1:00:51 MP3 ~83.6 МБ

15. 1:54:38

    Philosophers Of Physics Debate Fine-Tuning: Linford vs Donahue

    Phil Halper (aka Skydivephil) and Miles K. Donahue 1:54:38 MP3 ~157.4 МБ

16. 1:20:23

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

    ICMAT activities 1:20:23 MP3 ~110.4 МБ