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

TAGS: INTUIZIONISMO – AMSTERDAM – LUGANO

funzionale

Enciclopedia on line

In matematica, variabile y che dipende non da una o più variabili, ma da una funzione f; in simboli: y=F(f). Un f. non è da confondere con una funzione composta (o funzione di funzione): la y è f. di f(x), [...] L’ analisi funzionale è il capitolo della matematica che tratta dei funzionali. È merito di V. Volterra (1887) e di J. Hadamard (1910) l matematici come il teorema di punto fisso (di Brouwer), la teoria di Morse, delle biforcazioni ecc. Integrale ... Leggi Tutto

CATEGORIA: ANALISI MATEMATICA

TAGS: FUNZIONE A VARIAZIONE LIMITATA – CALCOLO DELLE VARIAZIONI – EQUAZIONI DIFFERENZIALI – INTEGRALE DI STIELTJES – TEOREMA DI PUNTO FISSO

LOGICA MATEMATICA

Enciclopedia Italiana - III Appendice (1961)

LOGICA MATEMATICA (XXI, p. 398; App. II, 11, p. 226) Alberto PASQUINELLI Ludovico GEYMONAT MATEMATICA Il recente sviluppo della l. m. è caratterizzato da un ulteriore consolidamento istituzionale e [...] hanno avuto negli ultimi anni intenso sviluppo, soprattutto grazie all'opera di studiosi come L. E. J. Brouwer, A. Heyting, S. C. Kleene, J. B. Rosser, A. R. Turquette, J. C. McKinsey, O. Becker, G. H. von Wright, A. Schmidt, B. Sobociński, ecc ... Leggi Tutto

TAGS: CALCOLO PROPOSIZIONALE – LOGICA INTUIZIONISTICA – SISTEMA ASSIOMATICO – LOGICA POLIVALENTE – CALIFORNIA

TOPOLOGIA

Enciclopedia Italiana - IV Appendice (1981)

TOPOLOGIA (v. analysis situs, I, p. 87; topologia astratta, App. II, 11, p. 1004; topologia, App. III, 11, p. 960) Santuzza Baldassarri Ghezzo La t. oggi è una delle discipline fondamentali della matematica; [...] appaiono curiosi o addirittura paradossali, come per es., l'esistenza nel piano di tre (o più) regioni limitate e "semplicemente connesse" che hanno il medesimo contorno (L. E. J. Brouwer). Comunque la ricchezza dei concetti intuitivi, elegantemente ... Leggi Tutto

TAGS: RELAZIONE DI EQUIVALENZA – TEORIA DELLE CATEGORIE – VARIETÀ TOPOLOGICHE – RICOPRIMENTO APERTO – RELAZIONE D'ORDINE

Scienza indiana. La scienza nella cultura indiana

Storia della Scienza (2001)

Scienza indiana. La scienza nella cultura indiana Frits Staal La scienza nella cultura indiana Il concetto di scienza e la classificazione delle scienze Per designare le conoscenze sistematiche indiane [...] ne erano privi, ma il suo intrinseco significato è più profondo. Pitagora era vegetariano e credeva nella metempsicosi, Kepler era un astrologo, Newton un alchimista, L.E.J. Brouwer un teosofo e Srinivasa Ramanujan, il più grande matematico indiano ... Leggi Tutto

CATEGORIA: FILOSOFIA DEL LINGUAGGIO – TEMI GENERALI – STORIA DELLA MATEMATICA – STORIA DEL PENSIERO FILOSOFICO

Intuizionismo

Enciclopedia del Novecento (1978)

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 [...] . □ Bibliografia. 1. Concetti fondamentali La concezione intuizionista della matematica è stata introdotta da L.E.J. Brouwer. Egli ne formulò le idee fondamentali nel 1907 e nel 1908; nel 1918 incominciò a sviluppare teorie matematiche ispirate ai ... Leggi Tutto

TAGS: TEOREMA DI BOLZANO-WEIERSTRASS – PRINCIPIO DEL TERZO ESCLUSO – QUANTIFICATORE UNIVERSALE – LIMITE DI UNA SUCCESSIONE – CORRISPONDENZA BIUNIVOCA

costruttivismo

Enciclopedia on line

Arte e architettura Movimento d’avanguardia che si sviluppò in Russia nel complesso clima d’impegno ideologico e culturale degli anni successivi alla Rivoluzione del 1917. Sulla base di stimoli e suggestioni [...] artisti attivi anche nel secondo dopoguerra, come M. Bill e J. Albers. Matematica Indirizzo epistemologico (sostenuto nella sua forma più radicale dai matematici intuizionisti L.E.J. Brouwer, A. Heyting), che accetta in matematica solo definizioni ... Leggi Tutto

CATEGORIA: ACCADEMIE SCUOLE E MOVIMENTI – TEMI GENERALI

TAGS: EPISTEMOLOGICO – AVANGUARDIA – MATEMATICA – SOCIALISMO – VCHUTEMAS

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, [...] 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 der Mathematik und ... Leggi Tutto

CATEGORIA: BIOGRAFIE – FISICA MATEMATICA – METAFISICA

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

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 [...] ; il potenziamento del logicismo di B. Russell mediante la teoria 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 ... Leggi Tutto

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

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, [...] (o più) quantità X e Y nella forma X + y2= l e se non ci limitiamo ai numeri , 1988. GEROCH, R., HARTLE, J. Computability and physical theories. In Between Croom Helm, 1988. VAN STIGT, W.P. Brouwer's intuitionism. Amsterdam, Elsevier, 1990. TYMOCZKO, ... Leggi Tutto

CATEGORIA: COSMOLOGIA – TEMI GENERALI