Bertrand, Joseph-Louis-François
Enciclopedia on line
Matematico (Parigi 1822 - ivi 1900). Dal 1856 al 1896 fu professore di analisi matematica all'École polytechnique. Si occupò di geometria, di meccanica (similitudine meccanica, legge di gravitazione), [...] di storia della scienza (astronomia). Ha lasciato un classico Traité de calcul différentiel et de calcul intégral (1864-70) e trattati di aritmetica e di algebra elementare. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Kleene, Stephen Cole
Enciclopedia on line
Matematico e logico matematico statunitense (Hartford, Connecticut, 1909 - Madison, Wisconsin, 1994). Dal 1935 al 1979 prof. all'univ. di Wisconsin, a Madison; dal 1969 fu membro della National academy [...] le funzioni parziali ricorsive per le quali dimostrò il teorema di recursione. Stabilì, per i predicati dell'aritmetica, una gerarchia a seconda del minimo numero di quantificatori alternati (esistenziale e universale) necessarî per la loro ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
FIOR, Antonio Maria
Dizionario Biografico degli Italiani (1997)
FIOR, Antonio Maria
Gabriella Belloni Speciale
Nacque da Pellegrino, maestro, a Venezia, nell'ultimo quarto del sec. XV.
Per certo si ha notizia che, nei primi anni del '500, il F. frequentò a Bologna [...] le lezioni di S. Dal Ferro, lettore, in quella città, di aritmetica e geometria dal 1496 al 1526. Secondo la testimonianza di G. Cardano, proprio in qualità di discepolo del Dal Ferro, il F. ebbe modo di apprendere da lui, fors'anche in via ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Scòrza, Bernardino Gaetano
Enciclopedia on line
Matematico (Morano Calabro 1876 - Roma 1939). Prof. (dal 1912) di geometria nelle univ. di Cagliari, Parma, Catania, Napoli, e infine (dal 1935) di Roma, dove succedette a G. Castelnuovo nella cattedra [...] ; fu senatore e socio nazionale dei Lincei (1937). Partito da problemi di geometria algebrica, sviluppò la teoria aritmetica delle funzioni abeliane, che egli chiamò teoria delle matrici di Riemann. Egli la collegò genialmente alla teoria delle ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Ackermann, Wilhelm
Enciclopedia on line
Logico matematico (Schönebecke, Altena, 1896 - Lüdenscheid 1962). Prof. all'università di Münster (dal 1953), membro dell'Accademia delle Scienze di Gottinga. Prima allievo poi collaboratore di D. Hilbert, [...] i Grundzüge der theoretischen Logik (1928, 4a ed. 1958). Del 1940 è la sua celebre dimostrazione della coerenza dell'aritmetica, in cui introdusse anche il concetto di "ricursione transfinita". Nel 1951 dette una versione costruttiva di un segmento ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Albèrti, Giuseppe Francesco Antonio
Enciclopedia on line
Perito di agrimensura, di architettura e d'idrostatica (Bologna 1712 - Perugia 1768); collaborò a importanti lavori idraulici e catastali nell'Emilia e nell'Umbria. Scrisse, tra l'altro, le Istruzioni [...] pratiche per l'ingegnere civile o sia perito agrimensore e perito d'acque (1748; 9a ed. 1840), un Trattato d'aritmetica pratica (1752) e un Trattato della misura delle fabbriche (1757). Ideò e costruì strumenti topografici, tra cui una particolare ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Gèmino di Rodi
Enciclopedia on line
Scienziato greco fiorito verso il 70 a. C. Stoico, cercò di volgarizzare le dottrine meteorologiche di Posidonio. Resta di lui una Εἰσαγωγὴ εἰς τὰ ϕαινόμενα ("Introduzione ai fenomeni") con influenze da [...] lui risalgono la prima critica dei principî delle matematiche e la divisione organica delle scienze matematiche in pure (aritmetica e geometria) e applicate (logistica, armonia, ottica, meccanica, astronomia). La sua opera Sulla teoria delle scienze ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Ahmòse
Enciclopedia on line
Nome di varî personaggi dell'antico Egitto. 1. Scriba egiziano (più noto nella variante Ahmes) che copiò, intorno al 1600 a. C., i calcoli matematici contenuti nel papiro Harris, facenti parte di un'opera [...] che risale, per dichiarazione dello stesso A., al 1850-1800 a. C.; in essa sono trattati problemi di aritmetica (con uso delle frazioni), problemi di algebra traducibili in equazioni di 1º grado, calcoli di aree e volumi. 2. Faraone egiziano della ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Denjoy, Arnaud
Enciclopedia on line
Matematico francese (Auch, Gers, 1884 - Parigi 1974), professore dal 1925 all'univ. di Parigi; il suo nome è soprattutto legato a una generalizzazione dell'integrale di Lebesgue, col sussidio della quale [...] D. è riuscito a determinare le primitive delle funzioni derivate, finite in ogni punto. È anche noto per i suoi studî sull'aritmetica dei numeri transfiniti. Tra le sue opere: Un demi-siècle (1907-1956) de notes communiquées aux académies de Paris, d ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Peano, Giuseppe
Enciclopedia on line
Matematico (Cuneo 1858 - Torino 1932), prof. di calcolo infinitesimale alla univ. (dal 1890) e all'Accademia militare di Torino, socio nazionale dei Lincei (1929); uno dei maggiori matematici italiani [...] costruzione di un utile e rigoroso formalismo logico; la rigorosa critica logico-formale dei fondamenti dell'aritmetica, della geometria proiettiva, della teoria generale degli insiemi; il primo esempio d'integrazione per approssimazioni successive ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE