Constructivity and Computability in Historical and Philosophical Perspective
Ranging from Alan Turing’s seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifies the relationship between computability on the one hand and constructivity on the other. The authors argue that even though constructivists have largely sh...
| Other Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht
Springer Netherlands
2014, 2014
|
| Edition: | 1st ed. 2014 |
| Series: | Logic, Epistemology, and the Unity of Science
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- Preface; Jacques Dubucs and Michel Bourdeau
- Chapter 1. Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session; Göran Sundholm
- Chapter 2. The developments of the concept of machine computability from 1936 to the 1960s; Jean Mosconi
- Chapter 3. Kolmogorov Complexity in perspective, Part I: Information Theory and Randomness; Marie Ferbus-Zanda and Serge Grigorieff
- Chapter 4. Kolmogorov Complexity in perspective, Part II: Classification, Information Processing and Duality; Marie Ferbus-Zanda
- Chapter 5. Proof-theoretic semantics and feasibility; Jean Fichot
- Chapter 6. Recursive functions and constructive mathematics; Thierry Coquand
- Chapter 7. Gödel and intuitionism; Mark van Atten