РазноеЯ – странная петлястр 351
Светлый фон
она успешно попалась бы в ту же гёделевскую ловушку…

228 это называлось «программой Гильберта»… См. [DeLong], [Wolf], [Kneebone] и [Wilder].

это называлось «программой Гильберта»…

232 В этом невероятно приятном, но крайне маловероятном сценарии… [DeLong], [Goodstein] и [Chaitin] рассматривают негёделианские формулы, которые неразрешимы по гёделианским причинам.

В этом невероятно приятном, но крайне маловероятном сценарии

234 Надежного разделителя на принципиальное/нахальное… не может существовать… В [DeLong], [Boolos and Jeffrey], [Jeffrey], [Goodstein], [Hennie], [Wolf] и [Hofstadter 1979] можно найти обсуждение многих ограничивающих выводов вроде этого (который является теоремой Чёрча).

Надежного разделителя на принципиальное/нахальное… не может существовать

234 Один из последних гвоздей… вбил логик Альфред Тарский… В [Smullyan 1992] и [Hofstadter 1979] можно найти обсуждение глубоких выводов Тарского. В последнем рассмотрен новаторский подход к классическому парадоксу лжеца («Это высказывание ложно») с использованием идей Тарского, где средой является человеческий мозг, а не аксиоматическая система.

Один из последних гвоздей… вбил логик Альфред Тарский

235 что походит на своего рода перевернутую причинность… В [Andersen] можно найти подробное техническое обсуждение обратной причинности. Менее техническое обсуждение находится в [Pattee] и [Simon]. См. также Главы 11 и 20 в [Hofstadter and Dennett], особенно «Размышления». [Laughlin] приводит потрясающую аргументацию тезиса, что в физике макроскопическая арена фундаментальнее и «глубже», чем микроскопическая.

что походит на своего рода перевернутую причинность…

238 сохраняя лишь высокоуровневую картину процесса информационных манипуляций… См. [Monod], [Berg and Singer], [Judson] и Главу 27 в [Hofstadter 1985].

сохраняя лишь высокоуровневую картину процесса информационных манипуляций…

241 о соответствующих символах в наших мозгах… Осторожное обсуждение этого явления можно найти в [Hofstadter 1979], особенно в диалоге «Прелюдия… и Муравьиная фуга» и Главах 11 и 12.

о соответствующих символах в наших мозгах…

242 запретного и недоступного уровня кварков и глюонов… Попытки объяснить эти крайне замысловатые понятия можно найти в [Weinberg 1992] и [Pais 1986].

запретного и недоступного уровня кварков и глюонов…

242 лишь чуть более доступного уровня генов… См. [Monod], [Berg and Singer], [Judson] и Главу 27 («Генетический код: произвольный?»[45]) в [Hofstadter 1985].

лишь чуть более доступного уровня генов…

244 лучше всего мы умеем понимать наши собственные действия… См. [Dennett 1987] и [Dennett 1998].