La scienza bizantina e latina: la nascita di una scienza europea. La struttura del sapere
Alfonso Maierù
La struttura del sapere
La classificazione delle conoscenze
Il periodo che precede la 'rinascita' [...] degli enti, dei loro attributi, dei principî delle dimostrazioni delle scienze teoretiche 'particolari' (che sono tre, cioè logica, matematica e scienza naturale) e delle intelligenze (enti che non sono corpi né sono in un corpo). Il quinto capitolo ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] introdotta da Cohen, detta forcing, è il più importante strumento usato per costruire modelli di teorie insiemistiche nella moderna logicamatematica.
La scoperta della molecola OH. Alan H. Barret e i suoi collaboratori del MIT applicano per la prima ...
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, [...] , applicandola ai gruppi di rango di Morley finito, e rivela l'esistenza di profonde connessioni tra la logicamatematica e la geometria algebrica.
Costruzione di sottovarietà simplettiche. S.K. Donaldson sviluppa una procedura generale per produrre ...
Leggi Tutto
Fisica matematica
EEugene P. Wigner
di Eugene P. Wigner
Fisica matematica
sommario: 1. Introduzione. 2. Il ruolo della matematica nella fisica. a) Uno schema dei concetti fondamentali della fisica. [...] sono state influenzate dalla fisica e che attualmente non svolgono a loro volta alcun ruolo nella fisica, e cioè la logicamatematica e la teoria dei numeri. In definitiva si può concludere che l'interazione tra le due discipline è veramente intensa ...
Leggi Tutto
Numeri, teoria dei
LLarry Joel Goldstein
di Larry Joel Goldstein
SOMMARIO: 1. Introduzione: a) argomenti fondamentali; b) la teoria dei numeri nel XVII e XVIII secolo; c) Gauss. □ 2. Teoria algebrica [...] che un tale algoritmo non esiste. La soluzione del decimo problema di Hilbert si appoggia sostanzialmente su metodi di logicamatematica. Tuttavia i risultati di Baker danno algoritmi del tipo voluto, sia pure per delle classi ristrette di equazioni ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
La logica antica
Walter Cavini e Luca Castagnoli (*)
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Dalla tarda Antichità all’Età Moderna la logica [...] .
In età moderna, Gottlob Frege, cui si deve il distacco definitivo della logica dalla millenaria tradizione della sillogistica aristotelica e l’invenzione della logicamatematica, osservava che “tutte le scienze hanno come meta finale la verità”, ma ...
Leggi Tutto
Ermeneutica
Hans-Georg Gadamer
di Hans-Georg Gadamer
Ermeneutica
sommario: 1. L'ermeneutica nell'antichità. 2. L'ermeneutica nell'età moderna. □ Bibliografia.
1. L'ermeneutica nell'antichità
Come spesso [...] und Methode, in ‟Göttingischer gelehrter Anzeiger", 1966, pp. 218 ss.). Di fronte alle pretese monopolistiche della logicamatematica moderna e ai suoi ulteriori sviluppi, anche nella nostra epoca si preannunciano le resistenze della retorica e della ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] opuscolo Die Grundlagen der Arithmetik (I fondamenti dell'aritmetica, 1884) e che orienta tutta la sua ricerca logico-matematica. Una ricerca iniziata nel 1879 con la pubblicazione della Begriffsschrift (Ideografia), ossia una lingua per concetti, un ...
Leggi Tutto
La grande scienza. Combinatoria
Peter J. Cameron
Combinatoria
Secondo alcuni la combinatoria costituisce soltanto una parte della matematica, secondo altri essa non rappresenta una branca separata, [...] ci riferiamo di nuovo alla Mathematical Subject Classification. Essa mostra rinvii dalla combinatoria alla logicamatematica e ai fondamenti (calcolabilità e teoria della ricorsività), a ordini, reticoli, strutture algebriche ordinate (aspetti ...
Leggi Tutto
Scienza greco-romana. Archimede
Reviel Netz
Archimede
Archimede è l’unico dei matematici greci di cui abbiamo notizie storiche; questa eccezionalità è dovuta in parte ai risultati da lui ottenuti, [...] del liceo, al contrario della precedente formula equivalente data da Dijksterhuis, ed è invece più vicina alla logicamatematica moderna: astratta, complicata e rigorosa. Ciononostante, non è opportuno concludere che Archimede mancasse del moderno ...
Leggi Tutto
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,...
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...