سفری به مرز منطق
اولین زندگینامه مهم منطقدان و ریاضیدانی که قضایای ناتمامیت او به راه اندازی یک انقلاب علمی مدرن کمک کرد.
اولین زندگینامه مهم منطقدان و ریاضیدانی که قضایای ناتمامیت او به راه اندازی یک انقلاب علمی مدرن کمک کرد. نزدیک به صد سال پس از انتشار، اثبات مشهور کورت گودل مبنی بر اینکه هر سیستم ریاضی باید حاوی گزارههایی باشد که درست هستند - اما هرگز قابل اثبات نیستند - همچنان ریاضیات، فلسفه و علوم کامپیوتر را به چالش میکشد. برخلاف اینشتین که با او دوستی گرم و پایداری داشت، گودل مدتها از بررسی دقیق زندگیاش گریخته بود. این کتاب پرترهای صمیمی از محافل علمی و فکری در وین پیش از جنگ و بازسازی زنده روزهای اولیه موسسه مطالعات پیشرفته پرینستون است و اولین زندگینامهای است که به طور کامل از نامهها و نوشتههای حجیم گودل بهره میبرد.
از کتابخانهٔ نویسنده
استفن بودیانْسکی
استفن بودیانْسکی
استفن بودیانْسکی
استفن بودیانْسکی
استفن بودیانْسکی
انتخابهای نزدیک به این کتاب
مایر اشنایدر