teoremi di incompletezza

I due teoremi pubblicati da Kurt Gödel a Vienna nel 1931: in ogni sistema formale abbastanza potente da contenere l’aritmetica esistono enunciati veri che il sistema non dimostra, e il sistema non può dimostrare la propria coerenza. La lettura corrente ne fa un limite assoluto della conoscenza. Nel sito entrano con la lettura opposta di Alexander Gheorghiu: limitano una particolare edizione di un sistema, e ogni estensione fedele ne apre un’altra.