hackertube.io

Five Stages of Accepting Constructive Mathematics - Andrej Bauer

Institute for Advanced Study · lecture · Watch on YouTube

Logic & formal methodsPure mathematics

What it is

Andrej Bauer's IAS talk introduces constructive mathematics and what it feels like to do mathematics without excluded middle. It is framed as a tour for classical mathematicians.

Why Hacker News recommends it

Pointed to as a well-done introduction to constructive mathematics when it comes up in logic and proof assistant threads.

  • 1 people recommended it
  • 1 different months
  • 0 strong recommendations
  • first 2018, last 2026

What HN commenters said

  1. “Here are two versions of the same well-done talk, from Andrej Bauer”

    Andrej Bauer's well-done talk introducing constructive mathematics

    jimhefferon, 2018-11 · Recommendation · in “The weird and wonderful world of constructive mathematics (2017) [pdf]”

Excerpts from Hacker News comments, linked to the originals. Summaries and labels were written by a language model from those comments.

Topics: andrej bauer, constructive logic, excluded middle, type theory, foundations

Also recommended by the same people