№ | Дата |
Автор |
Заглавие |
---|
|
2003 |
Пенроуз, Роджер (физик ; математик ; род. 1931) |
Новый ум короля : О компьютерах, мышлении и законах физики / Пер. с англ. под общ. ред. Малышенко В.О |
|
2022 |
Антипенко, Леонид Григорьевич (кандидат философских наук ; род. 1935) |
Проблема неполноты математической теории и онтологические предпосылки ее решения / Л. Г. Антипенко |
|
2003 |
Пенроуз, Роджер (физик ; математик ; род. 1931) |
Тени разума в поисках науки о сознании / Пер. с англ. Логунова А.Р., Зубченко Н.А. Ч. 1, Понимание разума и новая физика |
|
2023 |
Целищев, Виталий Валентинович (доктор философских наук ; переводчик ; род. 1942) |
Алгоритмический ум = Algorithmic mind : ментализм vs механизм в философии математики / В. В. Целищев |
|
2020 |
Деменок, Сергей Леонидович (математик ; популяризатор ; род. 1959) |
Просто символ : символ как вещь и вещь как символ / [Сергей Деменок] |
|
2015 |
Хинтикка, Яакко Юхани (философия ; логика ; род. 1929) |
О Гёделе / Яакко Хинтикка. Статьи / Курт Гёдель ; составление, редакция и перевод В. В. Целищева, В. А. Суровцева |
|
2001 |
Хофштадтер, Дуглас (физик ; род. 1945) |
Гедель, Эшер, Бах: эта бесконечная гирлянда / Пер. с англ. Эскиной М.А |
|
2010 |
Murawski, Roman (матэматык ; род. 1949) |
Funkcje rekurencyjne i elementy metamatematyki : problemy zupełności, rozstrzygalności, twierdzenia Gödla / Roman Murawski ; Uniwersytet im. Adama Mickiewicza w Poznaniu |
|
2016 |
Horsten, Leon |
Gödel's disjunction : the scope and limits of mathematical knowledge / Leon Horsten, Philip Welch |
|
2010 |
Гудстейн, Рейбен Луис |
Математическая логика / Р. Л. Гудстейн ; перевод с английского В. С. Чернявского ; под редакцией и с предисловием С. А. Яновской |
|
2013 |
Смаллиан, Рэймонд (род. 1919) |
Вовеки неразрешимое : путь к Геделю через занимательные загадки / Раймонд Смаллиан ; [перевод с английского В. В. Целищева] |
|
2018 |
Смаллиан, Рэймонд (род. 1919) |
Вовеки неразрешимо : головоломное руководство по Геделю / Реймонд Смаллиан ; [перевод с английского П. И. Быстрова] |