نرم افزار: سیستم ها: محاسبات علمی

اثبات گودل، نسخه اصلاح شده

Godel's Proof, Revised Edition

دانلود کتاب Godel’s Proof, Revised Edition (به فارسی: اثبات گودل، نسخه اصلاح شده) نوشته شده توسط «Ernest Nagel – James R. Newman – Douglas R. Hofstadter»


اطلاعات کتاب اثبات گودل، نسخه اصلاح شده

موضوع اصلی: ریاضیات

نوع: کتاب الکترونیکی

ناشر: NYU Press

نویسنده: Ernest Nagel – James R. Newman – Douglas R. Hofstadter

زبان: english

فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2001

تعداد صفحه: 153

حجم فایل: 408 کیلوبایت

کد کتاب: 0814758169 , 9780814758168

نوبت چاپ: Revised

توضیحات کتاب اثبات گودل، نسخه اصلاح شده

“در سال 1931 کورت گودل با انتشار مقاله انقلابی خود، “درباره گزاره های رسمی غیرقابل تصمیم گیری از اصول ریاضیات و سیستم های مرتبط”، برخی از مفروضات اساسی زیربنای ریاضیات و منطق را به هم زد. گودل در نهایت توسط همتایان خود شناخته شد و اولین جایزه آلبرت انیشتین را در سال 1951 برای موفقیت در علوم طبیعی – بالاترین افتخار در نوع خود در سال 1951 دریافت کرد. ایالات متحده کمیته جایزه، که شامل آلبرت انیشتین و جی. رابرت اوپنهایمر بود، کار او را به عنوان «یکی از بزرگترین کمک‌ها به علوم در دوران اخیر» توصیف کرد. توضیحی غیر فنی برای دانشمندان و غیرمتخصصان ایده های اصلی و مفاهیم گسترده کشف گودل. اولین بار در سال 1958 منتشر شد. و به طور مداوم به ده زبان چاپ می شود، این اثر بسیار محبوب و مهم به هر فرد تحصیل کرده ای که علاقه مند به ریاضیات، منطق و فلسفه است، فرصتی برای درک موضوعی که قبلاً دشوار و غیرقابل دسترس است، ارائه می دهد.”–BOOK JACKET. ادامه مطلب… مسئله سازگاری — اثبات مطلق سازگاری — کدگذاری سیستماتیک منطق صوری — نمونه ای از یک اثبات مطلق موفق سازگاری — ایده نقشه برداری و استفاده از آن در ریاضیات — برهان های گودل – – شماره گذاری گودل – حساب کردن فرا ریاضیات – قلب استدلال گودل – تأملات پایانی – پیوست: یادداشت ها – کتابشناسی مختصر – فهرست


“In 1931 Kurt Godel disrupted some of the fundamental assumptions underlying mathematics and logic with the publication of his revolutionary paper, “On Formally Undecidable Propositions of Principia Mathematica and Related Systems.” Ironically, few mathematicians of the time were able to understand the young scholar’s complex proof, and the full importance of this work was largely overlooked for many years. Godel was at last recognized by his peers and presented with the first Albert Einstein Award in 1951 for achievement in the natural sciences – the highest honor of its kind in the United States. The award committee, which included Albert Einstein and J. Robert Oppenheimer, described his work as “one of the greatest contributions to the sciences in recent times.”” “In Godel’s Proof, Ernest Nagel and James Newman provide a readable and non-technical explanation for both scholars and non-specialists of the main ideas and broad implications of Godel’s discovery. First published in 1958 and in print continuously in ten languages, this highly popular, seminal work offers every educated person with an interest in mathematics, logic, and philosophy the opportunity to understand a previously difficult and inaccessible subject.”–BOOK JACKET. Read more… The problem of consistency — Absolute proofs of consistency — The systematic codification of formal logic — An example of a successful absolute proof of consistency — The idea of mapping and its use in mathematics — Gödel’s proofs — A Gödel numbering — The arithmetization of meta-mathematics — The heart of Gödel’s argument — Concluding reflections — Appendix: Notes — Brief bibliography — Index

دانلود کتاب «اثبات گودل، نسخه اصلاح شده»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

دیدگاهتان را بنویسید