Computational Logic and Set Theory
Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
Inbunden, 2011
572 kr
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
AvEugenio G. Omodeo,Alberto Policriti
Inbunden, Engelska, 2017
Del 10 i serien Outstanding Contributions to Logic
1 542 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
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. The individual contributions touch on most of the core aspects of Davis’ work and set it in a contemporary context. They analyse, discuss and develop many of the ideas and concepts that Davis put forward, including such issues as contemporary satisfiability solvers, essential unification, quantum computing and generalisations of Hilbert’s tenth problem. The book starts out with a scientific autobiography by Davis, and ends with his responses to comments included in the contributions. In addition, it includes two previously unpublished original historical papers in which Davis and Putnam investigate the decidable and the undecidable side of Logic, as well as a full bibliography of Davis’ work. As a whole, this book shows how Davis’ scientific work lies at the intersection of computability,theoretical computer science, foundations of mathematics, and philosophy, and draws its unifying vision from his deep involvement in Logic.
Produktinformation
Utforska kategorier
Recensioner i media
Innehållsförteckning
Hoppa över listan
Mer från samma författare
Computational Logic and Set Theory
Eugenio G. Omodeo, Domenico Cantone, Jacob T. Schwartz
E-bok
2011739 kr
Computational Logic and Set Theory
Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
Häftad, 2014
572 kr
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Alberto Policriti, Eugenio G. Omodeo
E-bok
20171 416 kr
Hoppa över listan
Mer från samma serie
Del 16
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
Janusz Czelakowski
Häftad, 2019
939 kr
Del 13
Del 18
Graham Priest on Dialetheism and Paraconsistency
Can Başkent, Thomas Macaulay Ferguson
Inbunden, 2020
1 872 kr
Del 18
Graham Priest on Dialetheism and Paraconsistency
Can Başkent, Thomas Macaulay Ferguson
Häftad, 2021
1 872 kr
Hajnal Andréka and István Németi on Unity of Science
Judit Madarász, Gergely Székely
Inbunden, 2021
1 104 kr
Del 19
Hajnal Andréka and István Németi on Unity of Science
Judit Madarász, Gergely Székely
Häftad, 2022
1 104 kr
Del 20
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics
Claudia Casadio, Philip J. Scott
Inbunden, 2021
1 433 kr
Del 20
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics
Claudia Casadio, Philip J. Scott
Häftad, 2022
1 433 kr
Del 21
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics
Ofer Arieli, Anna Zamansky
Inbunden, 2021
1 542 kr
Del 21
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics
Ofer Arieli, Anna Zamansky
Häftad, 2022
1 542 kr
Hoppa över listan
Du kanske också är intresserad av
Del 10
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Eugenio G. Omodeo, Alberto Policriti
Häftad, 2018
1 102 kr
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Alberto Policriti, Eugenio G. Omodeo
E-bok
20171 416 kr
Computational Logic and Set Theory
Eugenio G. Omodeo, Domenico Cantone, Jacob T. Schwartz
E-bok
2011739 kr
Computational Logic and Set Theory
Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
Häftad, 2014
572 kr
Computational Intelligence Methods for Bioinformatics and Biostatistics
Roberto Tagliaferri, Alberto Policriti, Leif Peterson, Gunnar W. Klau, Andrea Bracciali, Annalisa Barla, Massimo Bartoletti
E-bok
2019710 kr