• 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
73 risultati
Tutti i risultati [73]
Matematica [21]
Filosofia [16]
Storia della matematica [9]
Informatica [8]
Temi generali [6]
Storia del pensiero filosofico [6]
Lingua [4]
Fisica [4]
Logica matematica [4]
Dottrine teorie e concetti [4]

sillogismo

Enciclopedia on line

sillogismo Termine filosofico con cui Aristotele designò la forma fondamentale di argomentazione logica (s. categorico), costituita da tre proposizioni dichiarative connesse in modo tale che dalle prime [...] formale contemporanea fa parte della logica elementare (e può essere espressa nel linguaggio del cosiddetto calcolo dei predicati del primo ordine senza identità). La sillogistica e le sue restrizioni Intuitivamente, si può definire sillogistica ... Leggi Tutto
CATEGORIA: DOTTRINE TEORIE E CONCETTI – LOGICA
TAGS: EQUIVALENZA LOGICA – LOGICA MATEMATICA – SILLOGISTICO – ARISTOTELE – INFERENZA
Mostra altri risultati Nascondi altri risultati su sillogismo (3)
Mostra Tutti

logica

Enciclopedia on line

Filosofia Disciplina che studia le condizioni di validità delle argomentazioni deduttive. La l. antica I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] è una logica dei predicati (o delle classi ordinamento dell’esperienza saranno poi ripresi dall’empirismo moderno. Il problema del prime nozioni per sé note, come dei momenti successivi del della possibilità di un calcolo delle proposizioni. C ... Leggi Tutto
CATEGORIA: FILOSOFIA DEL DIRITTO – LOGICA – ELETTRONICA
TAGS: PRINCIPIO DEL TERZO ESCLUSO – FONDAMENTI DELLA MATEMATICA – TEORIA DELLA DIMOSTRAZIONE – LOGICA DELLE PROPOSIZIONI – CALCOLO DIFFERENZIALE
Mostra altri risultati Nascondi altri risultati su logica (9)
Mostra Tutti

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 [...] logica dei predicati del primo ordine e logica dei predicati del secondo ordine: in quest'ultima sono ammesse anche formule del tipo di teoria, che costituisce sotto il duplice aspetto di calcolo logico e di teoria deduttiva l’oggetto fondamentale d ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: TEORIA DELLA DIMOSTRAZIONE – TEORIA DELLE CATEGORIE – TEOREMA DI COMPATTEZZA – TEORIA DEGLI INSIEMI – INFORMATICA TEORICA
Mostra altri risultati Nascondi altri risultati su lògica matemàtica (9)
Mostra Tutti

Informatica

Enciclopedia Italiana - VI Appendice (2000)

Informatica Giorgio Ausiello Carlo Batini Vittorio Frosini (App. IV, ii, p. 189; V, ii, p. 704) Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] del prim'ordine viene arricchito introducendo istruzioni e costrutti di un linguaggio di programmazione (per es., composizione sequenziale, iterazione, alternativa in base al valore di verità di un predicato dei cartacei (già operanti nei calcoli dei ... Leggi Tutto
CATEGORIA: TEMI GENERALI
TAGS: AUTORITÀ PER L'INFORMATICA NELLA PUBBLICA AMMINISTRAZIONE – ACCESSO ABUSIVO A UN SISTEMA INFORMATICO O TELEMATICO – TECNOLOGIE DELL'INFORMAZIONE E DELLA COMUNICAZIONE – PRINCIPIO DI INDETERMINAZIONE DI HEISENBERG – ESERCIZIO ARBITRARIO DELLE PROPRIE RAGIONI
Mostra altri risultati Nascondi altri risultati su Informatica (12)
Mostra Tutti

STORIA DELLA MATEMATICA

Enciclopedia della Matematica (2013)

STORIA DELLA MATEMATICA Luigi Borzacchini STORIA DELLA MATEMATICA Il tempo della scienza senza tempo La matematica è la più antica e la più immutabile delle discipline. Si può dire che la matematica [...] input termina è solo semidecidibile), il teorema di Church (il problema della dimostrabilità per le formule del calcolo dei predicati del primo ordine è solo semidecidibile), il teorema di Tarski (il problema di decidere se una formula aritmetica è ... Leggi Tutto
TAGS: PHILOSOPHIAE NATURALIS PRINCIPIA MATHEMATICA – METODO DEI MOLTIPLICATORI DI LAGRANGE – ACCADEMIA DELLE SCIENZE DI BERLINO – TEOREMA FONDAMENTALE DELL’ALGEBRA – MEDITATIONES DE PRIMA PHILOSOPHIA

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 [...] con il famoso teorema di incompletezza di Kurt Gödel, che provava l'esistenza di formule indimostrabili nel calcolo dei predicati del primo ordine. Questo teorema è basato sulla costruzione di una di tali formule e lascia aperto il problema della ... Leggi Tutto
CATEGORIA: ANALISI MATEMATICA
TAGS: CALCOLO DEI PREDICATI DEL PRIMO ORDINE – LINGUAGGI DI PROGRAMMAZIONE – RICORSIVAMENTE ENUMERABILE – CORRISPONDENZA BIUNIVOCA – TEOREMA DI INCOMPLETEZZA

La logica nel Novecento

Storia della civiltà europea a cura di Umberto Eco (2014)

Andrea Bernardoni Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook All’inizio del Novecento la logica si sviluppa sotto l’egida della problematica circa [...] (1897-1954) nel 1921. Nel 1929 nella sua dissertazione dottorale Kurt Gödel dimostra la completezza del calcolo dei predicati del primo ordine. Nel 1949 la dimostrazione di questo risultato è perfezionata e semplificata da Leon Henkin, quando ormai ... Leggi Tutto

LOGICA E INFORMATICA

Enciclopedia Italiana - V Appendice (1993)

LOGICA E INFORMATICA Carlo Cellucci I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] un procedimento, detto di skolemizzazione, che permette di tradurre ogni insieme di formule del calcolo dei predicati del primo ordine (contenente quindi in generale dei quantificatori) in un insieme di clausole. Il metodo di risoluzione è un metodo ... Leggi Tutto

Fondazionalismo e antifondazionalismo

Enciclopedia Italiana - VII Appendice (2007)

Fondazionalismo e antifondazionalismo Aldo Giorgio Gargani Lungo linee direttrici che attraversano tanto la filosofia analitica e postanalitica, quanto quella di ispirazione ermeneutica (o filosofia [...] media la relazione tra le espressioni di un linguaggio-oggetto e un meta-linguaggio corredato del calcolo dei predicati del primo ordine, del calcolo vero-funzionale, della gamma della quantificazione, di una batteria d'assiomi, di regole d'inferenza ... Leggi Tutto
TAGS: PRINCIPIO DEL TERZO ESCLUSO – FILOSOFIA DEL LINGUAGGIO – SCETTICISMO FILOSOFICO – NEOPOSITIVISMO LOGICO – GRAMMATICALIZZAZIONE

MODELLI, Teoria dei

Enciclopedia Italiana - IV Appendice (1979)

MODELLI, Teoria dei (App. III, 11, p. 139) Giulio Supino Alberto Pasquinelli Aldo Marruccelli In questi ultimi 15 anni (1960-75) la t. dei m. si è sviluppata secondo due ordini di idee del tutto opposti. [...] primo contributo fondamentale al riguardo si rivela identificabile col teorema di Löwenheim-Skolem, stabilito e quindi generalizzato durante gli anni 1915-20: una formula del calcolo dei predicati elementari (cioè del prim'ordine), essendo queste ... Leggi Tutto
TAGS: TEORIA DELLA DIMOSTRAZIONE – SIMILITUDINE GEOMETRICA – TEOREMA DI COMPATTEZZA – NUMERI INTERI RELATIVI – TEORIA DEI MODELLI
Mostra altri risultati Nascondi altri risultati su MODELLI, Teoria dei (3)
Mostra Tutti
1 2 3 4 5 6 7 8
Vocabolario
paròla
parola paròla s. f. [lat. tardo parabŏla (v. parabola1), lat. pop. *paraula; l’evoluzione di sign. da «parabola» a «discorso, parola» si ha già nella Vulgata, in quanto le parabole di Gesù sono le parole divine per eccellenza]. – 1. Complesso...
venire
venire v. intr. [lat. vĕnire] (pres. indic. vèngo [ant. o poet. vègno], vièni, viène [poet. ant. vène], veniamo [ant. vegnamo], venite, vèngono [ant. o poet. vègnono]; pres. cong. vènga [ant. o poet. vègna], veniamo [ant. vegnamo], veniate...
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