توضیحات
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.
————————————————————–
ترجمه ماشینی :
پیشگفتار؛ ژاک دوبوک و میشل بوردو.- فصل 1. توابع بازگشتی سازنده، تز چرچ، و نظریه بروور در مورد ایجاد موضوع: افکار بعدی در مورد یک جلسه مشترک پاریس. Goran Sundholm.- فصل 2. تحولات مفهوم محاسبات ماشینی از 1936 تا 1960; ژان موسکونی.- فصل 3. پیچیدگی کلموگروف در دیدگاه، بخش اول: نظریه اطلاعات و تصادفی بودن. ماری فربوس-زندا و سرژ گریگوریف.- فصل 4. پیچیدگی کلموگروف در چشم انداز، بخش دوم: طبقه بندی، پردازش اطلاعات و دوگانگی. ماری فربوس-زندا.- فصل 5. معناشناسی و امکان سنجی اثبات نظری. Jean Fichot.- فصل 6. توابع بازگشتی و ریاضیات سازنده. Thierry Coquand.- فصل 7. گودل و شهودگرایی; مارک ون آتن
tag : دانلود کتاب سازندگی و محاسبه پذیری در دیدگاه تاریخی و فلسفی , Download سازندگی و محاسبه پذیری در دیدگاه تاریخی و فلسفی , دانلود سازندگی و محاسبه پذیری در دیدگاه تاریخی و فلسفی , Download Constructivity and Computability in Historical and Philosophical Perspective Book , سازندگی و محاسبه پذیری در دیدگاه تاریخی و فلسفی دانلود , buy سازندگی و محاسبه پذیری در دیدگاه تاریخی و فلسفی , خرید کتاب سازندگی و محاسبه پذیری در دیدگاه تاریخی و فلسفی , دانلود کتاب Constructivity and Computability in Historical and Philosophical Perspective , کتاب Constructivity and Computability in Historical and Philosophical Perspective , دانلود Constructivity and Computability in Historical and Philosophical Perspective , خرید Constructivity and Computability in Historical and Philosophical Perspective , خرید کتاب Constructivity and Computability in Historical and Philosophical Perspective ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.