Logiche non standard
Enciclopedia della Scienza e della Tecnica (2007)
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] in [1] il numero di operatori modali iterati e in [2] il numero di passi della relazione R (ponendo w1R0wk uguale a wi=wk). Per esempio l'assioma 4 (p⊃p) è il caso speciale di [1] in cui m=0, n=1, j=2, k=0, mentre i modelli che lo convalidano sono ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
Geometria
Enciclopedia Italiana - VI Appendice (2000)
Geometria
Ryoichi Kobayashi e Luigi Ambrosio
Giovanni Bellettini
(XVI, p. 623; App. III, i, p. 724; IV, ii, p. 39; V, ii, p. 391)
Numerose voci dell'Enciclopedia Italiana trattano i vari oggetti e [...] euclidea e la g. cartesiana basata sull'uso del metodo analitico, si osserva che la prima si basa su un piccolo numero di assiomi ed è una g. dello spazio piatto, mentre la seconda è caratterizzata dall'uso delle coordinate di R² e dei calcoli basati ...
Leggi Tutto
CATEGORIA:
GEOMETRIA
teorema
Enciclopedia on line
teorema 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. [...] dimostrabile) l’ultima formula di una dimostrazione, cioè 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. In un t. si ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
LEVI, Beppo
Dizionario Biografico degli Italiani (2005)
LEVI, Beppo
Salvatore Coen
Nacque a Torino il 14 maggio 1875 da Giulio Giacomo e Sara Diamantina (Mentina) Pugliese. Presso l'Università di Torino compì i suoi studi fino al conseguimento della laurea [...] in modo unico un elemento", si ha la validità del cosiddetto principio della partizione. Dal momento che l'enunciazione dell'assioma della scelta insieme con il teorema del buon ordinamento di E. Zermelo seguono di circa un biennio l'osservazione del ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
dimostrazione
Enciclopedia on line
Filosofia
Processo logico-discorsivo (dal gr. apodissi) in virtù del quale si arriva a garantire la validità di un enunciato.
La nozione di d. venne introdotta da Aristotele che la definì come quella forma [...] formale T si dice d. di un’espressione A di L se: a) ogni espressione Ai compresa tra A1 e An o è un assioma di T, o è ottenuta da espressioni precedenti nella successione per applicazione di regole di inferenza di T; b) A è l’ultima espressione ...
Leggi Tutto
Ramsey, Frank Plumpton
Enciclopedia on line
Filosofo e logico inglese (Cambridge 1903 - ivi 1930). Prof. all'università di Cambridge, conosciuto soprattutto per la sua analisi critica dei Principia mathematica di B. Russell e A. N. Whitehead, R. [...] deve una procedura per l'eliminazione dei termini teorici dagli enunciati delle teorie scientifiche, consistente nel sostituire negli assiomi del sistema formale in cui è espressa la teoria tutte le costanti designanti entità teoriche con opportune ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
L'Ottocento: matematica. Il rigore in analisi
Storia della Scienza (2003)
L'Ottocento: matematica. Il rigore in analisi
Umberto Botta
Il rigore in analisi
L'eredità di Lagrange
All'epoca della Rivoluzione francese, l'esigenza di formare una classe di ingegneri civili e militari [...] Quale era, però, la proprietà caratteristica della continuità, la sua essenza come diceva Dedekind? La risposta era affidata a un assioma: se si ripartiscono tutti i punti della retta in due classi in modo che ogni punto di una delle due classi stia ...
Leggi Tutto
categoricità
Enciclopedia on line
categoricità In logica matematica, proprietà di un sistema assiomatico i cui modelli siano isomorfi. Si considerino, per es., gli assiomi di Peano per i numeri naturali: a) 0 (zero) è un numero naturale; [...] e) è un’interpretazione dei termini non definiti «0», «numero naturale», «successivo di un numero naturale», che associa a ogni assioma il valore di verità vero. Che il sistema a)-e) sia categorico, che cioè due suoi modelli qualsiasi siano isomorfi ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
deduzione
Dizionario delle Scienze Fisiche (1996)
deduzione
deduzióne [Der. del lat. deductio -onis, da deducere "dedurre", comp. di de- "da" e ducere "trarre"] [LSF] Una proposizione, la verità o il giudizio che si deduce, con il metodo deduttivo, [...] anche derivazione o dimostrazione) con la quale, in un sistema deduttivo, si ottiene una certa espressione da un dato assioma attraverso un numero finito di altre espressioni, tutte facenti parte dello stesso sistema. ◆ [ALG] [FAF] Teorema di d., o ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA
transfinito
Enciclopedia on line
transfinito In matematica, che va al di là del finito. Numeri t. (o infiniti), numeri che estendono al caso di insiemi con infiniti elementi i concetti di numero cardinale e ordinale dell’aritmetica ordinaria [...] totale che si fonda sul seguente teorema enunciato da Cantor e dimostrato nella sua prima parte da E. Zermelo (sulla base dell’assioma della scelta) nel 1904, e nella sua seconda parte da F. Bernstein nel 1897: dati due insiemi A, B è vera almeno ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI