La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] ogni enunciato della forma ∃xφ(x), se T⊦∃xφ(x) allora per qualche numero naturale n si ha che T⊬¬φ(n); diciamo che T è ω-incoerente di ordine superiore come quelli di numeroordinale e di buon ordinamento degli ordinali; lo stesso vale per le altre ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I problemi di Hilbert e la matematica del nuovo secolo
David E. Rowe
I problemi di Hilbert e la matematica del nuovo secolo
Problemi matematici [...] matematici di primo piano, compreso Poincaré, avevano espresso forti riserve sulla teoria cantoriana dei numeri transfiniti, cardinali e ordinali.
L'influente matematico berlinese Leopold Kronecker (1823-1891) arrivò a rifiutare ogni concezione dei ...
Leggi Tutto
ordinale
agg. [dal lat. tardo (dei grammatici) ordinalis, der. di ordo -dĭnis «ordine»]. – Che indica un ordine, una progressione: numeri o. (o, assol., gli o. s. m. pl.), quelli che esprimono il posto, ossia il «numero d’ordine», occupato...
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...