Легенда:
 новое сообщение
 закрытая нитка
 новое сообщение
 в закрытой нитке
 старое сообщение
|
- Напоминаю, что масса вопросов по функционированию форума снимается после прочтения его описания.
- Новичкам также крайне полезно ознакомиться с данным документом.
насколько я понял, А. Иличевский - это и есть легендарный Urix.. 09.03.04 18:42 Число просмотров: 1778
Автор: zelych Статус: Member
|
ну тогда опять ему не повезло: эта статья Успенского вышла ещё в далёком 1982 году в серии "Популярные лекции по математике".
Впридачу ко всему там было и доказательство, даже два и всякие начальные сведения из теории алгоритмов, формальной арифметики и т.п. (брошюрка на школьников была рассчитана).
П.С. небольшая поправка со страницами:
* Vladimir A. Uspensky: Gödel's Incompleteness Theorem. 239-319
а вовсе не "pp.273-238."
|
|
|
подробно о проекте
Анализ криптографических сетевых...
