Questa voce sull'argomento matematica è solo un abbozzo.

Contribuisci a migliorarla secondo le convenzioni di Teknopedia. Segui i suggerimenti del progetto di riferimento.

Il teorema di Lawvere (dal nome del matematico Francis William Lawvere) è un teorema di punto fisso nell'ambito della teoria delle categorie.

In particolare, questo teorema consente di ottenere come conseguenza alcuni risultati classici (procedimento diagonale di Cantor, paradosso di Russell, teorema di incompletezza di Gödel).

Siano A e X due insiemi. Sia X^A l'insieme di tutte le funzioni da A in X.

Se esiste una suriezione s da A su X^A, allora ogni funzione ${\displaystyle f\colon X\to X}$ ha un punto fisso.

La dimostrazione utilizza un argomento diagonale.

• Punto fisso (PDF), su disi.unige.it. URL consultato il 23 gennaio 2007 (archiviato dall'url originale il 24 settembre 2006).

Portale Matematica: accedi alle voci di Teknopedia che trattano di matematica