Recursive functions and metamathematics problems of completeness and decidability godels theorems problems of completeness and decidability godels theorems synthese library band 286

Ein tiefgreifendes Werk über rekursive Funktionen und Metamathematik, das Gödel’sche Unvollständigkeitstheoreme untersucht und Fragen der Vollständigkeit sowie Entscheidbarkeit aus einer neuen Perspektive beleuchtet.

Teilen: