Értékelés:
Martin Davis „Computability and Unsolvability” című könyve a kiszámíthatósági elmélet és annak matematikai és informatikai vonatkozásai formális és szigorú kezelését nyújtja. Bár a könyv mélységét és alaposságát nagyra értékelték, sok olvasó megjegyezte, hogy a nehéz jelölések és a konkrét példák hiánya miatt a könyv kevésbé hozzáférhető azok számára, akik nem rendelkeznek erős matematikai háttérrel.
Előnyök:⬤ A kiszámíthatóság és a rekurzív függvényelmélet átfogó és szigorú kezelése.
⬤ Jól szervezett szerkezet; a tételek hatékonyan kapcsolódnak egymáshoz.
⬤ Értékes tartalom a kiszámíthatósággal és Hilbert tizedik problémájával kapcsolatos mély kérdésekről.
⬤ Megfizethető utánnyomás a Dover kiadótól.
⬤ Erősen formális stílus, ami nehéz lehet a matematikában nem jártas olvasók számára.
⬤ Hiányoznak a konkrét példák a fogalmak illusztrálására.
⬤ A bizonyítások fárasztónak tűnhetnek, és a megértéshez szükséges lépéseket kihagyhatják.
⬤ Egyes szakaszok kritikák szerint szárazak vagy élettelenek.
(12 olvasói vélemény alapján)
Computability and Unsolvability
Ebben a klasszikus szövegben Dr. Davis világos bevezetést nyújt a kiszámíthatóságba, felsőfokú alapképzésben, amely a szakemberek és a nem szakemberek igényeit egyaránt kielégíti.
Az első részben (1-5. fejezet) Davis professzor a kiszámíthatóság általános elméletét vázolja fel, olyan témákat tárgyalva, mint a kiszámítható függvények, a kiszámítható függvényeken végzett műveletek, a rekurzív függvények, a Turing-gépek, az önmegoldó és a megoldhatatlan döntési problémák. A szerző - különösen az első hét fejezetben - gondosan ügyelt arra, hogy az olvasó részéről ne feltételezzen különösebb matematikai képzettséget.
A második rész (6-8. fejezet) az általános elmélet alkalmazásainak tömör feldolgozását tartalmazza, beépítve a kombinatorikai problémák, a diofantikus egyenletek (beleértve Hilbert tizedik problémáját) és a matematikai logika anyagát. Az utolsó három fejezet (3. rész) az általános elmélet továbbfejlesztését mutatja be, felölelve a Kleene-hierarchiát, a kiszámítható függvényeket és a megoldhatatlan döntési problémák osztályozását.
Amikor 1958-ban először megjelent ez a mű, sok olyan terminológiát vezetett be, amely azóta az elméleti informatikában standarddá vált. A könyvnek olyan rangja van, hogy sok informatikus úgy tekint rá, mint a témába való elméleti bevezetésre. Ez az új Dover-kiadás olcsó formában teszi elérhetővé ezt az úttörő, széles körben csodált szöveget.
A Dover kiadásához Dr. Davis új Előszóval és egy függelékkel látta el a Hilbert's Tenth Problem Is Unsolvable (Hilbert tizedik problémája megoldhatatlan) című fontos cikket, amelyet 1973-ban a The American Mathematical Monthlyban publikált, és amelyet az Amerikai Matematikai Társaság és az Amerikai Matematikai Társaság díjazott. Ezek a kiegészítések tovább növelik egy szokatlanul világos és ösztönző kiállítás (Centre National de la Recherche Scientifique, Párizs) értékét és hasznosságát, amely most először jelenik meg papírkötésben.
