دانلود کتاب Constructivity and Computability in Historical and Philosophical Perspective

Name: Constructivity and Computability in Historical and Philosophical Perspective
Availability: InStock
Author: Jacques Dubucs
ISBN: 9789401792172, 9401792178

by Jacques Dubucs, Michel Bourdeau, (eds.)

عنوان فارسی: Constructivity و رایانش در چشم انداز تاریخی و فلسفی
ناشر: Springer
سال: 2014
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 223-223
شابک: 9789401792172, 9401792178
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 3.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

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.