Cerca in:
intuizionismo
Enciclopedia on line
Termine filosofico con cui si designano quelle concezioni che non solo riconoscono una funzione all'intuizione, ma rivendicano a essa un ruolo privilegiato. Di i. si è parlato a proposito della scuola [...] limita a riconoscere un posto primario all'intuizione, ma contrappone questa funzione libera e creatrice all'intelletto schematico e statico. In filosofia della matematica, L.E.J. Brouwer e A. Heyting (1898-1980) si sono opposti alla concezione della ...
Leggi Tutto
CATEGORIA:
STORIA DEL PENSIERO FILOSOFICO
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
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
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
EPISTEMOLOGIA
Enciclopedia Italiana - IV Appendice (1978)
. Assumendo la parola "epistemologia" nel senso di "riflessione critica generale intorno alla conoscenza scientifica", il presente tentativo di sintesi problematica delle acquisizioni epistemologiche post-ottocentesche [...] dagli esponenti del "formalismo": D. Hilbert, P. Bernays, ecc., nonché dell'"intuizionismo": L. E. J. Brouwer, A. Heyting, e altri. Essi auspicarono una ricostruzione della matematica classica in termini, rispettivamente, affatto formalizzati, ovvero ...
Leggi Tutto
GRUPPO
Enciclopedia Italiana (1933)
GRUPPO
Ugo Amaldi
. Termine matematico, corrispondente a un concetto che, per quanto implicito in molti ordini di questioni, anche elementari, ha trovato la sua formulazione precisa soltanto nella [...] saggio sui fondamenti della teoria dei gruppi continui in questo senso più ampio si deve a L. E. J. Brouwer (Math. Annalen. LVII, 1909; LXIX, 1910). Ma qui, mettendoci dal punto di Yista del Lie, che sistematicamente coordinava le sue vedute gruppali ...
Leggi Tutto
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
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
intuizione
Enciclopedia on line
In filosofia, rapporto immediato e diretto tra soggetto pensante e oggetto; questo rapporto può essere poi inteso come semplice presenza dell’oggetto alla mente o come immedesimazione del soggetto nell’oggetto. [...] peculiare nel campo valutativo. Nell’opera di M. Scheler e N. Hartmann, l’i. è vista come l’unica via per cogliere la gerarchia dei valori. Nella matematica, L.E.J. Brouwer, opponendosi alla concezione della disciplina come sistema puramente formale ...
Leggi Tutto
CATEGORIA:
DOTTRINE TEORIE E CONCETTI
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