teorema

Dizionario delle Scienze Fisiche (1996)

teorema


teorèma [Der. del lat. theorema, dal gr. theórema "ricerca, meditazione"] [FAF] (a) Nelle scienze deduttive (tipic., nella matematica), ogni enunciato che può essere dedotto logicamente dagli enunciati primitivi, detti assiomi o postulati. In un sistema assiomatico moderno la distinzione fra t. e assiomi non è però netta e assoluta, in quanto il sistema costituisce un insieme organico di enunciati nel quale si può, in generale, cominciare con alcuni o con altri enunciati. (b) In un sistema formale, l'ultima formula di una dimostrazione (detta anche enunciato dimostrabile), cioè l'ultima di una sequenza finita di formule tali che ciascuna di esse o è un assioma o è una conseguenza immediata di formule precedenti ottenuta in base a una delle regole di inferenza. ◆ [MCQ] T. asintotico: v. campi, teoria quantistica dei: I 478 d. ◆ [FSN] T. CPT: → CPT. ◆ [TRM] T. del limite centrale: v. limite centrale, teorema del. ◆ [FAF] T. di correttezza e di completezza della logica dei predicati: v. logica: III 485 c. ◆ [ELT] T. fondamentale di una funzione booleana: v. circuiti logici: I 619 e. ◆ [FAF] T. invertibile e inverso: un t. invertibile e quello tale che, se si scambia nell'enunciato l'ipotesi con la tesi, si ottiene un nuovo t., detto t. inverso.

Vedi anche
ipotesi Supposizione di fatti (o situazioni, sviluppi di un’azione ecc.) ancora non realizzati ma che si prevedono come possibili o si ammettono come eventuali, oppure spiegazione, fondata su indizi e intuizioni, che in via di tentativo si dà di un fatto o di una serie di fatti, noti o comunque che si ritengono ... deduzione filosofia Rapporto per il quale una conclusione deriva da una o più premesse. Nella storia della filosofia si distinguono tre principali interpretazioni di tale rapporto. Secondo la prima, esso è fondato sull’essenza necessaria o sostanza degli oggetti cui si riferiscono le proposizioni: è questa l’interpretazione ... algebra Uno dei rami fondamentali delle scienze matematiche: in senso lato l’algebra studia le operazioni, definite in un insieme, che godono di proprietà analoghe a quelle delle ordinarie operazioni dell’aritmetica. Con significato specifico è sinonimo di sistema ipercomplesso. ● La parola al-giabr è usata ... lògica matemàtica lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono essere considerate formalmente come oggetti grafici combinabili tra loro (sintassi) o in relazione ...
Categorie
Altri risultati per teorema
  • teorema
    Enciclopedia on line
    In matematica e nelle scienze deduttive, ogni enunciato (o formula o proprietà) che può essere dimostrato, cioè che può essere dedotto logicamente dagli enunciati primitivi, detti assiomi o postulati. In un sistema assiomatico moderno la distinzione fra t. e assiomi non è però netta e assoluta in quanto ...
  • Cesaro, teoremi di
    Enciclopedia della Matematica (2013)
    Cesàro, teoremi di proposizioni che si applicano al calcolo del limite del rapporto di due successioni {an} e {bn}, la seconda delle quali strettamente monotòna e a elementi non nulli: se le successioni sono entrambe convergenti a zero, oppure se la seconda è divergente, allora, se esiste il limite ...
  • teoremi di indecidibilita
    Enciclopedia della Scienza e della Tecnica (2008)
    teoremi di indecidibilità Silvio Bozzi In logica matematica, risultati che affermano che una data teoria formalizzata T non è decidibile, vale a dire non ammette un algoritmo in grado di stabilire in modo meccanico per ogni formula del linguaggio se è teorema o meno di T. Prototipo di questi risultati ...
  • TEOREMA
    Enciclopedia Italiana (1937)
    (gr. ϑεώρεμα; ted. Theorem e, più spesso, Lehrsatz o Satz) Etimologicamente (da ϑεωρέω "scorgo, contemplo") significa "proposizione speculativa"; ma, soprattutto in matematica, ha assunto il senso di "proposizione dimostrabile". Questo termine "teorema" e, più particolarmente, "teorema matematico" ...
Vocabolario
teorèma
teorema teorèma s. m. [dal lat. tardo theorēma, gr. ϑεώρημα (propr. «ricerca, meditazione», der. di ϑεω-ρέω «esaminare, osservare»)] (pl. -i). – 1. Nella cultura classica e medievale, la «visione» sensibile o intellettiva e il relativo...
teoremàtico
teorematico teoremàtico agg. [dal gr. ϑεωρηματικός, der. di ϑεώρημα: v. teorema] (pl. m. -ci). – Di teorema, che costituisce un teorema: schemi, tipi teorematici.