• 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
sinonimi
atlante
il chiasmo
lingua italiana
109 risultati
Tutti i risultati [1534]
Algebra [109]
Matematica [384]
Filosofia [341]
Biografie [312]
Fisica [200]
Temi generali [146]
Storia della fisica [133]
Metafisica [124]
Fisica matematica [122]
Epistemologia [105]

decisione

Dizionario delle Scienze Fisiche (1996)

decisione decisióne [Der. del lat. decisio -onis, dal part. pass. decisus di decidere "tagliar via, metter fine", comp. di de- e caedere "tagliare", e quindi "espressione di una volontà"] [ALG] [FAF] [...] Problema di d.: nella logica matematica, la ricerca di un procedimento effettivo (cioè concretabile in un numero finito di passi e applicabile a tutti i problemi dello stesso tipo) che consenta di stabilire se una certa proprietà o relazione convenga ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – STATISTICA E CALCOLO DELLE PROBABILITA – EPISTEMOLOGIA – METAFISICA

Sheffer Henry Maurice

Dizionario delle Scienze Fisiche (1996)

Sheffer Henry Maurice Sheffer (talora Sheller) 〈šèfër〉 Henry Maurice [STF] (n. in Russia 1883 - Cambridge, Massachusetts, 1964) Prof. di matematica nell'univ. Harvard di Cambridge, Massachusetts. ◆ [ALG] [...] [FAF] Funtore di S.: nella logica matematica, detto anche operatore di S., e anche negazione alternativa o non congiunzione o incompatibilità, introdotto da S. nel 1913 e denotato con il simb. |; se p e q sono due enunciati, p|q è sempre vero, salvo ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA
TAGS: LOGICA MATEMATICA – MASSACHUSETTS
Mostra altri risultati Nascondi altri risultati su Sheffer Henry Maurice (2)
Mostra Tutti

minimalizzazione

Dizionario delle Scienze Fisiche (1996)

minimalizzazione minimalizzazióne [Der. di minimalizzare "rendere minimo", da minimale] [ALG] [FAF] Nella logica matematica, procedimento mediante il quale, dato un predicato P, si perviene, mediante [...] un apposito operatore di m. (solitamente denotato con μ), a definire una funzione che indica il minimo valore della variabile predicativa x che verifichi il predicato P; per es., la funzione mcm(a,b), ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

aritmetizzazióne

Dizionario delle Scienze Fisiche (1996)

aritmetizzazione aritmetizzazióne [Atto ed effetto dell'aritmetizzare "rendere aritmetico", der. di aritmetico] [ALG] [FAF] [INF] Nella logica matematica: (a) in senso generale e storico, programma sviluppato [...] ., procedimento con cui, seguendo determinate regole, si associano alcuni numeri interi ai segni e alle formule di un linguaggio, rendendo così possibile un calcolo matematico delle espressioni che sono prese in esame: v. Gödel, teorema di: III 55 c. ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – EPISTEMOLOGIA – METAFISICA

non standard

Dizionario delle Scienze Fisiche (1996)

non standard nón stàndard [locuz. agg.] [LSF] Generic., di enti o condizioni non usuali, non rispondenti a certe norme, e simili. ◆ [ALG] [FAF] Analisi n.: disciplina nata nell'ambito della logica matematica, [...] negli anni '60 di questo secolo, per rendere coerente e rigoroso il metodo degli infinitesimi e infiniti dell'analisi settecentesca; si è in seguito rivelata uno strumento utile per risolvere problemi ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – EPISTEMOLOGIA – METAFISICA

rappresentabile

Dizionario delle Scienze Fisiche (2012)

rappresentabile rappresentàbile [Der. di rappresentare (→ rappresentazione) "che è suscettibile di rappresentazione"] [ALG] [FAF] Funzione r.: nella logica matematica, è tale una funzione di una o più [...] variabili numeriche f(x₁,x₂,..., xn) in un sistema S se e solo se c'è in S una formula P(x₁,..., xn+1), tale che per ogni sostituzione di valori numerici k₁,..., kn+1 rispettiv. alle variabili x₁,..., ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

rimpiazzamento

Dizionario delle Scienze Fisiche (1996)

rimpiazzamento rimpiazzaménto [Atto ed effetto del rimpiazzare, der. del fr. remplacer "mettere una cosa al posto di un'altra", comp. di re- sostitutivo e der. di place "posto"] [ALG] [FAF] Assioma, [...] o teoremi, di r.: nella logica matematica, assioma introdotto da A.A. Fraenkel, intorno al 1922, per eliminare alcuni inconvenienti della teoria assiomatica degli insiemi di Zermelo, che può essere così enunciato: se all'interno di una formula si ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

sopralineatura

Dizionario delle Scienze Fisiche (1996)

sopralineatura sopralineatura (o soprallineatura) [Der. di sopralineare "tracciare una linea sopra qualcosa", comp. di sopra e lineare "tracciare linee"] [ALG] (a) Sulle lettere che indicano i punti [...] salvo diversa indicazione, è il valore medio di essa (alternativamente all'uso di parentesi angolari). ◆ [ALG] [FAF] Nella logica matematica, sul simb. di una proposizione, trasforma questa nella sua negazione. ◆ [FSN] Sul simb. di una particella, lo ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – FISICA NUCLEARE – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

autoriferiménto

Dizionario delle Scienze Fisiche (1996)

autoriferimento autoriferiménto [Comp. di auto- e riferimento] [ALG] [FAF] Nella logica matematica, fenomeno per cui, quando si aritmetizza il linguaggio di una teoria numerica, i termini della teoria [...] denotano anche termini della teoria stessa: v. Gödel, teorema di: III 55 e. ◆ [ELT] Nella teoria dei sistemi, la proprietà che avrebbero alcuni sistemi di riferirsi a sé stessi, cioè di determinare i propri ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA

semantico

Dizionario delle Scienze Fisiche (1996)

semantico semantico [agg. (pl.m. -ci) Der. del fr. sémantique (→ semantica)] [ALG] [FAF] Completezza s.: nella logica matematica, proprietà di una teoria in cui ogni formula vera in una certa interpretazione [...] classe di strutture) può essere dedotta dagli assiomi della teoria medesima. ◆ [ALG] [FAF] Paradosso s.: nella logica matematica, paradosso che coinvolge il signif.; nasce o per confusione tra linguaggio e metalinguaggio oppure per voler attribuire ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA
1 2 3 4 5 6 7 8 ... 11
Vocabolario
lògica
logica lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
lògico¹
logico1 lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...
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