توضیحات
This Element takes a deep dive into Gdel’s 1931 paper giving the first presentation of the Incompleteness Theorems, opening up completely passages in it that might possibly puzzle the student, such as the mysterious footnote 48a. It considers the main ingredients of Gdel’s proof: arithmetization, strong representability, and the Fixed Point Theorem in a layered fashion, returning to their various aspects: semantic, syntactic, computational, philosophical and mathematical, as the topic arises. It samples some of the most important proofs of the Incompleteness Theorems, e.g. due to Kuratowski, Smullyan and Robinson, as well as newer proofs, also of other independent statements, due to H. Friedman, Weiermann and Paris-Harrington. It examines the question whether the incompleteness of e.g. Peano Arithmetic gives immediately the undecidability of the Entscheidungsproblem, as Kripke has recently argued. It considers set-theoretical incompleteness, and finally considers some of the philosophical consequences considered in the literature.
————————————————————–
ترجمه ماشینی :
این عنصر در مقاله سال 1931 Gdel که اولین ارائه قضایای ناتمامیت را ارائه میکند، غوطهور میکند و بخشهایی را در آن باز میکند که احتمالاً ممکن است دانشآموز را متحیر کند، مانند پاورقی مرموز 48a. این مؤلفههای اصلی برهان Gdel را در نظر میگیرد: حساب، قابلیت نمایش قوی، و قضیه نقطه ثابت به صورت لایهای، و به جنبههای مختلف آنها: معنایی، نحوی، محاسباتی، فلسفی و ریاضی برمیگردد که موضوع مطرح میشود. برخی از مهمترین برهانهای قضایای ناتمامیت را نمونهبرداری میکند، به عنوان مثال به دلیل کوراتوفسکی، اسمولیان و رابینسون، و همچنین اثباتهای جدیدتر، همچنین سایر اظهارات مستقل، به دلیل H. Friedman، Weiermann و Paris-Harrington. این پرسش را بررسی میکند که آیا ناقص بودن مثلاً Peano Arithmetic، همانطور که کریپکی اخیراً استدلال کرده است، بلافاصله غیرقابل تصمیمگیری مشکل Entscheidungs را میدهد. ناقص بودن نظری مجموعهها را در نظر میگیرد و در نهایت برخی از پیامدهای فلسفی در نظر گرفته شده در ادبیات را در نظر میگیرد.
tag : دانلود کتاب قضایای ناتمامیت Gدل (عناصر در فلسفه و منطق) , Download قضایای ناتمامیت Gدل (عناصر در فلسفه و منطق) , دانلود قضایای ناتمامیت Gدل (عناصر در فلسفه و منطق) , Download Gdel’s Incompleteness Theorems (Elements in Philosophy and Logic) Book , قضایای ناتمامیت Gدل (عناصر در فلسفه و منطق) دانلود , buy قضایای ناتمامیت Gدل (عناصر در فلسفه و منطق) , خرید کتاب قضایای ناتمامیت Gدل (عناصر در فلسفه و منطق) , دانلود کتاب Gdel’s Incompleteness Theorems (Elements in Philosophy and Logic) , کتاب Gdel’s Incompleteness Theorems (Elements in Philosophy and Logic) , دانلود Gdel’s Incompleteness Theorems (Elements in Philosophy and Logic) , خرید Gdel’s Incompleteness Theorems (Elements in Philosophy and Logic) , خرید کتاب Gdel’s Incompleteness Theorems (Elements in Philosophy and Logic) ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.