Edsger Dijkstra
Più info
- Nascita
- Morte
- Noto per
- Algoritmo di Dijkstra, semafori, programmazione strutturata
- Premi
- Premio Turing 1972
L'olandese che trasformò la programmazione in una disciplina matematica — con una schiettezza che lo rese tanto citato quanto temuto.
Nel 1956 ideò l'algoritmo del cammino minimo in una ventina di minuti, in un caffè di Amsterdam, senza carta né penna. Introdusse i semafori e formulò il problema dei filosofi a cena, ancora oggi usato per insegnare il deadlock. La sua lettera del 1968 «Go To Statement Considered Harmful» diede il via al movimento della programmazione strutturata.
Scriveva i suoi articoli a mano e li numerava EWD; ne restano più di mille. Le sue formule sono celebri: il collaudo può mostrare la presenza dei difetti ma mai la loro assenza, e chiedersi se le macchine possano pensare è interessante quanto chiedersi se i sottomarini sappiano nuotare.