Matematica inversa: differenze tra le versioni

Versione delle 22:25, 19 mag 2005

Versione attuale delle 19:18, 3 mag 2023

(24 versioni intermedie di 22 utenti non mostrate)

Riga 1:

La '''Matematicamatematica Inversainversa''' è un ramo della [[matematica]] che si occupa di determinare quali sono gli [[assioma|assiomi]] minimi necessari per dimostrare un particolare teorema. Servee apiù in generale cerca di determinare la teoria base che costituisce la matematica nel suo complesso. Partendo da una base di assiomi debole, si può scoprire che molte proposizioni matematiche sono equivalenti all'assioma aggiunto ad essa per dimostrarlo, come ad esempio il [[lemma di Zorn]] rispetto all'[[assioma della scelta]].

La maggior parte della matematica può essere formalizzata usando l'aritmetica del second'ordine e nei famosi teoremi dimostrati in ACA<sub>0</sub >, che è definita nell'[[aritmetica di Peano]] anche se questa è sovrabbondante come assiomi necessari per le dimostrazioni.

Insiemi più ampi dei [[Numero reale|numeri reali]], compresi tutti gli [[Insieme di Borel|insiemi di Borel]], possono essere codificati per mezzo di numeri reali con le relazioni di appartenenza esprimibili con l'[[aritmetica del secondo ordine]]. La differenza primaria fra la matematica classica nella [[teoria degli insiemi]] ([[ZFC]]) e nell'aritmetica del second'ordine è che in quest'ultima si usano codici degli insiemi invece che gli insiemi stessi (tranne che per gli insiemi di numeri interi).

Con una formalizzazione corretta, la maggior parte dei teoremi generali sono effettivamente equivalenti all'assioma canonico minimo richiesto per la loro dimostrazione. La maggior parte dei risultati di base nell'analisi e nell'algebra sono provabili in WKL<sub>0</sub >, la cui consistenza logica equivale a quella dell'aritmetica ricorsiva primitiva e in cui il repertorio di funzioni dimostrabilmente ricorsive consiste delle funzioni ricorsive primitive.

I teoremi aritmetici di base possono essere dimostrati nell'aritmetica di [[funzione esponenziale]] (EFA), che oltre agli assiomi di base per somma, moltiplicazione e l'elevamento a potenza, include l'assioma di induzione per le formule limitate da quantificatori. EFA basta, tra l'altro, per dimostrare che la teoria dei campi reali chiusi, e quindi anche la geometria classica, è completa.

==Collegamenti esterni==

*[{{cita web|1=http://www.math.psu.edu/simpson/sosoa/ |2=Dettagliata introduzione alla Matematica Inversa|lingua=en|accesso=27 (inmaggio inglese)]2004|dataarchivio=4 giugno 2004|urlarchivio=https://web.archive.org/web/20040604042230/http://www.math.psu.edu/simpson/sosoa/|urlmorto=sì}}

{{Portale|matematica}}

[[Categoria:Matematica]]

[[Categoria:MatematicaLogica matematica]]

[[en:Reverse mathematics]]

[[Categoria:Teoria della calcolabilità]]

[[fr:Mathématiques renversées]]