Cerca in:
lògica matemàtica
Enciclopedia on line
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 [...] costituisce il calcolo, fissando un insieme di postulati costituito da assiomi e regole di inferenza; applicando queste regole si possono nei primi anni del Novecento da David Hilbert, Giuseppe Peano e Mario Pieri, per limitarci ai nomi più grandi. ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
Intuizionismo
Enciclopedia del Novecento (1978)
Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] , ha poco a che vedere con la matematica intuizionista.
L'uso di assiomi. - Nessuna teoria matematica intuizionista è basata su assiomi. Per esempio, gli assiomi di Peano sono teoremi generali sui numeri naturali, che derivano dalla costruzione. Nell ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] piccolo insieme che contiene 0 ed è chiuso rispetto al successore. Un po' più formalmente, usando i simboli '∈' per 'è membro di' e '⇒' per 'implica', gli assiomi di Peano sono:
I 0∈ℕ
II x∈ℕ⇒sc(x)∈ℕ
III x∈ℕ⇒sc(x)≠0
IV x∈ℕ∧y∈ℕ & sc(x)=sc(y ...
Leggi Tutto
numero
Dizionario delle Scienze Fisiche (1996)
numero
nùmero [Der. del lat. numerus] [LSF] Oltre che nei vari signif. propri della matematica, alcuni dei quali sono ricordati oltre, il termine è usato in varie discipline fisiche anche come sinon. [...] affetti da segno, possono essere definiti assiomaticamente (G. Peano) in termini di tre nozioni primitive (cioè non definite): quella di n. naturale, quella di successore e quella di zero (0). Gli assiomi di Peano sono allora: (a) 0 è un n. naturale ...
Leggi Tutto
Dedekind Julius Wilhelm Richard
Dizionario delle Scienze Fisiche (1996)
Dedekind Julius Wilhelm Richard
Dedekind 〈déedëkint〉 Julius Wilhelm Richard [STF] (Brunswick 1831- ivi 1916) Matematico, insegnò nel politecnico di Zurigo (1862), poi in quello di Brunswick (dal 1862); [...] socio straniero dei Lincei dal 1911. ◆ [ALG] Assiomi di Peano-D.: quelli su cui può fondarsi l'aritmetica: v. Gödel, teorema di: III 54 a. ◆ [ALG] Sezione di D.: qualunque suddivisione dell'insieme Q dei numeri razionali in due sottoinsiemi A e B ...
Leggi Tutto
Pàdoa, Alessandro
Enciclopedia on line
Matematico (Venezia 1868 - Genova 1937), docente nell'univ. di Genova. Allievo di G. Peano, fu uno dei suoi più stretti collaboratori per quel che concerne lo studio dei fondamenti dell'aritmetica e l'istituzione [...] dimostrò, tra l'altro, l'indipendenza degli "assiomi di Peano" e propose l'importante metodo o principio di P.; eseguì la riduzione delle idee primitive della logica a tre nozioni fondamentali (di "uguaglianza", di "intersezione", di "appartenenza"). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
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; [...] assiomatico a)-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 ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
La logica e i fondamenti della matematica tra Ottocento e Novecento
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] numeri naturali si può intendere come una variante stilistica degli assiomi di Peano, s’impone la questione dell’influenza esercitata da Dedekind su Peano, il quale omette di informarci del percorso intellettuale che l’ha portato alla determinazione ...
Leggi Tutto
PEANO, Giuseppe
Dizionario Biografico degli Italiani (2015)
PEANO, Giuseppe
Clara Silvia Roero
PEANO, Giuseppe. – Nacque a Spinetta, nei pressi di Cuneo, il 27 agosto 1858, secondogenito di Bartolomeo e di Rosa Cavallo, proprietari terrieri.
Frequentò le scuole [...] meccanica moderna nei Principia Mathematica, Peano scrisse in latino classico gli Arithmetices Principia, in cui, dopo aver assunto i concetti primitivi di zero, numero e successore, enunciò gli assiomi per l’aritmetica, ancor oggi universalmente ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
combinatòria
Enciclopedia on line
Termine con cui è anche chiamata l'algebra combinatoria, disciplina che studia, piuttosto che le strutture algebriche classiche (gruppo, anello, corpo, ecc.), le strutture algebriche di tipo più semplice, [...] nel 1931 dimostrò che vi sono enunciati veri sui numeri naturali che non si possono dedurre dagli assiomi di un sistema standard come quello di Peano. Tale risultato ebbe un grande significato per i fondamenti della matematica, ma l’enunciato non ...
Leggi Tutto
CATEGORIA:
ALGEBRA