Related Books

Computable Structure Theory
Language: en
Pages: 214
Authors: Antonio Montalbán
Categories: Mathematics
Type: BOOK - Published: 2021-06-24 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

In mathematics, we know there are some concepts - objects, constructions, structures, proofs - that are more complex and difficult to describe than others. Comp
Computable Structures and the Hyperarithmetical Hierarchy
Language: en
Pages: 363
Authors: C.J. Ash
Categories: Mathematics
Type: BOOK - Published: 2000-06-16 - Publisher: Elsevier

DOWNLOAD EBOOK

This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity whic
Computable Structure Theory
Language: en
Pages: 213
Authors: Antonio Montalbán
Categories: Mathematics
Type: BOOK - Published: 2021-06-24 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Presents main results and techniques in computable structure theory together in a coherent framework for the first time in 20 years.
Computability Theory
Language: en
Pages: 420
Authors: S. Barry Cooper
Categories: Mathematics
Type: BOOK - Published: 2017-09-06 - Publisher: CRC Press

DOWNLOAD EBOOK

Computability theory originated with the seminal work of Gödel, Church, Turing, Kleene and Post in the 1930s. This theory includes a wide spectrum of topics, s
Turing's Legacy
Language: en
Pages: 540
Authors: Rod Downey
Categories: Mathematics
Type: BOOK - Published: 2014-05-01 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Alan Turing was an inspirational figure who is now recognised as a genius of modern mathematics. In addition to leading the Allied forces' code-breaking effort