مشخصات کتاب

Truth, proof and infinity: A theory of constructions and constructive reasoning

دسته بندی: منطق
ویرایش:  
نویسندگان: Fletcher P. , Davidson. Donald,  Hintikka. Jaakko  
سری: Synthese library 276 
ISBN (شابک) : 9789401736169, 9789048151059 
ناشر: Springer Netherlands 
سال نشر: 1998 
تعداد صفحات: 479 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

کلمات کلیدی مربوط به کتاب حقیقت ، اثبات و بی نهایت: نظریه ای از ساخت و سازها و استدلال سازنده: منطق.

در صورت تبدیل فایل کتاب Truth, proof and infinity: A theory of constructions and constructive reasoning به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب حقیقت ، اثبات و بی نهایت: نظریه ای از ساخت و سازها و استدلال سازنده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب حقیقت ، اثبات و بی نهایت: نظریه ای از ساخت و سازها و استدلال سازنده

ریاضیات سازنده بر این نظریه استوار است که معنای یک فرمول ریاضی را نه با شرایط صدق آن، بلکه بر حسب اینکه چه ساختارهایی به عنوان اثبات آن به حساب می‌آیند، ارائه می‌کند. با این حال، معنای اصطلاحات «ساخت» و «اثبات» هرگز به اندازه کافی توضیح داده نشده است (اگرچه کریزل، گودمن و مارتین-لوف تلاش کرده اند بدیهیات را بیان کنند). این تک نگاری تعاریف دقیق (البته نه کاملاً رسمی) از ساخت و اثبات ارائه می کند و زیرساخت الگوریتمی زیربنای منطق شهودی را توصیف می کند. تفسیرهای حسابی و تحلیل سازنده هیتینگ داده شده است. مبانی فلسفی سازه انگاری به طور کامل در بخش اول بررسی شده است. نویسنده به دنبال پاسخ به ایرادات افلاطونیان و تطبیق موضع خود با بینش های اصلی فرمالیسم و ​​منطق هیلبرت است. مخاطب: فیلسوفان ریاضیات و منطق دانان، دانشجویان دانشگاهی و فارغ التحصیل، به ویژه علاقه مندان به بروور و هیلبرت. دانشمندان نظری کامپیوتر علاقه مند به مبانی زبان های برنامه نویسی کاربردی و محاسبات صحت برنامه.

توضیحاتی درمورد کتاب به خارجی

Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it. However, the meaning of the terms `construction' and `proof' has never been adequately explained (although Kriesel, Goodman and Martin-Löf have attempted axiomatisations). This monograph develops precise (though not wholly formal) definitions of construction and proof, and describes the algorithmic substructure underlying intuitionistic logic. Interpretations of Heyting arithmetic and constructive analysis are given. The philosophical basis of constructivism is explored thoroughly in Part I. The author seeks to answer objections from platonists and to reconcile his position with the central insights of Hilbert's formalism and logic. Audience: Philosophers of mathematics and logicians, both academic and graduate students, particularly those interested in Brouwer and Hilbert; theoretical computer scientists interested in the foundations of functional programming languages and program correctness calculi.

فهرست مطالب

Front Matter....Pages i-ix
Introduction and Statement of the Problem....Pages 1-12
What’s Wrong with Set Theory?....Pages 13-23
What’s Wrong with Infinite Quantifiers?....Pages 24-40
Abstraction and Idealisation....Pages 41-50
What are Constructions?....Pages 51-69
Truth and Proof of Logical Formulae....Pages 70-76
The Need for a Theory of Constructions....Pages 77-81
Theories of Constructions....Pages 82-97
Hilbert’s Formalism....Pages 98-116
Open-Endedness....Pages 117-127
Analysis....Pages 128-139
Introduction to Part II....Pages 140-141
Design of the Term Language....Pages 142-149
The Term Language....Pages 150-161
From the Term Language to the Expanded Term Language....Pages 162-198
The Expanded Term Language....Pages 199-208
The Protological Sequent Calculus....Pages 209-211
Commentary on the Protological Axioms and Rules....Pages 212-215
From Protologic to Expanded Protologic....Pages 216-230
Expanded Protologic....Pages 231-233
From Expanded Protologic to the Coding of Trees....Pages 234-252
The Coding of Trees....Pages 253-256
The Expanded Term Language as a Functional Programming Language....Pages 257-271
Introduction to Part III....Pages 272-274
From the Coding of Trees to Logic....Pages 275-285
Logic....Pages 286-289
From Logic to the Calculus of Proof Functions....Pages 290-322
Calculus of Proof Functions....Pages 323-325
From Calculus of Proof Functions to the Logic of Partial Terms....Pages 326-348
Logic of Partial Terms....Pages 349-352
From Logic of Partial Terms to Heyting Arithmetic....Pages 353-368
Heyting Arithmetic....Pages 369-371
From Heyting Arithmetic to Peano Arithmetic....Pages 372-385
Peano Arithmetic....Pages 386-388
Conclusions on Arithmetic....Pages 389-391
Introduction to Part IV....Pages 392-394
From Expanded Protologic to the Second-Order Coding of Trees....Pages 395-399
The Second-Order Coding of Trees....Pages 400-401
From the Second-Order Coding of Trees to Second-Order Logic....Pages 402-405
Second-Order Logic....Pages 406-407
From Second-Order Logic to Second-Order Calculus of Proof Functions....Pages 408-414
Second-Order Calculus of Proof Functions....Pages 415-416
From Second-Order Calculus of Proof Functions to Second-Order Logic of Partial Terms....Pages 417-423
Second-Order Logic of Partial Terms....Pages 424-425
From Second-Order Logic of Partial Terms to Second-Order Heyting Arithmetic....Pages 426-431
Second-Order Heyting Arithmetic....Pages 432-433
From Second-Order Heyting Arithmetic to Second-Order Peano Arithmetic....Pages 434-442
Second-Order Peano Arithmetic....Pages 443-446
Conclusions on Analysis....Pages 447-447
Back Matter....Pages 449-469

نظرات کاربران

کتاب های مرتبط

دانلود کتاب A Concise Introduction to Propositional Dynamic Logic

دانلود کتاب Multi-Dimensional Modal Logic

دانلود کتاب An Introduction to Formal Logic

دانلود کتاب Why Not Kill Them All?: The Logic and Prevention of Mass Political Murder

دانلود کتاب Many-Dimensional Modal Logic

دانلود کتاب Handbook of computability theory

دانلود کتاب On the Logic of Ordinary Conditionals

دانلود کتاب Phänomenologische Interpretationen ausgewählter Abhandlungen des Aristoteles zur Ontologie und Logik

دانلود کتاب Numerological analysis of WKB approximation in large order

دانلود کتاب Residuated Lattices: An Algebraic Glimpse at Substructural Logics