Некоторые из них оказались весьма интересными, и о них я надеюсь рассказать в своей следующей книге.
8
«Uber formal unentscheidbare Satze der «Principia Mathematica» und verwandter Systeme'I» («О формально неразрешимых предложениях «Принципов математики» и других родственных систем»), Моnatshefte fur Mathematik und Physik, 38, 173–198.
9
Выборочный перевод автора.
10
Смальян Р. Теория формальных систем. Пер. с англ. — М.: Наука, 1981.
11
Амброз Бирс (1842–1914) — американский писатель. На русский язык неоднократно переводились его рассказы. — Прим. Перев.
Вы читаете Принцесса или тигр
×