دانلود کتاب Kurt Gdel: The Princeton Lectures on Intuitionism – کرت جی دل: سخنرانی های پرینستون در مورد شهودگرایی

توضیحات

Paris of the year 1900 left two landmarks: theTour Eiffel,and David Hilbert’s celebrated list of twenty-four mathematical problems presented at a conference opening the new century. Kurt Gdel, a logical icon of that time, showed Hilbert’s ideal of complete axiomatization of mathematics to be unattainable. The result, of 1931, is called Gdel’sincompleteness theorem. Gdel then went on to attack Hilbert’s first and second Paris problems, namely Cantor’scontinuum problemabout the type of infinity of the real numbers, and the freedom from contradiction of the theory of real numbers. By 1963, it became clear that Hilbert’s first question could not be answered by any known means, half of the credit of this seemingfaux pasgoing to Gdel. The second is a problem still wide open. Gdel worked on it for years, with no definitive results; The best he could offer was a start with the arithmetic of the entire numbers.

————————————————————–

ترجمه ماشینی :

پاریس سال 1900 دو نقطه عطف به جا گذاشت:تور ایفل، و فهرست مشهور دیوید هیلبرت از بیست و چهار مسئله ریاضی که در کنفرانسی که قرن جدید را آغاز کرد ارائه شد. کورت گلدل، نماد منطقی آن زمان، آرمان هیلبرت مبنی بر بدیهی سازی کامل ریاضیات را دست نیافتنی نشان داد. نتیجه سال 1931قضیه ناتمامیGdel نامیده می شود. گدل سپس به مسئله اول و دوم پاریس هیلبرت حمله کرد، یعنی مسئلهپیوستهکانتور در مورد نوع بی نهایت بودن اعداد حقیقی، و رهایی از تضاد نظریه اعداد حقیقی. در سال 1963، مشخص شد که اولین سوال هیلبرت را نمی توان با هیچ ابزار شناخته شده ای پاسخ داد، نیمی از اعتبار اینپاسبه ظاهر تقلبی به Gdel. دومی مشکلی است که هنوز کاملاً باز است. گلدل سال ها روی آن کار کرد، بدون هیچ نتیجه قطعی. بهترین چیزی که او می‌توانست ارائه دهد شروعی با حساب کل اعداد بود.