Find link

language:

Find link is a tool written by Edward Betts.

searching for L. E. J. Brouwer 14 found (99 total)

Compositio Mathematica (221 words) [view diff] no match in snippet view article find links to article

Mathematica is a monthly peer-reviewed mathematics journal established by L.E.J. Brouwer in 1935. It is owned by the Foundation Compositio Mathematica, and since

Albert Neuhuys (376 words) [view diff] no match in snippet view article find links to article

Waanders Uitgegevers, Zwolle, 2004 (pp 323–330) Dalen, Dirk van (2012). L.E.J. Brouwer – Topologist, Intuitionist, Philosopher: How Mathematics Is Rooted in

Arend Heyting (499 words) [view diff] exact match in snippet view article find links to article

career Fields Mathematics Institutions University of Amsterdam Doctoral advisor L. E. J. Brouwer Doctoral students Anne Sjerp Troelstra Dirk van Dalen

Karl Menger (614 words) [view diff] exact match in snippet view article find links to article

Hans Hahn and received his PhD from the University of Vienna in 1924. L. E. J. Brouwer invited Menger in 1925 to teach at the University of Amsterdam. In

Diederik Korteweg (594 words) [view diff] exact match in snippet view article find links to article

Doctoral advisor Johannes Diderik van der Waals Doctoral students J. A. Barrau L. E. J. Brouwer Gustav de Vries Gerrit Mannoury Julius Wolff Willem Wythoff

Hairy ball theorem (1,813 words) [view diff] no match in snippet view article find links to article

Georg-August-Universität Göttingen Archived 2006-05-26 at the Wayback Machine - L.E.J. Brouwer. Über Abbildung von Mannigfaltigkeiten / Mathematische Annalen (1912)

Logics for computability (368 words) [view diff] no match in snippet view article find links to article

effective topos. In A. S. Troelstra and D. van Dalen, editors, The L.E.J. Brouwer Centenary Symposium, pages 165-216. North Holland Publishing Company

Indecomposability (intuitionistic logic) (353 words) [view diff] no match in snippet view article

class) is either empty or the entire universe. Indecomposable continuum L.E.J. Brouwer (1928). "Intuitionistische Betrachtungen über den Formalismus". Sitzungsberichte

Michael Fourman (632 words) [view diff] no match in snippet view article find links to article

"Notions of choice sequence", in D. van Dalen; A. Troelstra (eds.), L.E.J. Brouwer Centenary Symposium: Proceedings of the conference held in Noordwijkerhout

Kőnig's lemma (2,344 words) [view diff] exact match in snippet view article find links to article

by the main schools of constructive mathematics. The fan theorem of L. E. J. Brouwer (1927) is, from a classical point of view, the contrapositive of a

Homotopy type theory (4,607 words) [view diff] no match in snippet view article find links to article

Univalence as a principle of logic. Indagationes Mathematicae: Special Issue L.E.J. Brouwer, 50 years later, D. van Dalen, et al. (ed.s), 2018. Preprint. Meyer

Lorenzo Perilli (856 words) [view diff] no match in snippet view article find links to article

Normale, 2009) Italian translation (from Dutch), with introduction, of L.E.J. Brouwer, Leven Kunst en Mystiek, Delft 1905 (Vita, arte e mistica, Milan, Adelphi

Brouwer fixed-point theorem (8,510 words) [view diff] exact match in snippet view article find links to article

Journal für die reine und angewandte Mathematik). It was later proved by L. E. J. Brouwer in 1909. Jacques Hadamard proved the general case in 1910, and Brouwer

Emiel van Moerkerken (909 words) [view diff] no match in snippet view article find links to article

Bon, 1935 Menno ter Braak, 1939 Brassaï, 1936 Bertolt Brecht, 1954 L.E.J. Brouwer, 1944 Simon Carmiggelt, 1947 Max Dendermonde, 1943 Lodewijk van Deyssel