Realizability, Fachbücher von Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
Das Buch "Realizability" von Betascript Publishing bietet eine umfassende Einführung in das Konzept der Realisierbarkeit, das... Mehr erfahren
Produktvarianten
Realizability, Fachbücher von Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
Finde die besten Angebote
Bester Preis17 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Realizability" von Betascript Publishing bietet eine umfassende Einführung in das Konzept der Realisierbarkeit, das einen wichtigen Teil der Beweistheorie darstellt. Es behandelt die Möglichkeit, Informationen über Formeln zu verarbeiten, anstatt sich ausschliesslich auf die Beweise dieser Formeln zu konzentrieren. Der Autor beleuchtet die Entwicklung des Begriffs, der 1945 von Kleene eingeführt wurde, und diskutiert die Herausforderungen und Komplexitäten, die mit der Axiomatizierung der Realisierbarkeit verbunden sind. Das Buch bietet eine fundierte Analyse der Beziehung zwischen Realisierbarkeit und intuitionistischer Logik und untersucht die Implikationen für die mathematische Interpretation von Formeln. Es ist eine wertvolle Ressource für Studierende und Fachleute, die sich mit den Grundlagen der Mathematik und der Logik auseinandersetzen.
Informationen
Lieferzeit:2-4 Werktage
Marke:Betascript Publishing