Minlog-Kurs 15 - Cheating скачать в хорошем качестве

Minlog-Kurs 15 - Cheating

In diesem 15. Video des Minlog-Kurses geht es um die Einführung von globalen Annahmen. Es wird gezeigt, wie globale Annahmen eingeführt und wieder entfernt werden können. Außerdem wird die Sinnhaftigkeit solcher Annahmen diskutiert und argumentiert, inwiefern der Videotitel gerechtfertigt ist. Inhaltsübersicht: 00:00 Globale Annahmen 00:49 Kommando "add-global-assumption" 02:02 Kommando "remove-global-assumption" 02:50 Cheaten beim Beweisen 03:44 Kommando "admit" 06:10 Philosophische Gedanken zu globalen Annahmen Quellen: Die Minlog-Webseite: https://www.mathematik.uni-muenchen.d... Dort werden weitere Quellen zur Anwendung von Minlog genannt. Meine Masterarbeit mit einer Einführung zu Minlog und der Theorie der Berechenbaren Funktionale: 'Konstruktive Analysis mit extrakten reellen Zahlen', (2017), https://franziskuswiesnet.github.io/p... Eine aktuelle Darstellung der zugrunde liegenden Theorie befindet sich im Vorlesungsskript von Prof. Helmut Schwichtenberg zu seiner Vorlesung "Logik II" im SS2024 an der LMU: https://www.mathematik.uni-muenchen.d... Weiterführende Literatur: Schwichtenberg, H. & Wainer, S. S. (2012). Proofs and Computation. Cambridge University Press & Association for Symbolic Logic. Herzlichen Dank an den FWF (https://www.fwf.ac.at/) für die Unterstützung meines Forschungsprojekts 10.55776/ESP576, in dessen Rahmen dieses Video entstanden ist.