Great

aboutlogic #09 | Andrej Bauer – 5 Stages of Accepting Intuitionistic Math & Proofs by Contradiction

podcast_episode https://aboutlogic.podigee.io/feed/mp3#bb0f7c32dc6abd49c20e324dce2e12eb

Ranked

• podcast_episodes
  no. 1015 of 3794 — score +0.00 ± 1.00

Diary

• May 23, 2026 consumed

External

feed_url

https://aboutlogic.podigee.io/feed/mp3

guid

bb0f7c32dc6abd49c20e324dce2e12eb

Metadata

parent_title

aboutlogic

duration_ms

2938671

image_url

https://images.podigee-cdn.net/0x,sivO1pLEkmRavNMht82qsD885DmgTEzEiD_hapfm87aM=/https://main.podigee-cdn.net/uploads/u81283/285f9280-c9bb-4ac0-aed9-3ab86f7109a1.jpg