filmov
tv
Ingo Blechschmidt über Superturingmaschinen (1/2)
Показать описание
Die Vortragsreihe wurde beim November-Treffen fortgesetzt.
Curry Club Augsburg
theoretical computer science
computation
Рекомендации по теме
1:17:50
Ingo Blechschmidt über Superturingmaschinen (1/2)
2:07:06
Ingo Blechschmidt über Superturingmaschinen (2/2)
1:43:21
Ingo Blechschmidt: Kombinatorische Spieltheorie und surreale Zahlen
0:56:51
Ingo Blechschmidt: Düstere Ecken der Logik (1/3)
0:47:48
Ingo Blechschmidt: Scheinbar unmögliche funktionale Programme
0:04:24
Ingo Blechschmidt
0:00:38
Vorschau: Klimaaktivisten im Fokus #shorts
1:01:11
Ingo Blechschmidt: Düstere Ecken der Logik (3/3)
0:59:27
Ingo Blechschmidt - How topos theory can help commutative algebra
1:31:30
Garben und Logik 15/30: Kategorizität von Arithmetik und Superturingmaschinen (ITTM)
0:01:55
Klimacamp Augsburg
0:06:28
Fakten zur Klimakrise #2 || Klimacamp Adventskalender Tür #7
0:03:38
Fakten zur Klimakrise || Klimacamp Adventskalender Tür #3
1:32:22
Garben und Logik 22/30: Konstruktionen mit Örtlichkeiten und Unterörtlichkeiten (sublocales)
0:39:02
Profpatsch über I18n in Haskell (Teil 1 von 2)
1:30:08
Garben und Logik 17/30: Konstruktive Phänomene in der Analysis
0:03:11
LIT2016: Lightning Talks: Mathezirkel
1:30:06
Garben und Logik 10/30: Gödels Vollständigkeitssatz (konstruktiver Beweis von Herbelin und Ilik)
0:49:21
Einführung in Topostheorie (Teil 1/2)
1:25:49
Garben und Logik 12/30: Erste Schritte im Realisierbarkeitsmodell
1:28:42
Garben und Logik 19/30: Mehr zur Dialectica-Interpretation
1:30:00
Garben und Logik 9/30: Gödels Unvollständigkeitssätze (zweiter Teil)
0:29:20
Klimacamp Podcast #1 - Entstehung || Adventskalender Tür #2
1:35:33
Garben und Logik 5/30: Gentzens Beweis der Konsistenz von Peano-Arithmetik (zweiter Teil)