Cerca in:
Lorenzen, Paul Peter Wilhelm
Enciclopedia on line
Logico e matematico tedesco (Kiel 1915 - Gottinga 1994), prof. di filosofia all'univ. di Kiel (dal 1956; dal 1980 prof. emerito). Creò la logica operativa, che rappresenta una posizione intermedia fra [...] assiomi e regole originali. Le regole ammissibili per qualsiasi calcolo sono per L. gli equivalenti dei principî della logica. Tra le sue opere: Konstruktive Begründung der Mathematik (1950-51), Einführung in die operative Logik und Mathematik (1955 ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] nozioni sono fondamentali per tutta la matematica e, a seconda del punto di vista, possono essere considerate di natura insiemistica o logica. Con l'opera di Cantor, Dedekind e Giuseppe Peano (1858-1932), verso la fine del XIX sec. risultò chiaro che ...
Leggi Tutto
Frege, Gottlob
Enciclopedia on line
Filosofo e matematico tedesco (Wismar 1848 - Bad Kleinen, Meclemburgo, 1925); insegnò lungamente a Jena; erano gli anni in cui scienziati illustri come K. Weierstrass, J. W. R. Dedekind, G. Cantor davano [...] lavori di F. hanno notevole importanza, sia dal punto di vista filosofico sia da quello tecnico, nel quadro storico della logica matematica. Il valore della sua opera, pressoché ignorata in vita, fu pienamente riconosciuto solo dopo la sua morte. La ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Logica matematica
Enciclopedia del Novecento (1978)
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 [...] linguistica, per cui un insieme finito non possiede un maggior grado di realtà di un insieme infinito. Per un positivista logico l'intera matematica è parte del linguaggio e il problema stesso dell'esistenza di entità infinite è privo di senso. In ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
METAMATEMATICA
Enciclopedia Italiana - IV Appendice (1979)
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 [...] (a cura di P. Benacerraf, H. Putnam), Englewood Cliffs, N. J., 1964; From Frege to Gödel, a source book in mathematical logic 1879-1931 (a cura di J. Van Hejenoort), Cambridge, Mass., 1967; La filosofia della matematica (a cura di C. Cellucci), Bari ...
Leggi Tutto
L'Universo matematico
Frontiere della Vita (1998)
L'Universo matematico
John D. Barrow
(Astronomy Centre, University of Sussex, Brighton, Gran Bretagna)
Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...] cose tramite la successione dei passaggi, o operazioni, che dovrebbero essere eseguite per misurarle. C'è infine la tradizione del logicismo, che cerca di codificare tutto il nostro sapere in un sistema di assiomi e di regole di inferenza, e che ...
Leggi Tutto
matematica
Enciclopedia on line
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] dell’Ottocento sorse il bisogno di una revisione e di un assetto della m. più soddisfacente dal punto di vista puramente logico.
Il nuovo atteggiamento di critica degli studi matematici, che ha fatto definire il 19° sec. il secolo della m. pura, fu ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
–
MATEMATICA APPLICATA
–
STORIA DELLA MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
Poincaré, Jules-Henri
Enciclopedia on line
Matematico (Nancy 1854 - Parigi 1912), tra i più grandi dell'età a cavallo tra i secc. 19º e 20º; cugino di Raymond. Fu tra i più grandi matematici francesi del sec. XIX. L'attività scientifica veramente [...] riferimento alla totalità dei membri della classe stessa). Notevole anche il suo tentativo di individuare, da un punto di vista psicologico, la logica della scoperta scientifica e valutare la complessità dei processi creativi che la determinano. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Enriques, Federigo
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Federigo Enriques
Giorgio Israel
La figura di Federigo Enriques occupa una posizione centrale nella storia della cultura italiana tra la fine dell’Ottocento e la Seconda guerra mondiale. Egli fu uno [...] : La filosofia scientifica a congresso, Parigi 1935, a cura di G. Polizzi, pp. 46-50, rist. in Filosofia scientifica ed empirismo logico, a cura di G. Polizzi, pp. 55-58).
La théorie de la connaissance scientifique de Kant à nos jours, Paris 1938 ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
logica
Enciclopedia on line
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] l.; a lui si richiameranno poi il francese L. Couturat e l’italiano G. Peano, cui si deve l’elaborazione di un simbolismo logico vicino a quello comune e la fondazione di una ‘scuola italiana’ di l. molto attiva tra la fine dell’Ottocento e l’inizio ...
Leggi Tutto