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
Calcolatori
LLew Kowarski
di Lew Kowarski
SOMMARIO: 1. Definizioni e storia: a) i calcolatori come dispositivi numerici; b) i calcolatori come dispositivi elettronici; c) stadi dello sviluppo storico. [...] .) e costruito intorno al 1945. Nel 1944 questo gruppo, che includeva anche H. H. Goldstine, si arricchì del grande matematico, logico e fisico, J. L. von Neumann. I principi di base, quali il concetto di programma memorizzato e l'elettronica binaria ...
Leggi Tutto
intuizionismo
intuizionismo concezione della matematica secondo cui l’affermazione di esistenza di enti matematici è lecita solo se si dispone di un metodo che ne garantisca la costruibilità. In questo [...] oscure e ambigue asserzioni brouweriane, aprendo in tal modo un canale di comunicazione con il mondo logico-matematico non intuizionista attraverso il quale molti hanno potuto prendere atto della rilevanza del pensiero intuizionista e addirittura ...
Leggi Tutto
Etica
Pietro Piovani
di Pietro Piovani
Etica
sommario: 1. Introduzione. 2. Alla ricerca dell'oggettività dei valori. 3. Mobilità, relatività, storicità. 4. Autonomia e ambiguità. 5. Logica del disordine [...] ha compiuto ben altri progressi grazie all'uso di mezzi conoscitivi adeguati (v. Schlick, 1938, p. 396). Maestri di logicamatematica e di epistemologia avvertono in vario modo il disagio, l'ostacolo del discorso etico, quasi che il maneggiare ...
Leggi Tutto
lambda-calcolo
lambda-calcolo o λ-calcolo o L-calcolo, modello di calcolo introdotto negli anni Trenta del secolo scorso da A. Church allo scopo di rappresentare formalmente il procedimento di computazione [...] di una funzione matematica. Si basa su un linguaggio formale i cui elementi costitutivi sono i termini o lambda-termini, i in un altro e di sviluppare così un calcolo (→ logica combinatoria). Per rappresentare nel lambda-calcolo funzioni numeriche si ...
Leggi Tutto
lineare
lineare [agg. Der. del lat. linearis, da linea] [LSF] Inerente a una linea, in partic : (a) che è costituito o è schematizzabile da una linea (per lo più retta) o che si sviluppa prevalentemente [...] delle forme sia minore di m. ◆ [ANM] Integrale l.: lo stesso che integrale curvilineo. ◆ [ALG] [FAF] [INF] Logica l.: ramo recente della logicamatematica (e quindi anche dell'informatica) che si propone un'analisi più profonda dei connettivi e dei ...
Leggi Tutto
Heyting
Heyting Arend (Amsterdam 1898 - Lugano 1980) logico e matematico olandese. Studiò all’università di Amsterdam, dove poi insegnò fino al suo ritiro nel 1968 e fu allievo di L.E.J. Brouwer. Insieme [...] di Hilbert. Fondamentali sono state le sue formalizzazioni della logica e della matematica intuizioniste (1930). Per la logica, Heyting si fonda sull’interpretazione delle formule logiche come «intenzioni di costruzioni»: «non A», per esempio, indica ...
Leggi Tutto
antinomia
antinomìa [Der. del gr. antinomía "controlegge"] [ALG] [FAF] Nella logica e logicamatematica, sinon. di paradosso logico (→ paradosso). ...
Leggi Tutto
STORIA DELLA MATEMATICA
Luigi Borzacchini
STORIA DELLA MATEMATICA
Il tempo della scienza senza tempo
La matematica è la più antica e la più immutabile delle discipline. Si può dire che la matematica [...] concetti;
2) la distinzione tra sintassi e semantica, l’autonomia e la centralità del sintattico.
La nascita della logicamatematica aveva posto fine alla concezione sostanzialistica del mondo, che dopo Frege veniva descritto in termini di individui ...
Leggi Tutto
Diritto
Bruno Paradisi
di Bruno Paradisi
Diritto
sommario: 1. Considerazioni preliminari. 2. Distinzione nella trattazione del diritto nel XX secolo. 3. Rapporto tra morale e diritto. 4. Il positivismo [...] dal Pascal e dal Cartesio e si pone come l'inizio di un movimento destinato a sfociare nelle codificazioni. Alla logicamatematica era informato il pensiero del Leibniz, che però non fu indotto da ciò a una costruzione astratta, fondata su ipotesi ...
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...