Filosofia
Principio certo per immediata evidenza e costituente la base per l’ulteriore ricerca. Kant, nella Critica della ragion pura, chiama a. dell’intuizione alcuni giudizi a priori, di evidenza immediata, [...] significato attribuito agli a. dagli antichi e dai logici moderni si hanno due diversi tipi di assiomatica: J. Lukasiewicz, D. Hilbert-W. Ackermann, D. Hilbert-P. Bernays. matematica
In origine, presso i Greci, l’a. in quanto nozione generale evidente ...
Leggi Tutto
Filosofia
Rapporto per il quale una conclusione deriva da una o più premesse. Nella storia della filosofia si distinguono tre principali interpretazioni di tale rapporto. Secondo la prima, esso è fondato [...] realizzare un accordo: è questa la posizione convenzionalistica della logica contemporanea per cui le regole della d. non si dimostrazione sistematica di tutte le proposizioni della filosofia.
Matematica
Teorema di d. Noto anche come teorema di ...
Leggi Tutto
PROBABILITÀ, Calcolo delle (XXVIII, p. 259; App. II, 11, p. 611; III, 11, p. 485)
Giorgio Dall'Aglio
Il calcolo delle p., entrato con l'inizio del secolo nella sua fase moderna, ha proseguito anche negli [...] tra calcolo delle p. e vari settori della matematica. Per quest'ultimo aspetto è di utile consultazione il B, data A. La teoria della p. viene così vista come "la logica dell'incerto". Per formalizzare la determinazione della p. e le sue regole di ...
Leggi Tutto
ROBINSON, Abraham
Matematico e logico, nato a Waldenburg (Baden-Württemberg) il 6 ottobre 1918, morto l'11 aprile 1974. Studiò a Gerusalemme, a Parigi e a Londra. È stato professore di matematica applicata [...] applicata si è interessato di meccanica dei fluidi. I suoi contributi più importanti riguardano i rapporti tra logica e matematica. Egli infatti intorno al 1950 ha creato la teoria dei modelli e nel 1960 la Nonstandard analysis, che sviluppa ...
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
Metodo
GGerard Radnitzky
di Gerard Radnitzky
Metodo
sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] i metodi formali, ma che ha metodi e problemi (tra cui problemi di metodo) suoi propri.
b) Metodi logico-matematici
La derivazione di formule, la trasformazione - preservante il valore di verità - di formule nel quadro di un sistema deduttivo ...
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
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
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
Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] , ma soltanto che era necessario fissare le proprietà delle successioni di scelte che devono essere usate nelle dimostrazioni.
In logicamatematica si studia la combinazione di dimostrazioni; dato che una dimostrazione è a sua volta una costruzione ...
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...