Sökt på: Böcker av Hans Hermes
totalt 27 träffar
Enumerability * Decidability Computability
Once we have accepted a precise replacement of the concept of algo- rithm, it becomes possible to attempt the problem whether there exist well-defined collections of problems which …
Nachgelassene Schriften und Wissenschaftlicher Briefwechsel. Erster Band
Gottlob Frege hinterließ eine große Anzahl wissenschaftlich bedeutsamer Papiere, darunter größere unveröffentlichte Manuskripte, die allerdings fast sämtlich fragmentarisch …
Introduction to Mathematical Logic
This book grew out of lectures. It is intended as an introduction to classical two-valued predicate logic. The restriction to classical logic is not meant to imply that this logic …
Selecta Mathematica II
Die Rolle der Logik beim Aufbau naturwissenschaftlicher Theorien
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
In der Mathematik ist es immer als eine besonders interessante und wichtige Aufgabe angesehen worden, Algorithmen zur Lösung von Pro blemen zu entwickeln. Dabei ist ein …
Einführung in die Verbandstheorie
Term Logic with Choice Operator
Einführung in die Verbandstheorie
Die Verbandstheorie ist in neuerer Zeit in den Vordergrund des mathematischen Interesses getreten, weil sie ebenso wie die Gruppen theorie im Prinzip sehr einfache Zusammenhänge …