Un tiurema hè una parolla d'origine greca chì a pruposta chì indica una verità per un certu campu di a scienza, chì hà a particularità di esse dimustrèvule ricorrendu à altre pruposte dimustrate prima, chjamate assiomi. Tipicamente i teoremi sustenenu e scienze chjamate «esatta’, soprattuttu u 'formale' (matematica, logica), chì sò quelli chì usanu elementi ideali per tirà cunclusioni generali.
U penseru daretu à u cuncettu di un teorema hè chì, fintantu chì queste sò fundate nantu à pruposte vere articulate logicamente è currettamente, ciò chì u teorema sprime hè una verità di validità assoluta. Hè precisamente ciò chì li permette di serve da sustegnu à u sviluppu di qualsiasi teoria scientifica, senza a necessità di dimustralla torna.
A qualità centrale di i teoremi hè u so caratteru di logicu. In generale, è dinò in cunfrontu cù altri tippi di cunniscenza scientifica (cum'è quelli chì sò produtti per inferenza o osservazione), a so origine hè da l'esecuzione di una procedura logica chì pò esse facilmente ordinata. In questu sensu, i teoremi partenu da a ipotesi fundamentale, chì hè ciò chì vulete dimustrà; una tesi, chì hè precisamente a manifestazione, è un curullariu, chì hè u cunclusione chì si ghjunghje una volta chì a manifestazione hè compia.
Cum'è dichjaratu, l'idea principale di i teoremi hè a quistione di a fattibilità costante è a pussibilità di esse controfirmata è accettata di novu in ogni momentu. Tuttavia, se si pone una situazione unica in cui u teorema perde a so universalità, u teorema diventa subitu invalidu.
U cuncettu di teorema hè statu pigliatu da altre scienze (ecunumia, psiculugia o scienze pulitiche, frà altri) per designà certi cuncetti impurtanti o fundamentali chì guverneranu quelli campi, ancu quandu questi ùn si presentanu micca cù a prucedura spiegata. In questi casi, l'assiomi ùn sò micca usati ma piuttostu inferenze fatte da prucedure cum'è l'osservazione o ancu u campionamentu statisticu.
L'elencu chì seguita raccoglie esempi di teoremi è una breve descrizione di ciò chì postula:
- Teorema di Pitagora: raportu trà a misura di l'iputenusa è quella di e zampe, in u casu di i trianguli rittanguli.
- Teorema di i numeri primi: Quandu a linea numerica cresce, ci saranu sempre menu numeri da quellu gruppu.
- Teorema binomiale: formula per risolve e putenze di i binomii (sume o sottrazioni di elementi).
- Teorema di Frobenius: formula di risoluzione per i sistemi di equazioni lineari.
- Teorema di Thales: caratteristiche in termini d'anguli è di lati di trianguli simili, è altre pruprietà di elli.
- Teorema di Euler: u numeru di vertici più u numeru di facce uguale à u numeru di bordi più 2.
- Teorema di Ptolomeu: A somma di i prudutti di e diagonali hè uguali à a somma di i prudutti di i lati opposti.
- Teorema di Cauchy-Hadamard: Stabilimentu di u raghju di cunvergenza di una seria di putenze chì apprussimanu una funzione intornu à un puntu.
- Teorema di Rolle: In un intervallu chì l'estremi valutati in una funzione differenziabile sò uguali, ci serà sempre un puntu induve a derivata svanisce.
- Teorema di u valore mediu: Se una funzione hè cuntinua è differenziabile per un intervallu, ci serà un puntu in quellu intervallu induve a tangente serà parallella à a secante.
- Teorema di Cauchy Dini: Cundizioni per u calculu di derivati in casu di funzioni implicite.
- Teorema di u Calculu: A derivazione è l'integrazione di una funzione sò operazioni inverse.
- Teorema di l'aritmetica: Ogni interu pusitivu pò esse ripresentatu cum'è un pruduttu di fattori primi.
- Teorema di Bayes (statistiche): Metudu per uttene probabilità cundiziunali.
- Teorema di a ragnatela (economia): Teorema per spiegà a furmazione di prudutti chì sò fatti secondu u prezzu precedente.
- Teorema di Marshall Lerner (economia): Analisi di l'impattu di una svalutazione di a valuta in termini di quantità è prezzi.
- Teorema di Coase (economia): Soluzione per i casi di esternalità, tendenti à a deregulazione.
- Teorema di l'elettore medianu (scienza pulitica): U sistema eletturale magiuritariu tende à favurisce u votu medianu.
- Teorema di Baglini (scienze pulitiche, Argentina): U puliticu tende à purtà e so pruposte versu u centru quandu si avvicina à pusizioni di putere.
- Teorema di Thomas (sociologia): Se a ghjente definisce e situazione cum'è reale, diventanu reali in e so cunsequenze.
