Herbrandexpansionen: Prädikatenlogik auf Aussagenlogik reduzieren

Herbrands Idee von "Semantik durch Syntax" lässt sich weiter anwenden, um die Erfüllbarkeit prädikatenlogischer Formeln auf Aussagenlogik zu reduzieren. Außerdem erzähle ich noch die interessante Geschichte hinter der Fotografie Herbrands, welche ich schon im letzten Video gezeigt hatte.
► Playliste für diesen Videokurs: • Theoretische Informati...
► Vorlesungsfolien zum Download: iccl.inf.tu-dr... (20. Vorlesung)
► Aktuelle und frühere Versionen der Vorlesung: iccl.inf.tu-dr...
► Fehler gefunden? Issues melden auf github: github.com/kno...
Bildrechte:
Portrait Jacques Herbrand: Natasha Artin Brunswick, 1931, CC-By 3.0
Portrait Natasha Artin Brunswick: Tom Artin, 2000, CC-By 3.0