aritmetica di Presburger

Enciclopedia della Scienza e della Tecnica (2008)

aritmetica di Presburger Luca Tomassini Versione semplificata dell’aritmetica di Peano, ottenuta da quest’ultima eliminando l’operazione di moltiplicazione. Più precisamente, l’aritmetica di Presburger [...] intervenire la logica al secondo livello (quella appunto che ‘parla’ dei teoremi della logica al primo). Nell’aritmetica di Peano, per formulare l’assioma di induzione al primo livello della logica si paga un prezzo molto alto: esso è sostituito ... Leggi Tutto

CATEGORIA: LOGICA

Vailati, Giovanni

Enciclopedia on line

Storico delle scienze, filosofo e matematico (Crema 1863 - Roma 1909). Figura di studioso originale, costantemente in contatto con la ricerca e la cultura europea (e statunitense) più avanzata, si occupò [...] delle principali linee di pensiero a lui contemporanee (E. Mach, G. E. Moore e B. Russell, F. Brentano, G. Peano), nonché alla filosofia leibniziana di cui contribuì, nell'ambito di una rivalutazione di Leibniz a livello europeo (Russell, L. Couturat ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: FILOSOFIA DEL LINGUAGGIO – FILOSOFIA DELLA SCIENZA – CALCOLO INFINITESIMALE – MECCANICA RAZIONALE – PRAGMATISMO

o

Dizionario delle Scienze Fisiche (1996)

o o [Forma min. della 15a lettera dell'alfab. it.] [FAF] Connettivo logico che ha tre signif.: (a) o inclusivo, il più frequente, corrisponde al lat. vel ed è detto disgiunzione dalla scuola di Peano [...] e o alternativo o alternativa dalla scuola di logica polacca, indicando un'alternativa tra due termini compatibili tra loro (per es., "leggi o (oppure) principi di Kirchhoff"); (b) o esclusivo, corrisponde ... Leggi Tutto

CATEGORIA: STORIA DELLA FISICA – EPISTEMOLOGIA – METAFISICA

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 [...] 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)⇒x=y V Se X è un ... Leggi Tutto

CATEGORIA: STORIA DELLA MATEMATICA – STORIA DEL PENSIERO FILOSOFICO

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 [...] del primo ordine è indecidibile. Il risultato si può estendere a teorie molto più deboli dell’aritmetica di Peano – quale il sistema Q di Robinson – e in generale a ogni teoria, di qualunque tipo di linguaggio, presentabile in modo ricorsivo in cui ... Leggi Tutto

CATEGORIA: LOGICA

TAGS: PROBLEMA DELLA FERMATA – MACCHINE DI TURING – LOGICA MATEMATICA – TEORIA DEI NUMERI – ARITMETICA

GEYMONAT, Ludovico

Dizionario Biografico degli Italiani (2000)

GEYMONAT, Ludovico Girolamo De Liguori Nacque a Torino l'11 maggio 1908, da Giovanni, valdese, e da Teresa Scarfiott, cattolica, entrambi di famiglia piemontese. Conseguì la laurea in filosofia, presso [...] Kiesow, già assistente di W. Wundt a Lipsia, e Giuseppe Peano, che in vario modo influenzarono la sua formazione (su Peano in particolare, v. la testimonianza dello stesso G., G. Peano di fronte alla cultura italiana, in Celebrazioni in memoria di G ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: PARTITO DELLA RIFONDAZIONE COMUNISTA – CONSIGLIO NAZIONALE DELLE RICERCHE – ACCADEMIA DELLE SCIENZE DI TORINO – ACCADEMIA NAZIONALE DEI LINCEI – PARTITO COMUNISTA ITALIANO

misura

Dizionario delle Scienze Fisiche (1996)

misura misura [Der. del lat. mensura, dal part. pass. mensus di metiri "misurare"] [LSF] Il valore di una grandezza, espresso come rapporto tra la grandezza data e un'altra grandezza della stessa specie [...] misurazione o numerico. ◆ [MTR] M. diretta e indiretta: v. misure fisiche: IV 46 d, e. ◆ [PRB] M. esterna e interna: (a) → Peano, Giuseppe: Misura secondo P.-Jordan; (b) v. modulazione di segnali: IV 80 b, c. ◆ [ANM] M. estranea: relativ. a un'altra ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – MECCANICA – MECCANICA DEI FLUIDI – MECCANICA QUANTISTICA – METROLOGIA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – ANALISI MATEMATICA – STATISTICA E CALCOLO DELLE PROBABILITA – EPISTEMOLOGIA – METAFISICA

ideografia

Enciclopedia on line

Sistema di scrittura che non tiene conto dell’aspetto fonologico del linguaggio, ma fa uso di simboli (ideogrammi) che si pongono in rapporto immediato con un contenuto mentale. L’i. sta alla base delle [...] di G. Boole. Verso la fine del 19° sec., la i. logica ha ricevuto ampi sviluppi per opera di G. Peano in Italia e di G. Frege in Germania. In statistica, gli ideogrammi costituiscono un particolare tipo di rappresentazione grafica di dati ... Leggi Tutto

CATEGORIA: FILOSOFIA DEL LINGUAGGIO – SISTEMI DI SCRITTURA – LOGICA MATEMATICA – STATISTICA E CALCOLO DELLE PROBABILITA – LOGICA

TAGS: GERMANIA – LEIBNIZ – ALGEBRA – ITALIA – SUMERA

EPISTEMOLOGIA

Enciclopedia Italiana - IV Appendice (1978)

. Assumendo la parola "epistemologia" nel senso di "riflessione critica generale intorno alla conoscenza scientifica", il presente tentativo di sintesi problematica delle acquisizioni epistemologiche post-ottocentesche [...] Frege, di cui si dirà poi) verso la fine dell'Ottocento con l'"aritmetizzazione" dell'intera matematica ad opera di Peano, sulla scorta dell'antecedente aritmetizzazione dell'analisi promossa da J. W. R. Dedekind e K. Weierstrass. Avvalendosi di tre ... Leggi Tutto

TAGS: TRACTATUS LOGICO-PHILOSOPHICUS – PRINCIPIO D'INDETERMINAZIONE – METODO IPOTETICO-DEDUTTIVO – FILOSOFIA DELLA MATEMATICA – FILOSOFIA DELLA SCIENZA

PASTORE, Valentino Annibale

Dizionario Biografico degli Italiani (2014)

PASTORE, Valentino Annibale Gaspare Polizzi PASTORE, Valentino Annibale. – Nacque a Orbassano il 13 novembre 1868, da Lorenzo e Luigia Peirani. Studiò presso l’oratorio di Don Bosco a Torino. Proseguì [...] come unica e bipolare. La logica matematica fu sviluppata in forma indipendente rispetto alla logica matematica del maestro Peano. Essa si basa sui concetti di potenza logica e di potenziamento, dai quali vengono ricavati, tramite equazioni logiche ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: ACCADEMIA DELLE SCIENZE DI TORINO – SECONDA GUERRA MONDIALE – FILOSOFIA DELLA SCIENZA – RIVOLUZIONE SCIENTIFICA – TEORIA DELLA RELATIVITÀ