Francis William Lawvere

William Lawvere în 2003

Francis William Lawvere ( Muncie , 9 februarie 1937 ) este un matematician american , cunoscut pentru lucrările sale în teoria categoriilor , în teoria topoilor și în filosofia matematicii .

Biografie

Și-a luat doctoratul în matematică în 1963 de la Universitatea Columbia și predă la Universitatea din Buffalo , New York .

Este cunoscut, în special, pentru teorema punctului fix care își poartă numele (adică teorema lui Lawvere ), care permite obținerea ca o consecință a unor rezultate clasice ( procedura diagonală a lui Cantor , paradoxul lui Russell , teorema incompletitudinii lui Gödel ).

Bibliografie

• Jorge Soto-Andrade și Francisco J. Varela, Auto-referință și puncte fixe: O discuție și o extensie a teoremei lui Lawvere , Acta Applicandae Mathematicae , Volumul 2, Numărul 1 martie 1984.

Alte proiecte

• Wikimedia Commons conține imagini sau alte fișiere despre Francis William Lawvere

linkuri externe

• Pagina principală pe site-ul Universității din Buffalo

Portal Biografii

Portalul de matematică