Полное описание
>
Нагель, Эрнест. Доказательство Гёделя / Эрнест Нагель, Джеймс Ньюман ; отредактированное издание с предисловием Дугласа Р. Хофштадтера ; [перевод с английского В. В. Волков]. - Москва : Канон-плюс : Реабилитация, 2025. - 174 с. : ил. - (Библиотека аналитической философии). - Библиогр.: с. 174. - 1000 экз. - ISBN 978-5-88373-863-9. - Текст (визуальный) : непосредственный.| ГРНТИ | УДК | |
| 02.21 | 16 | |
| 27.03.19 | 510:1 |
Рубрики:
Логика
Математическая логика -- Философские вопросы
Кл.слова (ненормированные): АБСОЛЮТНЫЕ ДОКАЗАТЕЛЬСТВА НЕПРОТИВОРЕЧИВОСТИ -- АРИФМЕТИЗАЦИЯ МЕТАМАТЕМАТИКИ -- ИДЕЯ ОТОБРАЖЕНИЯ
Аннотация: В 1931 году Курт Гёдел опубликовал революционную работу, которая поставила под сомнение некоторые базовые предположения, лежащие в основе многих традиционных исследований в области математики и логики. Сегодня его исследование terra incognita признана одним из главных вкладов в современную научную мысль. Это первая книга, в которой в доступной форме как для ученых, так и для неспециалистов объясняются основные идеи и широкие следствия доказательства Гёделя. Она предлагает любому образованному человеку с логическим и философским вкусом шанс получить подлинное представление о ранее недоступном предмете. В этом новом издании лауреат Пулитцеровской премии Дуглас Р. Хофштадтер пересмотрел и обновил текст этой классической работы, прояснив неясности, сделав аргументы более четкими и доступными. Он также добавил новое предисловие, в котором раскрывает свою личную связь с этой фундаментальной работой и влияние, которое она оказала на его профессиональную жизнь, объясняет суть доказательства Гёделя и показывает, как и почему доказательство Гёделя остается актуальным и сегодня.
Доп. точки доступа:
Ньюман, Джеймс Рой
Волков, В.В.\пер.\
Хофштадтер, Дуглас Р.\авт. предисл.\
Гёдель, Курт Фридрих\ о нем\
Гедель К.Ф.\о нем\
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д11-25/33380)>
Шифр в сводном ЭК: 4ede97510fedb2d621814ddba1e4d97a
Волков В.В. Управление непрерывными процессами в технических системах : учебное пособие / В. В. Волков, И. И. Коновалова, А. Д. Семенов, 2009. - 270 с. - Текст : непосредственный.Волков В.В. Развитие конкурентной среды российского страхового рынка : специальность 08.00.10 "Финансы, денежное обращение и кредит" : автореферат диссертации на соискание ученой степени канд. экон. наук / В. В. Волков, 2009. - 22 с. - Текст : непосредственный.Менеджмент в строительстве / И. С. Степанов, В. В. Волков, В. А. Лукинов, 1999. - 540 с. - Текст : непосредственный.Сопротивление материалов : выставочные материалы / А. Г. Схиртладзе, Б. В. Романовский, В. В. Волков, А. Н. Потемкин, 2012. - 415 с. - Текст : непосредственный.Волков В.В. Краткий справочник ручной электродуговой и газовой сварки / В. В. Волков, 2010. - 44 с. - Текст : непосредственный.Волков В.В. Ультразвуковые рельсовые дефектоскопы / В. В. Волков, 2010. - 37 с. - Текст : непосредственный.Волков В.В. Электробезопасность технологического оборудования : учеб. пособие. Кн. 2 / ред. И. А. Прошин, 2008. - 132 с. - Текст : непосредственный.Волков В.В. Влияние молекулярной ассоциации на мезоморфные и физические свойства некоторых индивидуальных и смешанных нематических жидких кристаллов - производных бензилиденанилина и фенилбензоата и растворов на их основе : специальность 02.00.04 "Физическая химия" : автореферат диссертации на соискание ученой степени канд. хим. наук / В. В. Волков, 2000. - 16 с. - Текст : непосредственный.Волков В.В. Управление непрерывными процессами в технических системах / В. В. Волков, И. И. Коновалова, А. Д. Семенов, 2008. - 269 с. - Текст : непосредственный.
Теоретическая механика. Расчетно-графические задания : учебно-методическое пособие для студентов очной и заочной формы обучения / Министерство науки и высшего образования Российской Федерации, Воронежский государственный технический университет, 2019. - 107 с. - Текст : непосредственный.Волков, В. В. Теория механизмов и машин. Основные положения анализа и синтеза : учебное пособие. Ч. 1, 2010. - 136 с. - Текст : непосредственный.Горное машиностроение. 3(2013) : Машины и оборудование для горно-строительных работ : учеб. пособие / Л. И. Кантович [и др.]; под общ. ред. Г. Ш. Хазановича, 2013. - 445 с. - Текст : непосредственный.Сопротивление материалов : Учеб. пособие / Пензенская гос. технологическая академия. Ч. 1 / В. В. Волков [и др.], 2006. - 187 с. - Текст : непосредственный.Национальная страховая система. Методология формирования, современные тенденции и перспективы развития / Е. И. Ивашкин [и др.]; под ред. И. П. Хоминич, 2010. - 388 с. - Текст : непосредственный.Волков В.В. Ядерно-физические исследования с тяжелыми ионами : избр. работы / В. В. Волков, 2012. - 390 с. - Текст : непосредственный.Волков В.В. Спектроскопия и малоугловое рассеяние в решении обратных задач исследования многокомпонентных систем : автореф. дис. .. д-ра хим. наук: 01.04.18 / В. В. Волков, 2013. - 38 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
Хакинг Я. Почему вообще существует философия математики? / Я. Хакинг; пер. с англ. Целищева В. В., 2020. - 399 с. - Текст : непосредственный.Фреге Г. Основоположения арифметики. Логико-математическое исследование о понятии числа : Пер. с нем. / Г.Фреге, 2000. - 127 с. - Текст : непосредственный.Стролл А. Аналитическая философия. Двадцатый век / Аврум Стролл; [перевод с английского В. В. Целищева], 2020. - 383 с. - Текст : непосредственный.Грей, Джереми. Призрак Платона : модернистская трансформация математики / Дж. Грей; [пер. с англ. В. В. Целищева], 2021. - 623 с. - Текст (визуальный) : непосредственный.Глок, Ганс-Иоганн. Аналитическая философия. Как она есть / Г.-И. Глок; пер. В. В. Целищев, 2022. - 399 с. - Текст (визуальный) : непосредственный.Тасич, Владимир. Математика и корни постмодернистской философии / В. Тасич; [пер. с англ. В. В. Целищев], 2022. - 366 с. - Текст (визуальный) : непосредственный.Шапиро, Стюарт. Философия математики / С. Шапиро; [перевод с англ. В. В. Целищева], 2022. - 511 с. - Текст (визуальный) : непосредственный.Хинтикка, Яакко. Принципы математики. Новый взгляд. Революция в логике? ; Я. Хинтикка, Г. Санду ; [пер. с англ. В. В. Целищев], 2022. - 397 с. - Текст (визуальный) : непосредственный.Целищев, Виталий Валентинович. Алгоритмический ум : ментализм vs механизм в философии математики / В. В. Целищев, 2023. - 512 с. - Текст (визуальный) : непосредственный.Теннант, Ньюл. Укрощение истины : анти-реализм дедуктивного дискурса и познание / Н. Теннант, 2024. - 351 с. - Текст (визуальный) : непосредственный.Ландини, Грегори. Рассел / Грегори Ландини; [перевод с английского В. В. Целищева], 2024. - 479 с. - Текст (визуальный) : непосредственный.Нагель, Эрнест. Доказательство Гёделя / Эрнест Нагель, Джеймс Ньюман, 2025. - 174 с. - Текст (визуальный) : непосредственный.Уилсон, Марк. Блуждающие значения : в двух томах. Т. 1гл. 1-6, 2025. - 519 с. - Текст : непосредственный.Мэдди, Пенелопа. В защиту аксиом. О философских основаниях теории множеств / П. Мэдди, 2026. - 398 с. - Текст (визуальный) : непосредственный.
Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный.Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный.International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный.Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный.Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный.Антюшин С.С. Логика : выставочные материалы / С. С. Антюшин, Н. В. Михалкин, 2013. - 243 с. - Текст : непосредственный.Логические исследования : Сб. ст. / Рос. АН. Ин-т философии. Вып. 15, 2009. - 319 с. - Текст : непосредственный.Бочаров В.А. Основы логики : учебное пособие / В. А. Бочаров, В. И. Маркин, 2008. - 333 с. - Текст : непосредственный.Бирюков Б.В. Проблема логического обоснования дедуктивно-математического знания от античности до ХХ века. Логико-математический и философский аспекты / Б. В. Бирюков, Л. Г. Бирюкова, 2015. - 230 с. - Текст : непосредственный.Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный.Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный.Смирнова Е.Д. Логика и философия / Е. Д. Смирнова, 1996. - 302 c. - Текст : непосредственный.Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный.Никольская И.Л. Знакомство с математической логикой / И. Л. Никольская, 1998. - 128 с. - Текст : непосредственный.Первухин М.А. Теоретико-модельные свойства частично упорядоченных полигонов / М. А. Первухин, 2010. - 18 с. - Текст : непосредственный.Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный.Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный.Кузьмин Е.В. Неклассические логики высказываний : выставочные материалы / Е. В. Кузьмин, 2016. - 158 с. - Текст : непосредственный.
Показать все результатыInternational series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный.Антюшин С.С. Логика : выставочные материалы / С. С. Антюшин, Н. В. Михалкин, 2013. - 243 с. - Текст : непосредственный.Логические исследования : Сб. ст. / Рос. АН. Ин-т философии. Вып. 15, 2009. - 319 с. - Текст : непосредственный.Бочаров В.А. Основы логики : учебное пособие / В. А. Бочаров, В. И. Маркин, 2008. - 333 с. - Текст : непосредственный.Бирюков Б.В. Проблема логического обоснования дедуктивно-математического знания от античности до ХХ века. Логико-математический и философский аспекты / Б. В. Бирюков, Л. Г. Бирюкова, 2015. - 230 с. - Текст : непосредственный.Шульгин А.П. Целесообразное движение.Логика.Механика.Машиноведение.Государствоведение / А. П. Шульгин, 1994. - 48 c. - Текст : непосредственный.Смирнова Е.Д. Логика и философия / Е. Д. Смирнова, 1996. - 302 c. - Текст : непосредственный.Кузьмин Е.В. Неклассические логики высказываний : выставочные материалы / Е. В. Кузьмин, 2016. - 158 с. - Текст : непосредственный.Зиновьев А.А. Очерки комплексной логики / А. А. Зиновьев, 2000. - 557 с. - Текст : непосредственный.Грядовой Д.И. Логика. Общий курс формальной логики : учебное пособие / Д. И. Грядовой, 2010. - 326 с. - Текст : непосредственный.Канке В.А. Философия логики, математики, информатики и синергетики : учебное пособие / В. А. Канке, 2007. - 78 с. - Текст : непосредственный.Паньков А.Ф. Теория развития систем и системная теория логики. Кн. 1, 1993. - 196 с. - Текст : непосредственный.Воронов Е.А. Практический курс логики : монография / Е. А. Воронов, 2013. - 110 с. - Текст : непосредственный.Фреге Г. Логика и логическая семантика : сборник / Г. Фреге, 2000. - 512 с. - Текст : непосредственный.Бочаров В.А. Введение в логику. Университетский курс : учебное пособие / В. А. Бочаров, В. И. Маркин, 2011. - 559 с. - Текст : непосредственный.Ненашев М.И. Введение в логику / М. И. Ненашев, 2004. - 352 с. - Текст : непосредственный.Зарецкая Е.Н. Логика речи для менеджера / Е. Н. Зарецкая, 1997. - 351 с. - Текст : непосредственный.Светлов В.А. Логика : учебное пособие / В. А. Светлов, 2011. - 318 с. - Текст : непосредственный.Кириллов В.И. Логика : учебное пособие / В. И. Кириллов, А. А. Старченко, 2011. - 233 с. - Текст : непосредственный.Бочаров В.А. Основы логики / В. А. Бочаров, В. И. Маркин, 1994. - 272 c. - Текст : непосредственный.
Показать все результатыАнтюшин С.С. Логика : выставочные материалы / С. С. Антюшин, Н. В. Михалкин, 2013. - 243 с. - Текст : непосредственный.Логические исследования : Сб. ст. / Рос. АН. Ин-т философии. Вып. 15, 2009. - 319 с. - Текст : непосредственный.Бочаров В.А. Основы логики : учебное пособие / В. А. Бочаров, В. И. Маркин, 2008. - 333 с. - Текст : непосредственный.Бирюков Б.В. Проблема логического обоснования дедуктивно-математического знания от античности до ХХ века. Логико-математический и философский аспекты / Б. В. Бирюков, Л. Г. Бирюкова, 2015. - 230 с. - Текст : непосредственный.Шульгин А.П. Целесообразное движение.Логика.Механика.Машиноведение.Государствоведение / А. П. Шульгин, 1994. - 48 c. - Текст : непосредственный.Смирнова Е.Д. Логика и философия / Е. Д. Смирнова, 1996. - 302 c. - Текст : непосредственный.Новиков А.М. Методология / А. М. Новиков, Д. А. Новиков, 2007. - 660 с. - Текст : непосредственный.Кузьмин Е.В. Неклассические логики высказываний : выставочные материалы / Е. В. Кузьмин, 2016. - 158 с. - Текст : непосредственный.Зиновьев А.А. Очерки комплексной логики / А. А. Зиновьев, 2000. - 557 с. - Текст : непосредственный.Кокорин А.А. Сравнительный анализ: теория, методология, методика / А. А. Кокорин, 2009. - 150 с. - Текст : непосредственный.Грядовой Д.И. Логика. Общий курс формальной логики : учебное пособие / Д. И. Грядовой, 2010. - 326 с. - Текст : непосредственный.Канке В.А. Философия логики, математики, информатики и синергетики : учебное пособие / В. А. Канке, 2007. - 78 с. - Текст : непосредственный.Паньков А.Ф. Теория развития систем и системная теория логики. Кн. 1, 1993. - 196 с. - Текст : непосредственный.Беляев М.И. Основы милогии / М. И. Беляев, 1999. - 416 с. - Текст : непосредственный.Воронов Е.А. Практический курс логики : монография / Е. А. Воронов, 2013. - 110 с. - Текст : непосредственный.Фреге Г. Логика и логическая семантика : сборник / Г. Фреге, 2000. - 512 с. - Текст : непосредственный.Бочаров В.А. Введение в логику. Университетский курс : учебное пособие / В. А. Бочаров, В. И. Маркин, 2011. - 559 с. - Текст : непосредственный.Интеграционные проекты СО РАН / Российская академия наук. Сибирское отделение. Вып. 40 : Алгоритмы и вычислимость в человеческом познании / Ю. Л. Ершов, В. В. Целищев, 2012. - 503 с. - Текст : непосредственный.Ненашев М.И. Введение в логику / М. И. Ненашев, 2004. - 352 с. - Текст : непосредственный.Мезенцев А.П. Некоторые особенности оценки достоверности научных исследований : учебное пособие / А. П. Мезенцев, В. А. Мезенцев, С. А. Петрушак, 2008. - 155 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽