Francis William Lawvere
Da Wikipedia, l'enciclopedia libera.
Francis William Lawvere è un matematico 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 Godel).
[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] Voci correlate
Testi su teoria delle categorie e algebra omologica