Cerca in:
Tarski, Alfred
Enciclopedia on line
Logico, matematico e filosofo di origine polacca (Varsavia 1901 - San Francisco 1983), naturalizzato statunitense. Considerato uno dei massimi esponenti della Scuola logica polacca, fu autore di fondamentali [...] di uno spazio topologico e sviluppando ulteriormente la tendenza, già presente nel suo lavoro, a trattare algebricamente problemi metamatematici) e di algebre cilindriche. Da notare infine la sua ripresa del calcolo delle relazioni binarie di E ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Hilbert, David
Enciclopedia on line
{{{1}}}
Matematico tedesco (Königsberg 1862 - Gottinga 1943). È la figura più notevole della matematica della prima metà del Novecento e forse dell'intero secolo. A Königsberg frequentò l'università con [...] coerenza dell'aritmetica attraverso lo studio delle dimostrazioni viste come enti a sé. È questo il nucleo della metamatematica e del programma hilbertiano: la necessità di uno studio "dall'esterno" delle teorie matematiche per assicurare la coerenza ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
CATENA, Pietro
Dizionario Biografico degli Italiani (1979)
CATENA, Pietro
Giulio Cesare Giacobbe
Della sua vita si conoscono pochissimi elementi: nacque a Venezia nel 1501; nel 1547 fu nominato lettore di matematiche presso l'università di Padova (la stessa [...] , Memorie e docum. per la storia della Università di Padova, Padova 1880, I, pp. 63 s.; G. C. Giacobbe, La riflessione metamatematica di P. C., in Physis, XV (1973), 2, pp. 178-196; Id., La riflessione epistemologica rinascimentale: le opere di P. C ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE