Mathematical analysts | Intuitionism | Philosophers of mathematics

L. E. J. Brouwer

Luitzen Egbertus Jan Brouwer (/ˈbraʊ.ər/; Dutch: [ˈlœy̯tsə(n) ɛɣˈbɛrtəs jɑn ˈbrʌu̯ər]; 27 February 1881 – 2 December 1966), usually cited as L. E. J. Brouwer but known to his friends as Bertus, was a Dutch mathematician and philosopher, who worked in topology, set theory, measure theory and complex analysis. Regarded as one of the greatest mathematicians of the 20th century, he is known as the founder of modern topology, particularly for establishing his fixed-point theorem and the topological invariance of dimension. Brouwer also became a major figure in the philosophy of intuitionism, a constructivist school of mathematics which argues that math is a cognitive construct rather than a type of objective truth. This position led to the Brouwer–Hilbert controversy, in which Brouwer sparred with his formalist colleague David Hilbert. Brouwer's ideas were subsequently taken up by his student Arend Heyting and Hilbert's former student Hermann Weyl. (Wikipedia).

L. E. J. Brouwer
Video thumbnail

Lou van den Dries 5/22/15 Part 2

Title: Differential-Henselian Fields

From playlist Spring 2015

Video thumbnail

Lou van den Dries 5/22/15 Part 1

Title: Differential-Henselian Fields

From playlist Spring 2015

Video thumbnail

5 - Grothendieck et la théorie de Galois

Orateur(s) : T. Szamuely Public : Tous Date : mardi 25 octobre Lieu : Institut Henri Poincaré

From playlist Colloque Evariste Galois

Video thumbnail

Lagrange Bicentenary - Jacques Laskar's conference

Lagrange and the stability of the Solar System

From playlist Bicentenaire Joseph-Louis Lagrange

Video thumbnail

More Organic Nomenclature: Heteroatom Functional Groups: Crash Course Organic Chemistry #3

Oxygen is pretty dang amazing! Some of the most intensely studied functional groups in organic chemistry have oxygen atoms. In this episode of Crash Course Organic Chemistry, we're building on the last episode's discussion of nomenclature by learning about IUPAC's naming rules for even mor

From playlist Organic Chemistry

Video thumbnail

Right-angled Coxeter groups and affine actions (Lecture 02) by Francois Gueritaud

DISCUSSION MEETING SURFACE GROUP REPRESENTATIONS AND PROJECTIVE STRUCTURES ORGANIZERS: Krishnendu Gongopadhyay, Subhojoy Gupta, Francois Labourie, Mahan Mj and Pranab Sardar DATE: 10 December 2018 to 21 December 2018 VENUE: Ramanujan Lecture Hall, ICTS Bangalore The study of spaces o

From playlist Surface group representations and Projective Structures (2018)

Video thumbnail

Crash Course Organic Chemistry Preview

Welcome to Crash Course Organic Chemistry hosted by Deboki Chakravarti! Starting next week, we'll be tackling the notoriously complicated subject of organic chemistry, and hopefully having some fun along the way! Series Sources: Brown, W. H., Iverson, B. L., Ansyln, E. V., Foote, C., Orga

From playlist Organic Chemistry

Video thumbnail

B. L. van der Waerden's life before Quantum Mechanics

In this video I speak about the early life of Bartel Leendert van der Waerden, from the university to Amsterdam, over Göttingen and Groningen. This covers Martina R. Schneider's book "Zwischen zwei Disziplinen", the content from about page 70 to 120. Here' some notes as .md file: https://

From playlist Physics

Video thumbnail

3D Structure and Bonding: Crash Course Organic Chemistry #4

The organic molecules that make up life on Earth are more than just the 2-D structures we’ve been drawing so far. Molecules have 3-D shapes that help us understand what they can do. In this episode of Crash Course Organic Chemistry, we’ll learn how orbital hybridization and valence bond th

From playlist Organic Chemistry

Video thumbnail

Makoto Fujiwara: Bar theorem and bar recursion for continuous functions with continuous modulus

The lecture was held within the framework of the Hausdorff Trimester Program: Constructive Mathematics. Abstract: (joint work with Tatsuji Kawai) Bar induction is originally discussed by L. E. J. Brouwer under the name of “bar theorem” in his intuitionistic mathematics but first formali

From playlist Workshop: "Constructive Mathematics"

Video thumbnail

Stereochemistry: Crash Course Organic Chemistry #8

The shape of molecules is super important to life as we know it. In this episode of Crash Course Organic Chemistry we’re learning about stereochemistry and how to identify molecules as chiral or achiral. And as always, we’ll be doing a lot of practice! Episode Sources: “THINK BIG! Must t

From playlist Organic Chemistry

Video thumbnail

IR Spectroscopy and Mass Spectrometry: Crash Course Organic Chemistry #5

It’s time for molecular analysis! On this episode of Crash Course Organic Chemistry, we’re learning about mass spectrometry and infrared spectroscopy through the lens of a forensic investigation. Put on your lab coats, and let’s solve this mystery! Episode Sources: Silverstein, R. M., Web

From playlist Organic Chemistry

Video thumbnail

What Is Organic Chemistry?: Crash Course Organic Chemistry #1

Organic chemistry is pretty much everywhere! In this episode of Crash Course Organic Chemistry, we’re talking about the amazing diversity among organic molecules. We’ll learn about the origins of organic chemistry, how to write Lewis structures, condensed structures, and skeletal formulas,

From playlist Organic Chemistry

Video thumbnail

The Basics of Organic Nomenclature: Crash Course Organic Chemistry #2

Language is complicated, especially in organic chemistry. This episode of Crash Course Organic Chemistry is all about nomenclature. We'll dive into IUPAC systematic naming of organic molecules, and get to practice with the help of three trusty steps! Episode Sources: IUPAC Organic Chemist

From playlist Organic Chemistry

Video thumbnail

Supercuspidal representations of GL(n) over a p-adic field (Lecture - 04) by Vincent Sécherre

PROGRAM : ALGEBRAIC AND ANALYTIC ASPECTS OF AUTOMORPHIC FORMS ORGANIZERS : Anilatmaja Aryasomayajula, Venketasubramanian C G, Jurg Kramer, Dipendra Prasad, Anandavardhanan U. K. and Anna von Pippich DATE & TIME : 25 February 2019 to 07 March 2019 VENUE : Madhava Lecture Hall, ICTS Banga

From playlist Algebraic and Analytic Aspects of Automorphic Forms 2019

Related pages

Invariance of domain | Indecomposable continuum | Set theory | Brouwer–Hilbert controversy | Complex analysis | Formalism (philosophy of mathematics) | Tietze extension theorem | Topology | Spread (intuitionism) | Algebraic topology | Arend Heyting | Jordan curve theorem | Wilhelm Ackermann | David Hilbert | Bar induction | Hans Freudenthal | George F. C. Griss | Foundations of mathematics | Paul Bernays | Brouwer–Heyting–Kolmogorov interpretation | John von Neumann | Kleene–Brouwer order | Hairy ball theorem | Mathematics | Gerrit Mannoury | Phragmen–Brouwer theorem | Brouwer fixed-point theorem | Ludwig Wittgenstein | Simplicial approximation theorem | Jean van Heijenoort | Hermann Weyl | Michael Dummett | Degree of a continuous mapping | Law of excluded middle | Simplicial complex | Intuitionism | Philosophy of mathematics