III secolo a.C.Euclide e la procedura ripetibile
Il Libro VII degli Elementi descrive una procedura per trovare il massimo comune divisore mediante passaggi definiti e ripetibili.
Collegamento moderno: una procedura precisa, finita e ripetibile è alla base di un algoritmo.
Fonte: Euclide, Elementi, Libro VII — Perseus ↗
III secolo a.C.Il crivello di Eratostene
La procedura individua i numeri primi eliminando progressivamente quelli che non soddisfano la condizione.
Collegamento moderno: filtrare casi non validi ricorda regole, filtri e controlli di un workflow.
Fonte: MacTutor, Storia dei numeri primi ↗
IV secolo a.C.Aristotele: categorie e inferenza
La logica aristotelica organizza forme di inferenza; le Categorie propongono una struttura per distinguere tipi generali di enti e predicazioni.
Collegamento moderno: classificare concetti, rappresentare regole e distinguere premesse da conclusioni.
Applicare correttamente una regola significa comprendere?
Fonte: Stanford Encyclopedia of Philosophy, Aristotle’s Logic ↗
Fonte: Stanford Encyclopedia of Philosophy, Aristotle’s Categories ↗
II–I secolo a.C.Il meccanismo di Anticitera
Un complesso dispositivo a ingranaggi rappresentava informazioni di calendario e astronomiche ed eseguiva calcoli relativi a cicli celesti.
Collegamento moderno: un modello del mondo può essere incorporato in un dispositivo che trasforma impostazioni iniziali in un risultato calcolato.
Non apprendeva dai dati e non era intelligenza artificiale: eseguiva relazioni progettate dall’uomo.
Fonte: Nature Astronomy, Our current knowledge of the Antikythera Mechanism ↗
I secolo d.C.Erone di Alessandria e gli automi
Il trattato Automata descrive dispositivi meccanici capaci di eseguire sequenze progettate in anticipo, compresi automi mobili e rappresentazioni teatrali.
Collegamento moderno: una sequenza preparata viene eseguita automaticamente nello stesso ordine, analogia utile per comprendere l’automazione ma non il machine learning.
Fonte: University of Glasgow, edizione critica degli Automata ↗