Whitehead, Alfred North
Enciclopedia on line
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 [...] e i problemi della logica matematica e della teoria della relatività, scaturirono: i volumi A treatise on universal algebra (1898), An introduction to mathematics (1911; trad. it. 1953), i saggi dedicati all'approfondimento delle teorie einsteiniane ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
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 [...] .W. Leibniz per evitare divergenze d’interpretazione connesse con il linguaggio comune; ma il suo sviluppo è opera dei fondatori dell’algebra della logica, in particolare di G. Boole. Verso la fine del 19° sec., la i. logica ha ricevuto ampi sviluppi ...
Leggi Tutto
matematica
Enciclopedia on line
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] conoscenze matematiche dei Greci, con la risoluzione e la teoria delle equazioni di 3° e 4° grado per opera di algebristi italiani (S. Dal Ferro, N. Tartaglia, G. Cardano, L. Ferrari, R. Bombelli).
Il Seicento e il Settecento. - Già nel Cinquecento ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
–
MATEMATICA APPLICATA
–
STORIA DELLA MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
logica intuizionista
Enciclopedia della Scienza e della Tecnica (2008)
logica intuizionista
Silvio Bozzi
La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel 1929 [...] è isomorfa a un reticolo di aperti, i teoremi proposizionali di HI sono le formule vere in ogni interpretazione in algebre di Heyting. Con le tecniche introdotte da Tarski si possono dimostrare molte proprietà significative di HI, per es., che esso ...
Leggi Tutto
CATEGORIA:
LOGICA
operatore
Enciclopedia on line
Biologia
In genetica, tratto di DNA che fa parte di un operone e condiziona la trascrizione dei geni strutturali immediatamente adiacenti (➔ operone).
Filosofia
In filosofia analitica, un’espressione [...] di un o. ω ∈ Ω l’insieme dei valori complessi z per i quali l’o. ω−z (pure ∈ Ω) non è dotato di inverso entro l’algebra Ω: questo spettro è un insieme S(ω) chiuso e limitato, non vuoto, del piano di Gauss, e il suo studio è di grande interesse per la ...
Leggi Tutto
logico
Dizionario delle Scienze Fisiche (1996)
logico
lògico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] d'integrazione (famiglia MOS, bipolare, ecc.): v. circuiti elettronici integrati: I 615 b, 621 e. ◆ [ELT] [INF] Livello l.: nell'algebra booleana dei circuiti l., ciascuno dei valori 0 e 1 che possono assumere le variabili. ◆ [ALG] [INF] Operazioni l ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA
–
ELETTRONICA
rappresentazione
Enciclopedia on line
L’attività e l’operazione di rappresentare con figure, segni e simboli sensibili, o con processi vari, anche non materiali, oggetti o aspetti della realtà, fatti e valori astratti, e quanto viene così [...] r. irriducibili: la soluzione è possibile (teorema di H. Weyl) se G è un gruppo topologico compatto. Problema della r. In algebra, consiste nella ricerca di un gruppo, un anello, un campo ecc. che sia isomorfo (o anche solo omomorfo) a un assegnato ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
MECCANICA QUANTISTICA
–
GEOMETRIA
–
DOTTRINE TEORIE E CONCETTI
–
METAFISICA
combinatorio
Enciclopedia on line
Filosofia
G.W. Leibniz chiamò arte c. quella che R. Lullo aveva battezzato ars magna, e cioè il simboleggiamento dei vari concetti in segni geometrici o algebrici, tale che permettesse di combinarli reciprocamente [...] procedimenti e i suoi risultati trovano continua applicazione nell’algebra (coefficienti binomiali, determinanti, gruppi di sostituzioni) e matematica c. ha avuto le sue origini da studi di algebra c. (con le relazioni su reticoli e morfismi tra ...
Leggi Tutto
proposizione
Dizionario delle Scienze Fisiche (1996)
proposizione
proposizióne [Der. del lat. propositio -onis, dal part. pass. propositus di proponere "mettere avanti", comp. di pro- e ponere "porre"] [ALG] [FAF] Nella logica matematica, enunciazione [...] e viceversa (ciò è noto anche come legge delle p. inverse). ◆ [ALG] [FAF] Algebra, o calcolo, delle p., o calcolo degli enunciati: il calcolo algebrico logico nel quale, senza indagare sulla struttura delle singole p. semplici, si esamina come queste ...
Leggi Tutto
Ruffini, Paolo
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Paolo Ruffini
Francesco Barbieri
Franca Cattelani Degani
Paolo Ruffini, medico e matematico, deve la sua fama principalmente ai risultati ottenuti nel campo delle equazioni algebriche, anche se i suoi [...] 3 valori distinti e che è impossibile ricorrere a risolventi di primo o di secondo grado. Era così provata l’irresolubilità algebrica per equazioni di 5° grado e Ruffini si limitò a brevi cenni per l’estensione ai gradi superiori, questione che sarà ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE