مشخصات کتاب

The Gödelian Puzzle Book: Puzzles, Paradoxes and Proofs

ویرایش:  
نویسندگان: Smullyan. Raymond M  
سری:  
ISBN (شابک) : 9780486315775, 9781306328883 
ناشر: Dover Publications 
سال نشر: 2013 
تعداد صفحات:  
زبان: English 
فرمت فایل : EPUB (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 Mb 

در صورت تبدیل فایل کتاب The Gödelian Puzzle Book: Puzzles, Paradoxes and Proofs به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب کتاب پازل گودلی: پازل ها، پارادوکس ها و اثبات ها

پوشش دادن؛ صفحه عنوان؛ صفحه حق چاپ پیشگفتار؛ فهرست؛ بخش اول: پازل ها، پارادوکس ها، بی نهایت و کنجکاوی های دیگر. فصل اول یک مقدمه شخصی پرحرف. فصل دوم برخی از ماجراهای عجیب. فصل سوم جزیره عجیب موزیکا. فصل چهارم چهار متاپزل; فصل پنجم شوالیه ها و شوالیه های معتبر. فصل ششم متناقض؟ فصل هفتم بی نهایت و استقراء; فصل هشتم معرفی خود مرجع; فصل نهم پازل نقطه ثابت. فصل X برخی از سیستم های کنجکاو. فصل یازدهم چگونه می توان یک ماشین تصمیم گیری را خرد کرد. فصل دوازدهم برخی از پازل‌های گودلی اضافی. این پازل‌های منطقی تفریحی، تغییرات سرگرم‌کننده‌ای در قضایای ناتمامی گدیل ارائه می‌کنند، چالش‌های مبتکرانه‌ای را در رابطه با بی‌نهایت، حقیقت و اثبات‌پذیری، تصمیم‌ناپذیری، و مفاهیم دیگر ارائه می‌کنند. این جلد که توسط یک ریاضیدان برجسته و خالق کتاب‌های پازل محبوب متعدد نوشته شده است، نیازی به پیشینه منطق رسمی ندارد و خوانندگان را در هر سنی خوشحال می‌کند.

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

Cover; Title Page; Copyright Page; Preface; Contents; Part I: Puzzles, Paradoxes, Infinity and other Curiosities; Chapter I A Chatty Personal Introduction; Chapter II Some Curious Adventures; Chapter III The Strange Island of Musica; Chapter IV Four Metapuzzles; Chapter V Certified Knights and Knaves; Chapter VI Paradoxical?; Chapter VII Infinity and Induction; Chapter VIII Introducing Self-Reference; Chapter IX Fixed Point Puzzles; Chapter X Some Curious Systems; Chapter XI How to Stump a Decision Machine; Chapter XII Some Additional Gödelian Puzzles.;These recreational logic puzzles provide entertaining variations on Gd̲el's incompleteness theorems, offering ingenious challenges related to infinity, truth and provability, undecidability, and other concepts. Written by a distinguished mathematician and creator of numerous popular puzzle books, this volume requires no background in formal logic and will delight readers of all ages.

فهرست مطالب

Cover
 Title Page
 Copyright Page
 Preface
 Contents
 Part I: Puzzles, Paradoxes, Infinity and other Curiosities
 Chapter I A Chatty Personal Introduction
 Chapter II Some Curious Adventures
 Chapter III The Strange Island of Musica
 Chapter IV Four Metapuzzles
 Chapter V Certified Knights and Knaves
 Chapter VI Paradoxical?
 Chapter VII Infinity and Induction
 Chapter VIII Introducing Self-Reference
 Chapter IX Fixed Point Puzzles
 Chapter X Some Curious Systems
 Chapter XI How to Stump a Decision Machine
 Chapter XII Some Additional Gödelian Puzzles. Part II: Provability, Truth and the UndecidableChapter XIII Truth and Provability
 Chapter XIV Syntactic Incompleteness Theorems
 Chapter XV Provability in Stages
 Chapter XVI Formal Systems and Recursion
 Chapter XVII Incompleteness and Undecidability
 Chapter XVIII First-Order Arithmetic
 Chapter XIX Arithmetic Truth Is Not Formalizable
 Chapter XX The Incompleteness of Peano Arithmetic
 References.

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

کتاب های تصادفی

دانلود کتاب Industrializing additive manufacturing - proceedings of Additive Manufacturing in Products and Applications - AMPA2017

دانلود کتاب Mitteilungen der Karl-May-Gesellschaft

دانلود کتاب Wavelets and Multiscale Analysis: Theory and Applications

دانلود کتاب Power and Persuasion in Late Antiquity: Towards a Christian Empire

دانلود کتاب Інформатика. Turbo Pascal 10-11 класи