101 – Logik
| Rate/Vote |   (average: 4.10) Loading... |
In Episode 101 spreche ich mit Prof. Dr. Thomas Schwentick über Logik. Dabei geht es um einige grundlegende Begriffe und große Wissenschaftler auf diesem Gebiet sowie um verschiedene Arten der Logik und um informationstechnische Anwendungen.
Buchempfehlungen von Prof. Schwentick:
- Alecos Papadatos, Apostolos Doxiadis, Apostolos Doxiadis: Logicomix – An Epic Search for Truth
- Dirk W. Hoffmann: Grenzen der Mathematik
Restliche Links:
- Syntax
- Semantik
- Mengenlehre
- NP-Vollständigkeit
- P-NP-Problem
- Turingmaschine
- Aussagenlogik
- Modallogik
- Temporale Logik
- Prädikatenlogik
- Fuzzy-Logik
- Beweistheorie
- Rekursionstheorie
- Modelltheorie
- Komplexitätstheorie
- Ontologie
- Gödelscher Vollständigkeitssatz
- Russellsche Antinomie
- XML
- Alan Turing
- Edgar F. Codd
- David Hilbert
- Kurt Gödel
- Christos Papadimitriou
This website uses cookies to improve your experience. We'll assume you're ok with this.
Diese Webseite verwendet Cookies. Wir gehen davon aus, dass das für Sie/Dich in Ordnung ist.
Ich mag eigentlich die theoretischen Beiträge (Zahlentheorie, Komplexität…) aber mit dem Beitrag zur Logik konnte ich nicht viel anfangen
Kurze Berichtigung zum Intro, bevor ich ich in die Folge richtig einsteige: Ein “Deal” zwischen DLR und Hoaxilla, wie bei Minute 2 gesagt, ist mir nicht bekannt. Ich habe Alexa und Alexander genau wie Euch mal DLR-Ansprechpartner für Interviews vermittelt. Die beiden waren davon seinerzeit wohl so begeistert, dass sie das mal in einer Episode als Kooperation dargestellt haben. So, jetzt aber weiterhören…
… und dieser Begriff “Kooperation” ist dann irgendwie bei mir angekommen und hat zu dem Missverständnis geführt.
Sorry :-)
Markus
Hallo
Ich beschäftige mich selbst mit Logik und hatte leicht Mitleid mit dem Prof, als Nora ihn dauernd über Anwendungen ausfragte. Die Sachen sind Mathematik. Sch*** auf Anwendungen ;).
Naja, es gibt schon Anwendungen. Ich selber verwenden SAT Solving und Model Checking. Das ist inzwischen richtig wichtig in der Industrie :-)
Markus