La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] otterrà la medaglia Fields nel 1962.
Automi finiti. Il logico americano Stephen Kleene rielabora il concetto di rete neurale di terrestri di quota) nelle quali rimangono intappolate, a opera del campo magnetico terrestre, le particelle di alta energia ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1991-2000
1991-2000
1991
Il sistema operativo Linux. Uno studente finlandese, Linus Torvalds, sviluppa il sistema operativo Linux. Il sistema può essere distribuito, [...] .
1996
Dimostrata la congettura di Mordell-Lang. Il logico israeliano Ehud Hrushovski dimostra la congettura di Mordell-Lang, km, nel periodo dal 29 dicembre 1998 al 9 gennaio 1999, operando sulle quattro frequenze di 90, 150, 240 e 400 GHz, intorno ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] . Dai lavori di Kurt Gödel degli anni Trenta era noto che la teoria logica degli interi con le operazioni + e × è indecidibile; ciò lasciava aperta la ricerca di sottoteorie decidibili. Un primo risultato era stato ottenuto da Thomas Pressburger ...
Leggi Tutto
Geometria non commutativa
Irving E. Segal
Sommario: 1. Introduzione. 2. La meccanica quantistica e l'algebra degli operatori. 3. Le forme differenziali quantistiche. 4. Le C*-algebre e la loro teoria [...] dimensionali.
In un contesto infinito-dimensionale è logico presupporre che per un teorema di struttura z〉 e w* in 0. D0 (z) è l'aggiunto di C0 (z), l'operazione di moltiplicazione a sinistra per z su C+, e C(z) è appropriatamente definibile come l' ...
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
L'Ottocento: matematica. Calcolo delle variazioni
Craig Fraser
Calcolo delle variazioni
Il problema di Euler
Nel 1744 Leonhard Euler formulò il problema principale del calcolo delle variazioni nei [...] , nel ricavare l'equazione differenziale di Euler per mezzo del suo operatore δ, aveva implicitamente assunto che i termini in δy e δy(1 del suo integrale invariante, è evidente il legame logico di tale definizione con alcuni concetti della teoria di ...
Leggi Tutto
flusso
flusso [Lo stesso etimo di flussione] [MCF] (a) Scorrimento di un fluido, cioè sinon. di corrente (fluida, di cariche elettriche, ecc.), o di energia elettromagnetica (in partic. luminosa, radio, [...] . di un campo vettoriale: relativ. a una superficie S, l'operatore integrale Φ=∫Sv✄ndS, con v vettore del campo e n versore di una successione di eventi e della loro concatenazione logico-temporale, impiegato per illustrare le fasi di un procedimento ...
Leggi Tutto
Espressione con cui si nega, contrario di affermazione.
Filosofia
Il latino negatio corrisponde all’ἀπόϕασις della logica aristotelica, designante il giudizio che connette il soggetto e il predicato in [...] come atto del negare ma anche come contenuto negato. Alla n. logica corrisponde, nell’algebra delle classi, il passaggio da un insieme A classe degli enti che non godono dell’attributo A. L’operatore ¬ (non) si associa alla funzione di verità Non (➔ ...
Leggi Tutto
METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] così intrapresi, alcuni si sono ben presto distinti con peculiare evidenza: massimamente, l'opera assiomatica zermeliana in materia d'insiemi; il potenziamento del logicismo di B. Russell mediante la teoria dei tipi; e, non senza risalto antitetico ...
Leggi Tutto
operatore
operatóre s. m. [dal lat. tardo operator -oris]. – 1. (f. -trice) a. Chi opera, chi compie determinate azioni o operazioni, per lo più abitualmente. Raro in usi generici: o. del male; o. di incantesimi; o. d’inganni; e ant. con il...
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...