Versione delle 12:43, 22 lug 2014 modifica Jalo (discussione \| contributi) Utenti autoverificati 122 573 modifiche Nessun oggetto della modifica ← Differenza precedente		Versione delle 14:45, 3 apr 2015 modifica annulla Horcrux (discussione \| contributi) Amministratori dell'interfaccia, Amministratori 168 723 modifiche m added Category:Teoria della calcolabilità usando HotCat Differenza successiva →
Riga 1: La '''~~Matematica~~matematica ~~Inversa~~inversa''' è un ramo della [[matematica]] che si occupa di determinare quali sono gli [[assioma\|assiomi]] minimi necessari per dimostrare un particolare teorema e più 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. Riga 16: [[Categoria:Logica matematica]] [[Categoria:Teoria della calcolabilità]]

Matematica inversa: differenze tra le versioni