Constructivity and Computability in Historical and Philosophical Perspective
Jacques Dubucs, Michel Bourdeau, (eds.)
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; Goran 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. Godel and intuitionism; Mark van Atten.
Kategorien:
Jahr:
2014
Verlag:
Springer
Sprache:
english
Seiten:
223
ISBN 10:
9401792178
ISBN 13:
9789401792172
Serien:
Logic, Epistemology, and the Unity of Science 34
Datei:
PDF, 2.79 MB
IPFS:
,
english, 2014