• Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
Cerca in:
enciclopedia
biografico
vocabolario
atlante
il chiasmo
lingua italiana
33 risultati
Tutti i risultati [248]
Filosofia [33]
Matematica [77]
Biografie [44]
Algebra [16]
Fisica [17]
Storia della matematica [17]
Storia [13]
Fisica matematica [13]
Temi generali [11]
Logica matematica [9]

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

Vailati, Giovanni 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
Mostra altri risultati Nascondi altri risultati su Vailati, Giovanni (3)
Mostra Tutti

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
Mostra altri risultati Nascondi altri risultati su teoremi di indecidibilita (4)
Mostra Tutti

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
Mostra altri risultati Nascondi altri risultati su GEYMONAT, Ludovico (3)
Mostra Tutti

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
Mostra altri risultati Nascondi altri risultati su misura (5)
Mostra Tutti

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
Mostra altri risultati Nascondi altri risultati su ideografia (1)
Mostra Tutti

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
Mostra altri risultati Nascondi altri risultati su EPISTEMOLOGIA (6)
Mostra Tutti

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À
Mostra altri risultati Nascondi altri risultati su PASTORE, Valentino Annibale (4)
Mostra Tutti
1 2 3 4
Vocabolario
peana
peana (raro peane) s. m. [dal lat. paeana, accus. di paean, gr. παιάν, in origine nome di divinità della cerchia di Apollo, poi epiteto di Apollo, «risanatore, soccorritore» e quindi nome del canto lirico in cui il dio era invocato] (pl. -i...
successóre
successore successóre s. m. [dal lat. successor -oris, der. di succedĕre «venire dopo, sottentrare» (supino successum)]. – 1. (f. succeditrice, ma la forma è per lo più evitata) Chi succede, cioè subentra a un altro in una carica, in un ufficio,...
Leggi Tutto
  • Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
  • Ricerca
    • Enciclopedia
    • Vocabolario
    • Sinonimi
    • Biografico
    • Indice Alfabetico

Istituto della Enciclopedia Italiana fondata da Giovanni Treccani S.p.A. © Tutti i diritti riservati

Partita Iva 00892411000

  • facebook
  • twitter
  • youtube
  • instagram
  • Contatti
  • Redazione
  • Termini e Condizioni generali
  • Condizioni di utilizzo dei Servizi
  • Informazioni sui Cookie
  • Trattamento dei dati personali