توضیحات
The logician Kurt Gdel (1906-1978) published a paper in 1931 formulating what have come to be known as his ‘incompleteness theorems’, which prove, among other things, that within any formal system with resources sufficient to code arithmetic, questions exist which are neither provable nor disprovable on the basis of the axioms which define the system. These are among the most celebrated results in logic today. In this volume, leading philosophers and mathematicians assess important aspects of Gdel’s work on the foundations and philosophy of mathematics. Their essays explore almost every aspect of Godel’s intellectual legacy including his concepts of intuition and analyticity, the Completeness Theorem, the set-theoretic multiverse, and the state of mathematical logic today. This groundbreaking volume will be invaluable to students, historians, logicians and philosophers of mathematics who wish to understand the current thinking on these issues
————————————————————–
ترجمه ماشینی :
منطقدان کورت گلدل (1906-1978) مقالهای را در سال 1931 منتشر کرد که در آن مواردی را که به عنوان «قضیههای ناقص بودن» او شناخته میشوند، فرموله کرد، که از جمله ثابت میکند که در هر سیستم رسمی با منابع کافی برای رمزگذاری حساب، سؤالاتی وجود دارد که بر اساس بدیهیاتی که سیستم را تعریف می کنند، نه قابل اثبات هستند و نه قابل رد. اینها یکی از مشهورترین نتایج در منطق امروزی هستند. در این جلد، فیلسوفان و ریاضیدانان برجسته جنبه های مهم کار گلدل را در زمینه مبانی و فلسفه ریاضیات ارزیابی می کنند. مقالات آنها تقریباً تمام جنبههای میراث فکری گودل از جمله مفاهیم شهود و تحلیل، قضیه کامل بودن، چندجهانی نظریه مجموعهها و وضعیت منطق ریاضی امروزی را بررسی میکنند. این جلد پیشگامانه برای دانشجویان، مورخان، منطق دانان و فیلسوفان ریاضی که مایل به درک تفکر فعلی در مورد این مسائل هستند بسیار ارزشمند خواهد بود.
tag : دانلود کتاب تفسیر Gdel: مقالات انتقادی , Download تفسیر Gdel: مقالات انتقادی , دانلود تفسیر Gdel: مقالات انتقادی , Download Interpreting Gdel: Critical Essays Book , تفسیر Gdel: مقالات انتقادی دانلود , buy تفسیر Gdel: مقالات انتقادی , خرید کتاب تفسیر Gdel: مقالات انتقادی , دانلود کتاب Interpreting Gdel: Critical Essays , کتاب Interpreting Gdel: Critical Essays , دانلود Interpreting Gdel: Critical Essays , خرید Interpreting Gdel: Critical Essays , خرید کتاب Interpreting Gdel: Critical Essays ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.