Francis William Lawvere
Da Wikipedia, l'enciclopedia libera.
Francis William Lawvere (Muncie, 9 febbraio 1937) è un matematico statunitense, noto per il suo lavoro nella teoria delle categorie e nella filosofia della matematica..
Ha ottenuto il Ph.D. in matematica nel 1963 presso la Columbia University e attualmente insegna all'Università di Buffalo.
In particolare, il teorema di punto fisso di Lawvere consente di ottenere come conseguenza alcuni risultati classici (Procedimento diagonale di Cantor, paradosso di Russell, teorema di incompletezza di Gödel).
[modifica] Fonti
Vedi articolo: 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.
[modifica] Collegamenti esterni
- Home page nel sito della University at Buffalo
