METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] finitistiche, uniche attendibili - per il Brouwer - a livello di ragionamento matematico. Nella geniale sintesi così difficoltà quanto dal teorema d'incompletezza di Gödel.
La metamatematica di Gödel. - La novità del metodo metamatematico di K. Gödel ...
Leggi Tutto
THOM, René
Carlo Cattani
Matematico francese, nato a Montbéliard (Doubs) il 2 settembre 1923. Compiuti gli studi all'Ecole Normale Supérieure (1943-46), è stato ricercatore al Centre national des recherches [...] al Congresso internazionale dei matematici di Edimburgo (1958). T. ha ricevuto, inoltre, la medaglia Brouwer (1970) e il Grand , anche della teoria delle catastrofi (v. catastrofi, teorema delle, in questa Appendice), ha rivolto la sua opera ...
Leggi Tutto
MIRANDA, Carlo
Franco Palladino
Nacque a Napoli il 15 ag. 1912 da Giovanni, medico e professore all’Università di Napoli (di cui fu rettore nel 1921-23) e da Elena Nimmo.
Compiuti gli studi secondari, [...] equazioni ellittiche a coefficienti discontinui, per i teoremidi immersione, per lo studio delle trasformazioni integrali di L. Brouwer, J.P. Schauder, J. Leray e Caccioppoli. Di notevole pregio, poi, fu la monografia Equazioni a derivate parziali di ...
Leggi Tutto