Comments 10
Не совсем понял, автор осознал существование дискретной математики?
Ада Лавлейс, ученица Огастеса Де Моргана
Если не секрет где это можно прочесть, то что она фактически являлась помощницей Чарльза Бэббиджа известный факт, сохранилась переписка и первые программы.
На вики есть (привожу английскую статью, потому что на ру-вики какая-то белиберда с фактами, Де Морган там например назван шотландским математиком почему-то и другие шероховатости есть).
In the 1840s, the mathematician Augustus De Morgan extended her "much help in her mathematical studies" including study of advanced calculus topics including the "numbers of Bernoulli" (that formed her celebrated algorithm for Babbage's Analytical Engine).[40] Morgan suggested that Ada's skill in mathematics might lead her to become "an original mathematical investigator, perhaps of first-rate eminence".[41]
А так Де Морган довольно высоко оценивал математические способности Ады, даже без привязки к ее полу, это он писал ее матери в конфиденциальном письме. И переписка Ады и Де Моргана тоже вполне сохранилась и есть в цифре.
Автор на таком вайбере, типа докопался до ядра машины, а он оказался шлюзом в математическое пространство, где компьютер лишь одна из бесчисленного множества структур
Так автор и до кватернионов дойдет
И самое удивительное здесь в том, что эта воображаемая модель часто с поразительной точностью предсказывает процессы, которые происходят в мире настоящем.
Ричард Хэмминг: «Необъяснимо высокая эффективность математики»
Можно еще взглянуть на лямбда-исчисление с комбинаторами, а там и до теории типов с категориями рукой подать ;)
Статья похожа на явку с повинной
Спустя 6 лет я докопался до ядра компьютера, и там была математическая формула