• 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
172 risultati
Tutti i risultati [662]
Matematica [172]
Filosofia [109]
Fisica [84]
Biografie [68]
Fisica matematica [51]
Storia della fisica [49]
Temi generali [45]
Algebra [42]
Storia della matematica [44]
Metafisica [34]

La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia

Storia della Scienza (2004)

La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia Ettore Casari La scuola di Leopoli-Varsavia Gli inizi La singolare vicenda intellettuale divenuta nota come 'Scuola [...] estensione di 'b' (ossia se e solo se l'oggetto cui si riferisce 'a' è fra quelli cui si riferisce 'b'). Il famoso assioma unico dell'antologia è la presentazione formale di quest'idea: ∀ab{αεb→[∀c(cεa→cεb)∧∃c(cεa)∧∀cd(cεa∧dεa→cεd)]}. Gli oggetti cui ... Leggi Tutto
CATEGORIA: STORIA DELLA MATEMATICA

enunciato

Dizionario delle Scienze Fisiche (1996)

enunciato enunciato [Der. del part. pass. enuntiatus del lat. enuntiare, comp. di ex "fuori" e nuntiare "annunciare" e quindi "annunciare pubblicamente, esternare"] [FAF] [ALG] Secondo la definizione [...] e., o delle proposizioni: nella logica matematica, sistema deduttivo (costituito da un linguaggio, da un insieme di assiomi e da regole di derivazione) che, oltre ai simb. dei connettivi logici (negazione, congiunzione, alternativa, implicazione ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

modello

Enciclopedia on line

In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] Una formula si dice valida in una teoria T se è conseguenza degli assiomi non logici di T o, equivalentemente, se è vera in ogni m stesse teorie. Consideriamo, per es., la teoria G, i cui assiomi non logici sono: Il linguaggio L di G ha i simboli ... Leggi Tutto
CATEGORIA: ARCHITETTURA E URBANISTICA – SCULTURA – FILOSOFIA DEL LINGUAGGIO – LINGUISTICA GENERALE – ECOLOGIA – ALGEBRA – GEOMETRIA – LOGICA MATEMATICA – STATISTICA E CALCOLO DELLE PROBABILITA – DIRITTO PRIVATO – STORIA E FILOSOFIA DEL DIRITTO – METODI TEORIE E PROVVEDIMENTI – EPISTEMOLOGIA – FILOSOFIA DEL DIRITTO – FILIERE STRUMENTI E TECNICHE DELLA PRODUZIONE INDUSTRIALE
TAGS: ORGANIZZAZIONE MONDIALE PER LA PROPRIETÀ INTELLETTUALE – EQUAZIONE DIFFERENZIALE ORDINARIA – SISTEMA DI EQUAZIONI LINEARI – INSIEME DEI NUMERI NATURALI – TEOREMA DI LÖWENHEIM-SKOLEM
Mostra altri risultati Nascondi altri risultati su modello (6)
Mostra Tutti

Computazione, teoria della

Enciclopedia della Scienza e della Tecnica (2007)

Computazione, teoria della Fabrizio Luccio La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] cioè la computabilità e la complessità di calcolo. Il secondo problema di Hilbert sulla dimostrazione di compatibilità degli assiomi dell'aritmetica, posto all'inizio del XX sec. e rimasto insoluto anche nella formalizzazione dei Principia matematica ... Leggi Tutto
CATEGORIA: ANALISI MATEMATICA
TAGS: CALCOLO DEI PREDICATI DEL PRIMO ORDINE – LINGUAGGI DI PROGRAMMAZIONE – RICORSIVAMENTE ENUMERABILE – CORRISPONDENZA BIUNIVOCA – TEOREMA DI INCOMPLETEZZA

vero

Dizionario delle Scienze Fisiche (1996)

vero véro [agg. e s.m. Der. del lat. verus] [ALG] [FAF] Nella logica matematica, un enunciato o una formula di una teoria si dice v. (simb. V) in un universo (modello della teoria) se è soddisfatta sostituendo [...] concetto sintattico di dimostrabile: un enunciato (o teorema) è dimostrabile in una teoria, se è deducibile correttamente dagli assiomi della teoria. ◆ [ASF] Di misura astrometrica che sia stata corretta da qualche effetto perturbante, per es. dalla ... Leggi Tutto
CATEGORIA: ASTROFISICA E FISICA SPAZIALE – FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

Ramsey, Frank Plumpton

Enciclopedia on line

Ramsey, Frank Plumpton 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
TAGS: QUANTIFICATORE UNIVERSALE – FILOSOFIA DELLA SCIENZA – CALCOLO COMBINATORIO – TEORIA DEI GRAFI – A. N. WHITEHEAD
Mostra altri risultati Nascondi altri risultati su Ramsey, Frank Plumpton (2)
Mostra Tutti

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 [...] corpo se gode delle proprietà espresse da A. Un corpo particolare F viene determinato tramite una costruzione, indipendente dagli assiomi, dopodiché resta da dimostrare che F soddisfa A. 7. Matematica applicata Il pensiero cosciente è un processo che ... Leggi Tutto
TAGS: TEOREMA DI BOLZANO-WEIERSTRASS – PRINCIPIO DEL TERZO ESCLUSO – QUANTIFICATORE UNIVERSALE – LIMITE DI UNA SUCCESSIONE – CORRISPONDENZA BIUNIVOCA
Mostra altri risultati Nascondi altri risultati su Intuizionismo (3)
Mostra Tutti

La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Gödel

Storia della Scienza (2004)

La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel Carlo Cellucci I teoremi di incompletezza di Gödel Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] assume che, se al sistema S delle asserzioni dotate di significato, si aggiunge il sistema T delle asserzioni e degli assiomi transfiniti, e se poi a partire da S si dimostra un teorema attraverso una deviazione via teoremi ottenuti a partire da ... Leggi Tutto
CATEGORIA: ARITMETICA – STORIA DELLA MATEMATICA

Il Rinascimento. Il metodo e l'ordine del sapere

Storia della Scienza (2001)

Il Rinascimento. Il metodo e l'ordine del sapere Cesare Vasoli Il metodo e l'ordine del sapere Prodromi di un dibattito La ricostruzione del lungo dibattito cinquecentesco sui criteri fondamentali [...] in modo che di tutti si giudichi la convenienza degli uni con gli altri, e si tengano a memoria. E come nell'assioma si ricerca la verità o falsità, nel sillogismo la consequenzialità o non consequenzialità, così nel metodo si considera che ciò che è ... Leggi Tutto
CATEGORIA: TRATTATISTICA E ALTRI GENERI – STORIA DELLA MATEMATICA – STORIA DEL PENSIERO FILOSOFICO

continuo

Enciclopedia on line

Linguistica In fonologia, articolazioni c. sono quelle in cui nella tenuta non vi è occlusione che arresti la corrente espiratoria (la quale, dunque, fluisce ininterrotta durante tutta l’articolazione [...] a quella del numerabile. Il fatto se esista o no una potenza intermedia tra le due è invece indipendente dagli altri assiomi della teoria degli insiemi (P. Cohen, 1963); sono quindi accettabili sia l’ipotesi della non esistenza (ipotesi del c.) sia ... Leggi Tutto
CATEGORIA: GRAMMATICA – ALGEBRA
TAGS: TEORIA DEGLI INSIEMI – NUMERI REALI – NUMERABILE – MATEMATICA – FRICATIVE
Mostra altri risultati Nascondi altri risultati su continuo (1)
Mostra Tutti
1 2 3 4 5 6 7 8 ... 18
Vocabolario
assiòma
assioma assiòma s. m. [dal lat. tardo axioma -ătis, gr. ἀξίωμα -ατος der. di ἄξιος «degno»] (pl. -i). – Nel linguaggio com., verità o principio che si ammette senza discussione, evidente di per sé. In filosofia, principio certo per immediata...
assiomàtica
assiomatica assiomàtica s. f. [dall’agg. assiomatico]. – 1. In genere, ogni dottrina degli assiomi. In partic., quel ramo delle scienze matematiche in cui si discute dei principî della matematica (in questo senso, però, il termine è sempre...
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