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

De Morgan, Augustus

Enciclopedia on line

De Morgan, Augustus Matematico inglese (Madura, India, 1806 - Londra 1871). Prof. nell'univ. di Londra dal 1828, pubblicò Elements of arithmetic (1830); The differential and integral calculus (1836-42) e molti altri trattati [...] a questo proposito A budget of paradoxes, post., 1915). Assertore di una conciliazione tra logica e matematica, la sua opera, insieme a quella di Boole e di Hamilton, getta i fondamenti per i successivi sviluppi della logica matematica moderna. ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: LOGICA MATEMATICA – SILLOGISMO – LONDRA – MADURA – INDIA
Mostra altri risultati Nascondi altri risultati su De Morgan, Augustus (4)
Mostra Tutti

Boole, George

Enciclopedia on line

Boole, George Matematico e logico inglese (Lincoln 1815 - Cork 1864). Già nel 1844 ebbe riconoscimenti dalla Royal Society; prof. di matematica dal 1849 al Queen College di Cork. Autore di ricerche sulle equazioni differenziali [...] differenze finite, è tuttavia principalmente noto per i suoi studî di logica matematica che lo pongono a fondatore dell'algebra della logica (The mathematical analysis of logic, 1847; An investigation of the laws of thought, 1854). Egli introdusse ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: EQUAZIONI DIFFERENZIALI – LOGICA MATEMATICA – ROYAL SOCIETY – LINCOLN – ALGEBRA
Mostra altri risultati Nascondi altri risultati su Boole, George (2)
Mostra Tutti

Burali-Fòrti, Cesare

Enciclopedia on line

Burali-Fòrti, Cesare Matematico (Arezzo 1861 - Torino 1931). Insegnò (dal 1887) all'Accademia d'artiglieria e genio di Torino. È noto particolarmente per i suoi lavori sul calcolo vettoriale e la logica matematica, nell'indirizzo [...] di G. Peano. Collaborò con quest'ultimo al Formulario mathematico ed è autore, tra l'altro, del vol. Logica matematica (1894, 2a ed. 1919), la migliore esposizione sistematica della logica di Peano. ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: CALCOLO VETTORIALE – LOGICA MATEMATICA – AREZZO – TORINO
Mostra altri risultati Nascondi altri risultati su Burali-Fòrti, Cesare (1)
Mostra Tutti

tautologia

Enciclopedia on line

tautologia Nella logica formale classica, proposizione che, proponendosi di definire qualcosa, non fa sostanzialmente che ripetere nel predicato ciò che già è detto nel soggetto. In logica matematica si [...] chiama t. (o verità logica) ogni espressione che risulti sempre vera, qualunque siano i valori di verità assegnati alle variabili. ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: LOGICA MATEMATICA – LOGICA – VERITÀ
Mostra altri risultati Nascondi altri risultati su tautologia (4)
Mostra Tutti

decisione

Enciclopedia on line

Diritto D. nel diritto dell'Unione Europea È una delle fonti derivate del diritto dell’Unione Europea (UE), insieme alle direttive e ai regolamenti (art. 288 del Trattato sul funzionamento dell’UE). [...] se il predicato conviene o no a ciascun individuo, oppure gruppo di individui. Per i sistemi formali deduttivi della logica matematica il problema della d. può essere posto sotto due diversi aspetti: a) se sia decidibile l’insieme degli assiomi ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA – TEMI GENERALI – DIRITTO COMUNITARIO E DIRITTO INTERNAZIONALE – SOCIOLOGIA
TAGS: DISTRIBUZIONE DI PROBABILITÀ – DIRITTO DELL'UNIONE EUROPEA – TEORIA DELLE DECISIONI – GRAFICA COMPUTERIZZATA – INGEGNERIA GESTIONALE
Mostra altri risultati Nascondi altri risultati su decisione (2)
Mostra Tutti

formula

Enciclopedia on line

Chimica Notazione che utilizza simboli e indici per dare informazioni relative alla composizione atomica e alla struttura di una molecola. Infatti a seconda del grado di dettaglio utilizzato è possibile [...] (per es.: f. di addizione, di bisezione ecc., in trigonometria) o dal matematico che per primo le stabilì (per es.: formule di Cardano, di Taylor ecc.). In logica matematica, f. ben formata (spesso abbreviata in f.b.f. o fbf), espressione di ... Leggi Tutto
CATEGORIA: CHIMICA GENERALE – MINERALOGIA – LOGICA MATEMATICA – TRIGONOMETRIA – DIRITTO CIVILE – STORIA E FILOSOFIA DEL DIRITTO – PRATICHE RITUALI E LITURGICHE
TAGS: RETICOLO CRISTALLINO – ETÀ DEL PRINCIPATO – LOGICA MATEMATICA – LEGIS ACTIONES – DIRITTO CIVILE
Mostra altri risultati Nascondi altri risultati su formula (1)
Mostra Tutti

dimostrazione

Enciclopedia on line

Filosofia Processo logico-discorsivo (dal gr. apodissi) in virtù del quale si arriva a garantire la validità di un enunciato. La nozione di d. venne introdotta da Aristotele che la definì come quella forma [...] scienza dimostrativa a priori (Aristotele, I. Kant), basata su principi immutabili, inerenti alle forme stesse della intuizione. In logica matematica, una successione finita di espressioni A1,..., An di un linguaggio L di un sistema formale T si dice ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA – DOTTRINE TEORIE E CONCETTI
TAGS: LOGICA MATEMATICA – SISTEMA FORMALE – GNOSEOLOGICO – ARISTOTELE – SILLOGISMO
Mostra altri risultati Nascondi altri risultati su dimostrazione (4)
Mostra Tutti

Whitehead, Alfred North

Enciclopedia on line

Whitehead, Alfred North Logico, matematico e filosofo britannico (Ramsgate 1861 - Cambridge, Mass., 1947). La sua attività speculativa fu caratterizzata in un primo tempo da indagini sui fondamenti e i problemi della logica matematica [...] negli USA. Opere e pensiero Dalla sua iniziale attività speculativa, volta a indagare i fondamenti e i problemi della logica matematica e della teoria della relatività, scaturirono: i volumi A treatise on universal algebra (1898), An introduction to ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: TEORIA DELLA RELATIVITÀ – HARVARD UNIVERSITY – LOGICA MATEMATICA – GNOSEOLOGICI – COSMOLOGIA
Mostra altri risultati Nascondi altri risultati su Whitehead, Alfred North (3)
Mostra Tutti

Turing, Alan Mathison

Enciclopedia on line

Turing, Alan Mathison Matematico e logico matematico britannico (Londra 1912 - Wilmslow, Cheshire, 1954). Pioniere della scienza dell'informazione e dell'intelligenza artificiale, ha legato il suo nome, in particolare, a un [...] una determinata n-pla di numeri. Il nome di T. è legato anche ad altri importanti risultati di logica matematica, come una dimostrazione dell'indecidibilità del calcolo predicativo puro e alla dimostrazione dell'insolubilità del problema della parola ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: SCIENZA DELL'INFORMAZIONE – INTELLIGENZA ARTIFICIALE – SECONDA GUERRA MONDIALE – LOGICA MATEMATICA – MATEMATICA
Mostra altri risultati Nascondi altri risultati su Turing, Alan Mathison (3)
Mostra Tutti

contraddizione

Enciclopedia on line

Come termine specifico di logica, la c. è il rapporto vigente tra un’affermazione e una negazione di egual soggetto e di egual predicato. In questa antitesi, vero essendo un termine, l’altro deve essere [...] qualifica un soggetto con un attributo che è escluso dalla natura stessa del soggetto (per es. sfera cubica). In logica matematica il principio di c. è espresso dalla formula ¬ (p ⋀ ¬ p). Questo principio, in relazione a un calcolo logistico, impone ... Leggi Tutto
CATEGORIA: LOGICA
TAGS: LOGICA MATEMATICA – ARISTOTELE – DIANOETICA – INTELLETTO – LOGICA
Mostra altri risultati Nascondi altri risultati su contraddizione (3)
Mostra Tutti
1 2 3 4 5 6 7 8 ... 39
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