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

TAGS: INTUIZIONISMO – CONNECTICUT – RECURSIONE – WISCONSIN – HARTFORD

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 [...] dei tipi; e, non senza risalto antitetico, la formulazione da parte di L. E. J. Brouwer dell'intuizionismo (o neo-intuizionismo, tenendo conto di specifici antecedenti ravvisabili nel pensiero di Poincaré, di L. Kronecker, e simili). Il contributo ... Leggi Tutto

TAGS: TEORIA DELLA DIMOSTRAZIONE – PRINCIPIO D'INDUZIONE – SISTEMA ASSIOMATICO – ESPERIMENTI MENTALI – GEOMETRIA EUCLIDEA

MINKOWSKI, Eugène

Enciclopedia Italiana - IV Appendice (1979)

MINKOWSKI, Eugène Mariannita Lospinoso Psichiatra, nato a Pietroburgo il 17 aprile 1885, da famiglia polacca, morto a Zurigo il 20 luglio 1972. Studia medicina a Varsavia (1905), laureandosi a Monaco [...] fenomenologica, è presidente della rivista L'évolution psychiatrique, che riflette la sua impostazione. In M. l'intuizionismo di Bergson, mediato da Husserl, dà origine a una concezione fenomenologica e strutturalista della persona umana in ... Leggi Tutto

TAGS: ESERCITO FRANCESE – PSICOPATOLOGIA – INTUIZIONISMO – FENOMENOLOGIA – VARSAVIA

MOSTOWSKI, Andrzej

Enciclopedia Italiana - IV Appendice (1979)

MOSTOWSKI, Andrzej Logico matematico polacco, nato a Leopoli il 1° novembre 1913. Dal 1947 professore di matematica all'università di Varsavia; dal 1956 membro dell'Accademia polacca delle scienze. Nel [...] . Si è interessato dei fondamenti dell'aritmetica e dell'analisi, delle teorie dei modelli, di logiche polivalenti, di intuizionismo. Nel 1946 ha scoperto analogie tra la teoria delle funzioni ricorsive e quella degl'insiemi boreliani. Nel 1949 ha ... Leggi Tutto

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, [...] 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 può considerare peraltro Philosophie ... Leggi Tutto

CATEGORIA: BIOGRAFIE – FISICA MATEMATICA – METAFISICA

TAGS: GEOMETRIA DIFFERENZIALE – FILOSOFIA DELLA SCIENZA – EQUAZIONI DIFFERENZIALI – MECCANICA QUANTISTICA – TEORIA DEI NUMERI

LOGICA MATEMATICA

Enciclopedia Italiana - IV Appendice (1979)

LOGICA MATEMATICA Aldo Marruccelli Alberto Pasquinelli (XXI, p. 398; App. II, 11, p. 226; III, 1, p. 999). Princìpi di logica matematica. È opportuno premettere all'articolo che dà notizia dei progressi [...] l. combinatoria, teoria della dimostrazione costituiscono aspetti ulteriormente distintivi del quadro in esame. Le particolari tesi logiche dell'intuizionismo di L. E. J. Brouwer, già sottoposte con profitto da A. Heyting a trattamento formale, sono ... Leggi Tutto

TAGS: TEORIA DELLA DIMOSTRAZIONE – TEORIA DELLE CATEGORIE – TEORIA DEGLI INSIEMI – SISTEMA ASSIOMATICO – TEORIA DEI MODELLI

MISES, Richard von

Enciclopedia Italiana - III Appendice (1961)

MISES, Richard von Vito A. BELLEZZA Matematico e filosofo della scienza, nato a Leopoli il 19 aprile 1883, morto a Boston il 14 luglio 1953. Professore nelle università di Strasburgo (1909), Dresda [...] e vagliare interpretazioni filosofiche di questioni di fisica e di biologia, nonché indirizzi filosofici contemporanei, quali l'intuizionismo bergsoniano e l'esistenzialismo heideggeriano. Tra i suoi scritti di filosofia della scienza: Grundlagen der ... Leggi Tutto

TAGS: CALCOLO DELLE PROBABILITÀ – FILOSOFIA DELLA SCIENZA – NEOPOSITIVISMO LOGICO – CIRCOLO DI VIENNA – ESISTENZIALISMO

Maritain, Jacques

Dizionario di filosofia (2009)

Maritain, Jacques Filosofo francese (Parigi 1882- Tolosa 1973). Di famiglia protestante, terminati gli studi liceali si iscrisse alla Sorbonne, dove frequentò per alcuni anni i corsi di scienze naturali, [...] et scolastique (1920; trad. it. Arte e scolastica) con Creative intuition in art and poetry (1953; trad. it. L’intuizione creativa nell’arte e nella poesia), ossia sull’idea dell’arte come virtù intellettuale, e sulla bellezza come finalità propria ... Leggi Tutto

TAGS: SECONDA GUERRA MONDIALE – ACTION FRANÇAISE – FILOSOFIA MORALE – DIRITTO NATURALE – LINGUA FRANCESE

fondamenti della matematica

Enciclopedia della Matematica (2017)

fondamenti della matematica fondamenti della matematica locuzione con la quale si indica, in senso lato, lo studio delle basi epistemologiche della logica e della matematica; in senso stretto, l’espressione [...] al problema dei fondamenti elaborati in questo quadro, tre ebbero rilevanza speciale: il → logicismo, il → formalismo e → l’intuizionismo. Il logicismo, con F.G. Frege e B. Russell, sosteneva la riduzione della matematica alla logica, ossia la ... Leggi Tutto

TAGS: PRINCIPIO DEL TERZO ESCLUSO – GEOMETRIE NON EUCLIDEE – TEORIA DEGLI INSIEMI – TEORIA DEI MODELLI – FUNZIONI RICORSIVE

LE ROY, Édouard

Enciclopedia Italiana (1933)

LE ROY, Édouard Guido Calogero Pensatore francese, nato a Parigi nel 1870, professore al Collège de France e membro dell'Istituto. Suoi scritti principali: Dogme et critique (Parigi 1907); Une philosophie [...] . per escludere l'idea del ferreo dominio della natura e interpretare le sue leggi come pure regole pratiche: l'intuizionismo del Bergson lo aiuta a rivalutare, contro l'analisi e la classificazione naturalistica, la conoscenza intuitiva, e a cercare ... Leggi Tutto