Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Häftad, Engelska, 2018

Del 10 i serien Outstanding Contributions to Logic

1 059 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability.

Produktinformation

Utgivningsdatum:2018-05-03
Mått:155 x 235 x 33 mm
Vikt:720 g
Format:Häftad
Språk:Engelska
Serie:Outstanding Contributions to Logic
Antal sidor:438
Förlag:Springer International Publishing AG
ISBN:9783319824437

Utforska kategorier

Recensioner i media

“It is welcome indeed to have the book under review on my desk and in my possession, particularly given that it’s something of a Festschrift, sporting all sorts of goodies. … To real logicians or even to folks like me … this is a wonderful book to have.” (Michael Berg, MAA Reviews, January 2018)

Innehållsförteckning

Chapter 1. My Life as a Logician (Martin Davis).- Chapter 2. Martin Davis and Hilbert’s Tenth Problem (Yuri Matiyasevich).- Chapter 3. Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory (Alexandra Shlapentokh).- Chapter 4. A Story of Hilbert’s Tenth Problem (Laura Elena Morales Guerrero).- Chapter 5. Hyperarithmetical Sets (Yiannis N. Moschovakis).- Chapter 6. Honest Computability and Complexity (Udi Boker and Nachum Dershowitz).- Chapter 7. Why Post Did [Not] Have Turing’s Thesis (Wilfried Sieg).- Chapter 8. On Quantum Computation, Anyons, and Categories (Andreas Blass).