Cerca in:
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 [...] previsione. Nel campo della logica e dei fondamenti della matematica la posizione di P. è nettamente avversa al logicismo di Russell e si avvicina piuttosto, precorrendole, alle tesi dell'intuizionismo di L. E. Brouwer; critico dell'idea cantoriana ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Brouwer, Luitzen Egbertus Jan
Enciclopedia on line
Matematico e filosofo olandese (Overschie, Rotterdam, 1881 - Laren, Olanda Settentr., 1966); dal 1912 prof. all'univ. di Amsterdam. È stato uno dei fondatori della moderna topologia, e di vedute topologiche [...] gruppi continui, ecc.). Come filosofo ed epistemologo, è da considerare il caposcuola della corrente cosiddetta dell'intuizionismo, la quale afferma la possibilità di logiche trivalenti o addirittura polivalenti, mettendo in discussione il principio ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Heyting, Arend
Enciclopedia on line
Matematico e logico (Amsterdam 1898 - Lugano 1980), prof. all'univ. di Amsterdam. Insieme con L. E. J. Brouwer è uno dei creatori dell'intuizionismo. Tra le sue opere: Die formalen Regeln der intuitionistischen [...] Logik (1930), Die intuitionistische Grundlegung der Mathematik (1931), Intuitionism (1956) ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Weyl, Hermann
Enciclopedia on line
Matematico, fisico e filosofo (Elmshorn 1885 - Zurigo 1955), prof. nelle univ. di Zurigo (1913), Gottinga (1930), Princeton, (1933). Si occupò con grande successo di svariati argomenti: teoria delle algebre, [...] and representation of continuous groups (1955). In Das Kantismum (1918) criticò la concezione formalista della matematica da un punto di vista vicino all'intuizionismo di L. E. J. Brouwer; il suo lavoro più compiuto di filosofia della scienza si ...
Leggi Tutto
Kleene, Stephen Cole
Enciclopedia on line
Matematico e logico matematico statunitense (Hartford, Connecticut, 1909 - Madison, Wisconsin, 1994). Dal 1935 al 1979 prof. all'univ. di Wisconsin, a Madison; dal 1969 fu membro della National academy [...] (gerarchia analitica). Si interessò anche delle relazioni tra la teoria della ricorsività e l'intuizionismo, nonché di analisi intuizioniste. Tra le sue opere: General recursive functions of natural numbers (1936), Lambda-definability and ...
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 [...] : di qui la posizione privilegiata del pensiero geometrico. Ma, secondo Enriques, l’importanza dell’intuizione non può oscurare il fatto che la matematica procede per postulati astratti che consentono l’uso della logica e conferiscono rigore alle sue ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
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 [...] il costruttivismo del formalismo estremo e dell'intuizionismo e l'assiomatismo del logicismo e del formalismo moderato. La logica operativa nasce dalla riflessione su ciò che in pratica fa il logico, cioè sul suo "operare con simboli", e in questo ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE