Ocena:
Obecnie brak opinii czytelników. Ocena opiera się na 2 głosach.
Computability: Computable Functions, Logic, and the Foundations of Mathematics
Teraz w nowym wydaniu - klasyczna prezentacja teorii funkcji obliczalnych w kontekście podstaw matematyki. Część I motywuje badanie obliczalności dyskusjami i odczytami na temat kryzysu w podstawach matematyki na początku XX wieku, przedstawiając jednocześnie podstawowe pojęcia liczby całkowitej, funkcji, dowodu i liczby rzeczywistej.
Część II rozpoczyna się od odczytów Turinga i Posta prowadzących do formalnej teorii funkcji rekurencyjnych. Część III przedstawia logikę formalną wystarczającą do pełnego rozwinięcia twierdzeń Godela o niekompletności.
Część IV rozważa znaczenie pracy technicznej z omówieniem tezy Churcha i odczytami na temat podstaw matematyki. To nowe wydanie zawiera oś czasu "Obliczalność i nierozstrzygalność", a także esej "O matematyce".
