Overview

Full Product Details

Author:   Jacques Dubucs ,  Michel Bourdeau
Publisher:   Springer
Imprint:   Springer
Edition:   Softcover reprint of the original 1st ed. 2014
Volume:   34
Dimensions:   Width: 15.50cm , Height: 1.20cm , Length: 23.50cm
Weight:   3.518kg
ISBN:  

9789402407075

ISBN 10:   9402407073
Pages:   214
Publication Date:   10 September 2016
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions