Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] della parte tecnica del programma di Hilbert in alcuni dei suoi aspetti principali, la sua opera ebbe una grande influenza sullo sviluppo successivo della logica matematica. Il sistema deduttivo elaborato da lui e dai suoi seguaci è ancora largamente ...
Leggi Tutto
Econometria
Edmond Malinvaud
Introduzione
L'econometria è oggi una branca della scienza economica; ma per conoscerla a fondo bisogna tener presente che a suo tempo essa fu anche un movimento che propugnava [...] la filosofia della scienza aveva cercato di enucleare una struttura logica comune a tutte le teorie. Al centro di tale struttura 'legge a posteriori'. L'induzione va intesa come l'operazione di passaggio dalla prima alla seconda legge; le regole da ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Il Bourbakismo
Jean-Paul Pier
Il Bourbakismo
L'avvento e l'influenza di Bourbaki costituiscono uno dei fenomeni più sorprendenti nella matematica [...] .
Gli assiomi devono enunciare correttamente le regole del gioco, il contesto in cui si opera. Il punto di partenza è costituito dalla logica formale e dalla teoria degli insiemi. Le strutture sono classificate in ordine di complessità crescente ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] un abbandono del principio del terzo escluso. Lo stesso risultato è inevitabile in tutte le concezioni dette costruttive della logica. Nella logicaoperativa di Paul Lorenzen, per esempio, una costruzione per A è un dialogo in cui falliscono tutti i ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Dalla prospettiva dei pittori alla prospettiva dei matematici
Pietro Roccasecca
Il progressivo abbandono nei dipinti su tavola dei fondi oro in favore di paesaggi e vedute urbane, l’attenzione al naturale [...] là di quanto fosse possibile sostenere in termini logici, storici e scientifici. Nondimeno, dalla descrizione delle 261). Il velo e il vetro servono ad Alberti per dimostrare operativamente l’innovativo modo di intendere la pittura come un piano che ...
Leggi Tutto
BURALI FORTI, Cesare
Evandro Agazzi
Nacque ad Arezzo il 13 ag. 1861 da Cosimo e da Isoletta Guiducci. Dopo aver compiuto gli studi medi nel collegio militare di Firenze, s'iscrisse nel dicembre 1879 [...] costituisce uno dei capitoli più affascinanti e impegnativi della teoria degli insiemi e della filosofia della matematica.
L'operalogica del B. non si esaurisce, comunque, in questi primi lavori: a parte la già menzionata collaborazione che fornisce ...
Leggi Tutto
funzione
funzióne [Der. del lat. functio -onis, dal part. pass. functus di fungi "adempiere"] Concetto che s'identifica con quello di applicazione, essendo peraltro preferito se l'insieme di arrivo è [...] , per lavoro, o energia, di estrazione elettronica da una superficie solida per fotoemissione o per effetto termoelettronico. ◆ F. logica: operazione che, applicata a uno o più elementi (argomenti) di un certo insieme, dà come risultato (valore) un ...
Leggi Tutto
algebra
àlgebra [Lat. algebra, der. dell'arabo al-giabr propr. "restaurazione", e quindi "riduzione" (dapprima nel signif. medico-chirurgico, e poi in quello matematico), che compare la prima volta in [...] e passaggio al complementare) verificanti determinate condizioni: v. circuiti logici: I 618 b. ◆ [ALG] A. C∗: v. algebre di operatori: I 94 e. ◆ [ALG] A. C∗ abeliana: v. algebre di operatori: I 94 f. ◆ [FSN] A. delle cariche, della densità ...
Leggi Tutto
commutatore
commutatóre [s.m. e agg. (f. -trice) Der. di commutare (→ commutante) "che commuta, che effettua una commutazione"] [ELT] [OTT] C. a quattro vie optoelettronico: circuito optoelettronico [...] III 509 c. ◆ [ALG] C. di operatori lineari: per due operatori lineari A e B è l'operatore AB-BA, che s'indica spesso con il simb : dispositivo elettronico, in genere costituito da circuiti logici opportunamente connessi, che serve per avviare, su ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] è dunque un obiettivo basilare dell'informatica teorica. Esso costituisce di fatto una prosecuzione e un arricchimento dell'opera dei logici (quali Kurt Gödel, Stephen Kleene, Alan Turing e Alonzo Church), che negli anni Trenta hanno affrontato e ...
Leggi Tutto
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...
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,...