Francis William Lawvere
Francis William Lawvere (Muncie, 9 febbraio 1937 – Chapel Hill, 23 gennaio 2023) è stato un matematico statunitense, noto per i suoi lavori nella teoria delle categorie, sulla teoria dei topoi e nella filosofia della matematica.
Biografia
[modifica | modifica wikitesto]Ha ottenuto il Ph.D. in matematica nel 1963 presso la Columbia University e insegnava all'Università di Buffalo, nello stato di New York.
È noto, in particolare, per il teorema di punto fisso che porta il suo nome (ossia il teorema di Lawvere), che consente di ottenere come conseguenza alcuni risultati classici (Procedimento diagonale di Cantor, paradosso di Russell, teorema di incompletezza di Gödel).
Bibliografia
[modifica | modifica wikitesto]- Jorge Soto-Andrade and Francisco J. Varela, Self-reference and fixed points: A discussion and an extension of Lawvere's Theorem, Acta Applicandae Mathematicae, Volume 2, Number 1 March, 1984.
Altri progetti
[modifica | modifica wikitesto]
Wikimedia Commons contiene immagini o altri file su Francis William Lawvere
Collegamenti esterni
[modifica | modifica wikitesto]- (EN) F. W. Lawvere, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
- (EN) Francis William Lawvere, su Mathematics Genealogy Project, North Dakota State University.
- Home page Archiviato il 10 maggio 2016 in Internet Archive. nel sito della Università di Buffalo
| Controllo di autorità | VIAF (EN) 51665022 · ISNI (EN) 0000 0001 2279 8138 · LCCN (EN) n85170090 · GND (DE) 108079104 · BNF (FR) cb12400381s (data) · J9U (EN, HE) 987007447639505171 |
|---|
