Five stages of accepting constructive mathematics: Denial Anger Bargaining Depre... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

leonidasrup 61 days ago | parent | context | favorite | on: “Why not just use Lean?”

Five stages of accepting constructive mathematics:

Denial

Anger

Bargaining

Depression

Acceptance

A talk about constructive mathematics by Andrej Bauer at the Institute for Advanced Study.

https://www.youtube.com/watch?v=21qPOReu4FI

http://dx.doi.org/10.1090/bull/1556

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact