PickVidsFive Stages of Accepting Constructive Mathematics - Andrej Bauer
推荐理由
Here are two versions of the same well-done talk, from Andrej Bauer
说明
这是2016年由Institute for Advanced Study发布的一部课堂讲座，主题归在Logic & formal methods。它讲的是constructive mathematics这一支里的具体问题，而不是把整个领域扫一遍。适合已经能看懂基本术语、想继续往下走的人。内容上可以概括成：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.这些读者给出的理由，核心是：Pointed to as a well-done introduction to constructive mathematics when it comes up in logic and proof assistant threads.讲法不绑某一条新闻，过几年仍然可以当材料看。从2018年到2026年，有1位不同的读者在1个不同月份把它推荐出来，其中明确叫别人去看的有0次。节奏接近上课，可以暂停做笔记。它假设你愿意跟着一条推导走完。如果已经会了基本定义，就把注意力放在它怎么把constructive mathematics变成能跟着复述的例子。
视频信息
- 频道
- Institute for Advanced Study
- 时长
- 57 分 32 秒
- 发布年份
- 2016