Ада Лавлейс описала покроковий план операцій для Аналітичної машини Беббіджа — перша in-history комп'ютерна програма
Числа Бернуллі (перші)
B₀=1, B₁=−½, B₂=1/6, B₄=−1/30, B₆=1/42
Коефіцієнти в розкладах степеневих сум: 1^m+2^m+…+n^m = функція від B(k).
Цикл (петля) в алгоритмі
Ада ввела поняття циклу (loop) і умовного переходу
Нотатка G містить конструкцію: підраховуємо ітерацію від n=1 до m — аналог сучасного for-циклу.
Формула суми степенів
Σk=1..n k^2 = n(n+1)(2n+1)/6
Машина Беббіджа мала обчислювати такі суми автоматично за заданими коефіцієнтами.
Мова Ada (1980)
type Matrix is array(1..N, 1..M) of Float;
Мова програмування Ada, названа на честь Лавлейс — стандарт НАТО/DoD для надійних вбудованих систем.
💡 Нотатка G — перший алгоритм (1843)
Ада Лавлейс перекладала статтю Менабреа про Аналітичну машину Беббіджа і додала 7 нотаток (A–G), що вдвічі перевищували обсяг оригіналу.
У Нотатці G вона описала алгоритм обчислення чисел Бернуллі — послідовність операцій над змінними (операнди, карти операцій, карти змінних) у точній відповідності до принципів сучасного програмування.
Ключові інновації: цикл (петля), умовний перехід (еквівалент if/goto), підпрограма й поняття змінної (значення якої змінюється під час обчислення).
Псевдокод алгоритму Ади (Нотатка G, simplified):
VARIABLES: B0=1, B2, B4, ... Bm (числа Бернуллі)
A (поточні коефіцієнти), n (лічильник)
STEP 1: n ← 1
STEP 2: COMPUTE A(n) = −Σ C(n+1,k)·B(k) / (n+1), k=0..n−1
STEP 3: STORE B(n) ← A(n)
STEP 4: n ← n+1
STEP 5: IF n ≤ m THEN GOTO STEP 2 ← ЦИКЛ!
STEP 6: OUTPUT B(0), B(2), B(4), ..., B(m)
🔬 Відкриття та внески
1843 — Нотатка G
Перший комп'ютерний алгоритм
Алгоритм обчислення чисел Бернуллі для Аналітичної машини. Містить цикл, умовний перехід, концепцію підпрограми.
1843 — Нотатка A
Різниця між машиною Беббіджа та калькулятором
Ада пояснила: АМ не просто обчислює — вона маніпулює символами. Провісниця символьних обчислень та ШІ.
1843 — Нотатка E/F
Концепція пам'яті та операцій
Розрізняла «Store» (пам'ять — колонки з шестернями) та «Mill» (процесор), що відповідає сучасному RAM/CPU.
1843 — Нотатка G, фраза
Межі штучного інтелекту
«Машина не може нічого породжувати оригінально» — відома як «Заперечення Ади», яке Тюрінг розглянув у 1950 р.
🕐 Хронологія
1815
Народилась Августа Ада Байрон у Лондоні. Донька поета Джорджа Байрона.
1828
Малює «Крилатий корабель» і розраховує аеродинаміку — перша інженерна робота у 13 років.
1833
Знайомство з Чарльзом Беббіджем. Захоплення Різницевою машиною.
1835
Виходить заміж за лорда Лавлейса (граф Лавлейс). Офіційне ім'я: Ада Лавлейс.
1842–1843
Перекладає статтю Менабреа про Аналітичну машину з французької. Додає 7 нотаток A–G.
1843
Публікує «Нотатки Трансляторки» (A.A.L.). Нотатка G — перший алгоритм у світі.
1852
Померла від раку матки у 36 років. Похована поруч з батьком Байроном.
1953
Нотатки перевидано. Визнано першим програмістом ретроспективно.
1980
Мова програмування Ada від US DoD — названа на честь Ади Лавлейс.
📜 Цитати та спадщина
Про машину (1843)
«Вона може діяти на все, відносини між якими можна виразити у вигляді операцій»
Ада передбачила, що АМ може обробляти не лише числа, а й музику, символи — будь-що, що піддається формалізації.
День Ади Лавлейс
Відзначається щорічно
Кожного жовтня (другий вівторок) — міжнародне свято жінок у STEM-галузях. Вшановують її внесок у розвиток обчислень.
Відповіді на найпоширеніші питання про першого програміста в історії.
Чому Аду Лавлейс вважають першим програмістом? +
У 1843 р. Ада перекладала статтю про Аналітичну машину Беббіджа і додала сім нотаток (A–G), обсягом у 3 рази більших за оригінал. Нотатка G — перший у світі алгоритм, записаний для обчислення чисел Бернуллі. Це покрокова процедура з циклами та умовними переходами — прообраз комп'ютерної програми, написаний за 100 років до появи перших ЕОМ.
Що обчислював алгоритм Ади з 1843 року? +
Алгоритм Ади обчислював числа Бернуллі Bₙ — раціональні числа, що виникають у формулах для степеневих сум і розкладах тригонометричних функцій. Метод використовував рекурентну формулу через попередні члени. Алгоритм містив перехід по умові, цикли та зберігання проміжних значень — усі ключові концепції сучасного програмування.
Що таке Аналітична машина Беббіджа? +
Аналітична машина (1837) — механічний загальнообчислювальний комп'ютер, спроєктований Чарльзом Беббіджем: «млин» (арифметичний пристрій), «сховище» (пам'ять на 1000 50-розрядних чисел), перфокартки для програм і даних. Ніколи не була побудована через брак точного машинобудування епохи та фінансування. У 1991 р. Музей науки у Лондоні завершив Різницеву машину №2 за оригінальними кресленнями.
Чи передбачила Ада Лавлейс штучний інтелект? +
Ада чітко написала: «Аналітична машина не може робити нічого, що ми не знаємо, як їй наказати» — «застереження Ади». Це обережне обмеження, а не передбачення ШІ. Алан Тьюрінґ у 1950 р. прямо посилався на нього у відомій статті про тест Тьюрінґа. Застереження Ади й досі є центральним аргументом у дискусіях: чи може машина «думати» самостійно?
Яка мова програмування Ada і де вона використовується? +
Мова Ada розроблена за замовленням Міністерства оборони США у 1979–1983 рр. та стандартизована як ANSI/MIL-STD-1815. Призначена для критично важливих вбудованих систем: авіоніка (Boeing, Airbus), залізничне управління, медичне обладнання, ракетна техніка (Ariane). Версія Ada 2022 — актуальний стандарт. Активно підтримується і використовується у галузях, де надійність важливіша за швидкість розробки.
Внесок у науку
Цей вчений залишив глибокий слід у розвитку науки та технологій. На цій сторінці зібрані ключові відкриття, цитати та концепції, пов'язані з його науковою спадщиною.
Цей піонер інформатики заклав теоретичні або практичні основи обчислень, що використовуються у кожному процесорі та програмі сьогодні.
Чому важливо знати цього вченого
Розуміння внеску видатних вчених допомагає зрозуміти логіку розвитку науки. Їхні методи мислення, підходи до проблем і наукова стійкість — безцінний приклад для кожного дослідника і студента.