aboutlogic: premises #08 | Choice vs. Excluded Middle: A Constructive Paradox

カートのアイテムが多すぎます

ご購入は五十タイトルがカートに入っている場合のみです。

カートに追加できませんでした。

しばらく経ってから再度お試しください。

ウィッシュリストに追加できませんでした。

しばらく経ってから再度お試しください。

ほしい物リストの削除に失敗しました。

しばらく経ってから再度お試しください。

ポッドキャストのフォローに失敗しました

ポッドキャストのフォロー解除に失敗しました

aboutlogic: premises #08 | Choice vs. Excluded Middle: A Constructive Paradox

無料で聴く

ポッドキャストの詳細を見る

【Amazonプライム会員限定】今ならプレミアムプランが4か月月額99円。

10月19日まで。※適用条件あり

Choice vs. Excluded Middle: A Constructive Paradox | aboutlogic: premises #08 Constructive mathematics is all about building things explicitly — so why does it reject the Axiom of Choice, which sounds trivial in a constructive context. In this Premises episode, Thorsten walks Deniz through Diaconescu's theorem: the surprising proof that the Axiom of Choice implies the Law of Excluded Middle, turning a seemingly innocent principle into full-blown classical logic. Using an intuitive type-theoretic explanation (starting with a very relatable glove-matching example), Thorsten builds up to Diaconescu's classic argument, touching on propositional extensionality, the difference between intensional and extensional predicates, and why the Axiom of Choice turns out to be a stronger form of "magic" than Excluded Middle itself.

まだレビューはありません