Вполне упорядоченная пломбированная капсула времени из Швейцарии.

[furia_krucha]

Comments

[moonwalker72]

Так это Чёрч вроде придумал, нет? Я французьску мову не розумiю, но рекурсивное определение/порождение натуральных чисел это ж его.

[furia_krucha]

Алонзо Самюэлевич придумал как кодировать натуральные числа в лямбда исчислении, насколько я знаю. В любом случае, в 1917 ему было 14 лет.

Россия -- родина натурального ряда! :)

[falcao]

Такой факт, наверное, должны были "поюзать" в годы "борьбы с космополитизмом" :) Правда, статья напечатана на "космополитическом" языке :)

Год написания "наводит" :) Кантор, кстати, был ещё жив! И, наверное, это можно считать наступлением новой "революционной" эпохой, предвосхищающей появление Бурбаки и "свергающей" старую классическую математику, в которой натуральные числа создал Господь Бог! :)

Re: Россия -- родина натурального ряда! :)

[furia_krucha]

Правда, статья напечатана на "космополитическом" языке :)
Ну так Эйлер писал на латыни и вообще был швейцарцем, а оказался „великим русским математиком“. Скорее дело в том, что Дмитрий Семёнович не спешил объединяться с трудовыми массами, а преспокойно жил в Женеве до 45-го года, когда и почил в бозе. Кстати, это он ординалы, а не натуральные числа описывает.

"Иммануил Кант -- наш соотечественник" (с)

[falcao]

Боюсь, что лозунг "Россия -- родина ординалов" мог быть неправильно истолкован трудящимися, поэтому выдвигать его было бы опрометчиво :)

оффтоп

[falcao]

Кстати, меня вот какой вопрос интересует. Можно ли найти в Сети скан работы Бине (около 1840 года), в которой он выводит формулу общего члена для чисел, названных в 1870 году в честь легендарного "Фибоначчи"?