Babbage i Lovelace: maszyna i pierwszy program

🎯 Po co Ci to?

Llull i Leibniz mieli marzenia i szkice. W XIX wieku pojawia się ktoś, kto naprawdę zaprojektował — choć nie do końca zbudował za życia — maszynę zdolną wykonywać dowolne obliczenia według zapisanego z góry planu. A obok niego pojawia się osoba, która jako pierwsza na świecie napisała coś, co dziś nazwalibyśmy programem komputerowym — na długo przed powstaniem jakiegokolwiek elektronicznego komputera. Ta jednostka to historia najważniejszego mechanicznego kroku w stronę realizacji marzenia z Działu 1.

✅ Czego się nauczysz

Po tej lekcji potrafisz:

opisać różnicę między maszyną różnicową a maszyną analityczną Babbage'a;
wyjaśnić, dlaczego maszyna analityczna jest uznawana za koncepcyjnego przodka współczesnego komputera;
opisać wkład Ady Lovelace i wyjaśnić, dlaczego uznaje się ją za pierwszą programistkę w historii.

🔁 Przypomnij sobie

Z Jednostki 4.2: Leibniz marzył o mechanicznym sposobie „obliczania" poprawności rozumowań. Babbage i Lovelace przejdą od marzenia do konkretnego projektu inżynierskiego — maszyny, która potrafi wykonać dowolne obliczenie zapisane jako sekwencja instrukcji.

📘 Wyjaśnienie

Charles Babbage (1791–1871), angielski matematyk i wynalazca, zaczął od problemu bardzo przyziemnego: w jego czasach tablice matematyczne (np. logarytmiczne, używane przez inżynierów, żeglarzy i naukowców) były obliczane ręcznie przez ludzi — i pełne błędów. Babbage zaprojektował maszynę różnicową — mechaniczne urządzenie, które miało automatycznie obliczać i drukować takie tablice, eliminując błędy ludzkiej pracy.

Zachowała się scena założycielska tej historii. Około 1821 r. Babbage i astronom John Herschel ślęczeli nad ręcznie liczonymi tablicami dla Towarzystwa Astronomicznego, porównując dwie kopie pełne rozbieżności. W końcu zirytowany Babbage wykrzyknął: „Dałby Bóg, żeby te obliczenia wykonała para!”. Para wodna była wówczas synonimem wszystkiego, co nowoczesne — napędzała fabryki i lokomotywy; czemu więc nie rachunki? To westchnienie stało się programem na resztę jego życia.

📐 DEFINICJA — maszyna różnicowa Babbage'a: mechaniczne urządzenie liczące, zaprojektowane do automatycznego obliczania i tabelowania wartości wielomianów (m.in. tablic matematycznych) metodą różnic skończonych, bez udziału człowieka w samym obliczaniu.

Po ludzku: mechaniczny kalkulator specjalizujący się w jednym zadaniu: tworzeniu bezbłędnych tablic liczbowych. Czym to NIE jest: to nie była maszyna uniwersalna — potrafiła wykonać tylko jeden, ściśle określony typ obliczeń (metodę różnic skończonych), nie dowolny program.

Babbage był człowiekiem równie genialnym, co trudnym. Prowadził prywatną krucjatę przeciwko ulicznym kataryniarzom (twierdził, że hałas odbiera mu jedną czwartą mocy umysłowej), a w pamiętnikach zanotował pytanie, które dwukrotnie zadali mu parlamentarzyści: „A czy maszyna poda właściwe odpowiedzi, jeśli wprowadzi się do niej błędne dane?". „Nie potrafię pojąć, jaki zamęt pojęć mógł doprowadzić do takiego pytania" — skomentował. Rządowe finansowanie maszyny różnicowej urwało się po wydaniu ponad 17 tysięcy funtów (równowartość kilku okrętów wojennych) i ukończonej maszyny Babbage nigdy nie zobaczył. Zbudowano ją dopiero na przełomie XX i XXI w. — według jego oryginalnych rysunków, w Science Museum w Londynie. Działa bezbłędnie.

Maszyna różnicowa nr 2 Babbage'a w działaniu (Computer History Museum)

Ale prawdziwie rewolucyjny pomysł przyszedł później. Babbage zaprojektował maszynę analityczną — urządzenie znacznie bardziej ambitne niż maszyna różnicowa. Miała ona być uniwersalna: zamiast wykonywać jeden typ obliczeń, miała wykonywać dowolną sekwencję operacji arytmetycznych, zapisaną z góry jako program — na kartach perforowanych, inspirowanych kartami sterującymi krosnami tkackimi Jacquarda.

Krosno żakardowe z kartami perforowanymi (Musée des Arts et Métiers, Paryż) · źródło: fot. David Monniaux, Wikimedia Commons, CC BY-SA 3.0

💭 Pomyśl: Czym różni się urządzenie, które umie wykonać TYLKO jeden konkretny typ obliczeń (jak maszyna różnicowa), od urządzenia, które umie wykonać DOWOLNĄ sekwencję instrukcji zapisaną z góry (jak maszyna analityczna)?

Sprawdź odpowiedź

To dokładnie różnica między urządzeniem specjalizowanym a urządzeniem programowalnym — a to rozróżnienie jest fundamentem całej informatyki! Maszyna różnicowa to jak kalkulator zaprogramowany fabrycznie do jednej operacji — nie da się jej „przeprogramować" do czegoś innego. Maszyna analityczna miała działać jak dzisiejszy komputer: sama „maszyna" (sprzęt) zostaje ta sama, ale to, co ona robi, zależy od zewnętrznie dostarczonego programu (zestawu instrukcji na kartach perforowanych). To rozróżnienie sprzęt/program (ang. hardware/software) jest jedną z najważniejszych idei w historii informatyki — a Babbage sformułował je w latach 30. XIX wieku, na długo przed erą elektroniki.

📐 DEFINICJA — maszyna analityczna Babbage'a: zaprojektowane (choć niezbudowane za życia twórcy w całości) mechaniczne urządzenie liczące ogólnego przeznaczenia, sterowane zewnętrznym programem zapisanym na kartach perforowanych, zdolne wykonywać dowolną sekwencję operacji arytmetycznych, w tym instrukcje warunkowe i pętle.

Po ludzku: pierwszy w historii projekt komputera ogólnego przeznaczenia — programowalny mechanicznie, nie elektronicznie. Czym to NIE jest: maszyna analityczna nigdy nie została w pełni zbudowana za życia Babbage'a (brakowało funduszy i możliwości technicznych XIX-wiecznej mechaniki precyzyjnej) — jej pełną, działającą replikę zbudowano dopiero w XX–XXI wieku, na podstawie zachowanych planów.

Tu na scenę wchodzi Ada Lovelace (1815–1852), matematyczka współpracująca z Babbage'em.

Ada Lovelace, jedyne ślubne dziecko lorda Byrona, nigdy ojca nie poznała — rodzice rozstali się, gdy miała kilka tygodni. Matka, sama utalentowana matematycznie (Byron nazywał ją „księżniczką równoległoboków"), zadbała o ścisłe wykształcenie córki, licząc, że matematyka stłumi w niej ewentualne „poetyckie szaleństwo" po ojcu. Efekt okazał się przewrotny: Ada połączyła jedno z drugim i swoje podejście nazywała „nauką poetycką". Zmarła w wieku 36 lat — dokładnie w tym samym wieku co Byron — i na własne życzenie została pochowana obok niego.

Ada Lovelace — akwarela A.E. Chalona (ok. 1840) · źródło: Wikimedia Commons, domena publiczna

Gdy Lovelace tłumaczyła z francuskiego artykuł włoskiego inżyniera Luigiego Menabrei o maszynie analitycznej, dodała do tłumaczenia własne, znacznie obszerniejsze notatki — dłuższe niż sam oryginalny artykuł. W jednej z tych notatek (znanej jako „Nota G") zawarła coś, co dziś historycy informatyki uznają za pierwszy w historii algorytm zaprojektowany do wykonania przez maszynę — procedurę obliczania liczb Bernoulliego.

„Nota G” — tablica obliczania liczb Bernoulliego z uwag Ady Lovelace (1843), uznawana za pierwszy opublikowany program · źródło: Wikimedia Commons, domena publiczna

📐 DEFINICJA — pierwszy program komputerowy (Nota G Lovelace): szczegółowo zapisana przez Adę Lovelace w 1843 roku sekwencja instrukcji dla maszyny analitycznej Babbage'a, obliczająca liczby Bernoulliego — uznawana za pierwszy w historii algorytm zaprojektowany specjalnie do wykonania przez maszynę.

Po ludzku: pierwszy „kod źródłowy" w historii — zapisany na papierze, dla maszyny, która nigdy nie została w pełni zbudowana. Czym to NIE jest: to nie był program uruchomiony i przetestowany na działającej maszynie (bo taka nie istniała) — istniał wyłącznie jako teoretyczny, choć bardzo precyzyjny, projekt.

Co jeszcze ważniejsze: Lovelace w swoich notatkach poszła dalej niż sam Babbage w rozważaniach o naturze takiej maszyny. Zauważyła, że maszyna analityczna mogłaby operować nie tylko na liczbach, ale na dowolnych symbolach — pod warunkiem, że relacje między nimi dałoby się wyrazić w formie, którą maszyna rozumie. Podała przykład: gdyby relacje między dźwiękami muzycznymi i wysokościami dźwięku dały się wyrazić w ten sam abstrakcyjny sposób co liczby, maszyna mogłaby komponować muzykę.

💭 Pomyśl: Dlaczego ta obserwacja Lovelace — że maszyna mogłaby operować na dowolnych symbolach, nie tylko liczbach — jest tak ważna z perspektywy całej historii AI, którą poznajesz w tej książce?

Sprawdź odpowiedź

To dokładnie ten sam wgląd, który leży u podstaw nogi symboliczno-logicznej AI (Jednostka 3.6): jeśli maszyna manipuluje symbolami w ogólności, a nie wyłącznie liczbami, to w zasadzie może operować na dowolnym rodzaju informacji — słowach, dźwiękach, obrazach, logicznych twierdzeniach — o ile da się je zapisać symbolicznie. To wgląd wyprzedzający swoją epokę o niemal sto lat — dopiero XX-wieczna informatyka w pełni to zrealizuje.

Lovelace była jednak też sceptyczna wobec przesadnych oczekiwań. Napisała słynne zdanie, znane dziś jako zastrzeżenie Lovelace (ang. Lovelace objection): maszyna analityczna „nie rości sobie pretensji do tworzenia czegokolwiek. Może zrobić wszystko, co umiemy jej nakazać" — czyli może wykonywać dokładnie to, co zaprogramuje jej człowiek, ale nie „wymyśli" niczego, czego wcześniej nie zapisano jej w instrukcjach.

⚠️ Uwaga, pułapka

Ani maszyna różnicowa, ani maszyna analityczna nie zostały w pełni zbudowane za życia Babbage'a — brakowało funduszy rządowych (projekt maszyny różnicowej pochłonął ogromne sumy bez ukończenia) i precyzji mechanicznej ówczesnej epoki. To ważna lekcja: przełomowe idee historii AI (i nauki w ogóle) często wyprzedzają technologiczne możliwości swojej epoki o dziesięciolecia, a nawet stulecia. Sam pomysł maszyny analitycznej — komputera ogólnego przeznaczenia sterowanego programem — trzeba było „odkryć na nowo" niemal sto lat później, w XX wieku (poznasz to w Dziale 5, przy okazji Turinga i von Neumanna).

🏛️ Stanowiska — czy Lovelace była „pierwszą programistką"?

Stanowisko afirmatywne (powszechnie przyjęte dziś): Nota G zawiera pierwszy w historii szczegółowo opracowany algorytm przeznaczony do wykonania przez maszynę — to wystarcza, by uznać Lovelace za pierwszą programistkę w historii, niezależnie od tego, że maszyna nigdy nie została zbudowana.
Stanowisko rewizjonistyczne (część historyków techniki): pytają, w jakim stopniu Nota G była samodzielną pracą Lovelace, a w jakim — rozwinięciem pomysłów, które już przedstawiał jej Babbage w rozmowach i korespondencji; podkreślają, że historia nauki rzadko ma jednego, czystego „pierwszego autora" i że wkład Lovelace i Babbage'a był ściśle splecioną współpracą.

Niezależnie od tego sporu — obie strony zgadzają się, że intelektualny wgląd Lovelace w ogólność możliwych zastosowań maszyny analitycznej (nie tylko do liczb) był wyjątkowy i wyprzedzający epokę.

📐 Definicje tej lekcji

Maszyna różnicowa — mechaniczne urządzenie do automatycznego obliczania tablic matematycznych.
Maszyna analityczna — zaprojektowany komputer ogólnego przeznaczenia sterowany programem na kartach perforowanych.
Nota G Lovelace — pierwszy w historii algorytm zaprojektowany do wykonania przez maszynę (1843).
Zastrzeżenie Lovelace — obserwacja, że maszyna wykona tylko to, co zaprogramowano, nie „wymyśli" niczego samodzielnie.

📌 Najważniejsze w pigułce

Charles Babbage zaprojektował maszynę różnicową (specjalizowaną) i maszynę analityczną (programowalną, uniwersalną) — obie niedokończone za jego życia.
Maszyna analityczna to koncepcyjny przodek współczesnego komputera: sterowana zewnętrznym programem, oddzielony sprzęt od oprogramowania.
Ada Lovelace napisała w 1843 roku pierwszy w historii algorytm dla maszyny (obliczanie liczb Bernoulliego) — stąd tytuł „pierwszej programistki".
Lovelace jako pierwsza dostrzegła, że maszyna mogłaby operować na dowolnych symbolach, nie tylko liczbach — ale też sformułowała zastrzeżenie, że maszyna nie „tworzy", tylko wykonuje zaprogramowane instrukcje.

🎒 Zadania

Zadanie 4.3.1. Wyjaśnij różnicę między maszyną różnicową a maszyną analityczną, odwołując się do pojęć „urządzenie specjalizowane" i „urządzenie programowalne".

Sprawdź odpowiedź

Maszyna różnicowa to urządzenie specjalizowane — potrafi wykonać wyłącznie jeden typ obliczeń (tabelowanie wielomianów metodą różnic skończonych), na stałe „wbudowany" w jej konstrukcję mechaniczną. Maszyna analityczna to urządzenie programowalne — ta sama fizyczna maszyna mogłaby wykonywać różne obliczenia w zależności od tego, jaki program (zestaw kart perforowanych) zostałby do niej wprowadzony. To rozróżnienie odpowiada dzisiejszemu podziałowi na sprzęt (hardware) i oprogramowanie (software).

Zadanie 4.3.2. „Zastrzeżenie Lovelace" mówi, że maszyna nie tworzy niczego nowego, tylko wykonuje zaprogramowane instrukcje. Czy zgadzasz się z tym twierdzeniem w odniesieniu do dzisiejszych systemów AI? Uzasadnij krótko.

Sprawdź odpowiedź

To pytanie otwarte, do którego wrócisz w dalszych działach tej książki (m.in. przy dyskusji o dużych modelach językowych i twórczości maszynowej). Argument za zastrzeżeniem Lovelace: nawet najbardziej zaawansowane systemy AI działają na podstawie reguł i danych, które w jakiś sposób „zaprogramował" (lub zebrał i przetworzył) człowiek — nie generują niczego z „niczego". Argument przeciw: niektóre systemy AI produkują wyniki (np. nowe kombinacje słów, obrazów), których żaden konkretny człowiek nie zaprogramował wprost — co niektórzy uznają za formę „nowości", choć wciąż w granicach wyuczonych wzorców. Nie ma jednej poprawnej odpowiedzi — liczy się jakość argumentacji.

Zadanie 4.3.3. Wyjaśnij, dlaczego fakt, że maszyna analityczna nigdy nie została w pełni zbudowana za życia Babbage'a, nie umniejsza jej znaczenia dla historii informatyki i AI.

Pokaż rozwiązanie

Znaczenie historyczne wynika nie z fizycznego istnienia urządzenia, lecz z idei, którą ono ucieleśniało: rozdzielenie sprzętu od programu, uniwersalność (jedna maszyna do dowolnych obliczeń), instrukcje warunkowe i pętle. Te idee — raz sformułowane i zapisane — mogły być odkryte na nowo i rozwinięte przez kolejne pokolenia (co faktycznie się stało w XX wieku, gdy powstały pierwsze elektroniczne komputery). Historia nauki wielokrotnie pokazuje, że przełomowa koncepcja bywa ważniejsza dla dalszego rozwoju niż jej natychmiastowa fizyczna realizacja.

🔍 Sprawdź, czy umiesz

[ ] Opisać różnicę między maszyną różnicową a maszyną analityczną.
[ ] Wyjaśnić, na czym polegał wkład Ady Lovelace i dlaczego nazywa się ją pierwszą programistką.
[ ] Sformułować „zastrzeżenie Lovelace" własnymi słowami.
[ ] Ocenić, dlaczego niezbudowanie maszyny za życia twórców nie umniejsza jej historycznego znaczenia.

Ucz się tej jednostki z asystentem