Matematico e logico russo (Pietroburgo 1903 - Mosca 1979), figlio del precedente. Il suo nome è legato agli algoritmi normali o di M., alla computabilità secondo M., che è equivalente alla ricorsività, [...] in un alfabeto A sono pienamente equivalenti, relativamente ad A, a qualche algoritmo normale su A". Nella sua teoria degli algoritmi M. usa la logica intuizionista con l'aggiunta di una regola di esistenza potenziale (regola di M.). M. ha anche ...
Leggi Tutto
Matematico (Roma 1889 - ivi 1975), fratello di Gaetano; prof. univ. dal 1923, insegnò a Milano e a Bologna; dal 1927 prof. di geometria analitica e descrittiva a Roma; socio nazionale dei Lincei (1947), [...] differenziale come è coltivata in Italia, di cogliere l'essenza geometrica delle questioni, al di là degli sviluppi algoritmici talvolta inevitabili; il B. è riuscito a "geometrizzare" larga parte della teoria delle equazioni differenziali e a ...
Leggi Tutto
Scienza greco-romana. Diofanto di Alessandria
Roshdi Rashed
Diofanto di Alessandria
Nel corso degli ultimi decenni la nostra conoscenza dell’opera di Diofanto di Alessandria è cambiata in maniera considerevole, [...] tutt’altra cosa, invece, è ricorrere a queste nozioni e a questo linguaggio per individuare i metodi e gli algoritmi senza però attribuirvi i significati geometrici che hanno attualmente. Quest’ultima posizione ci sembra la più corretta, a condizione ...
Leggi Tutto
FONTANA, Giovanni Battista Lorenzo (in religione Gregorio)
Ugo Baldini
Nacque a Nogaredo nella Val d'Adige, presso Rovereto, il 19 dic. 1735, quarto dei nove figli di Pietro, notaio, e di Elena Caterina [...] a misure o alla teoria degli strumenti, ma oltre a tematiche pure toccò questioni applicative e aspetti algoritmici di discipline sperimentali (dinamica, ottica, idraulica, biomeccanica, teoria degli errori sperimentali, statistica). Il suo orizzonte ...
Leggi Tutto
algoritmista
s. m. [der. di algoritmo] (pl. -i). – Nome con cui sono indicati i seguaci, nell’Europa occidentale dei secoli 12°-13°, delle nuove regole di calcolo contenute nel trattato di al-Khuwārizmī: si distinguevano per l’abbandono dell’abaco...