Advertisement

Grenzen der Logik

  • Wolfgang Ertel

Wie schon an verschiedenen Stellen erwähnt, gibt es auf der Suche nach einem Beweis fast immer in jedem Schritt viele (je nach Kalkül eventuell sogar unendlich viele) Möglichkeiten für die Anwendung von Inferenzregeln. Es ergibt sich dadurch das schon erwähnte explosionsartige Wachsen des Suchraums (Abbildung 4.1). In Worst-Case müssen zum Finden eines Beweises alle diese Möglichkeiten versucht werden, was in für Menschen zumutbaren Zeiträumen aber meist nicht möglich ist.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Friedr. Vieweg & Sohn Verlag | GWV Fachverlage GmbH 2008

Authors and Affiliations

  • Wolfgang Ertel

There are no affiliations available

Personalised recommendations