What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky
Institute for Advanced Study · 3 件のHN推薦
動画への質問
現在の場面の解説や、動画全体の要約を AI に頼めます。回答にタイムスタンプがある場合は、選択するとその場面に移動します。
質問例：ここで話し手は何を説明していますか？
Google でのログインが必要です。確定前に消費クレジットの上限を確認できます。
Vladimir Voevodsky's IAS lecture starts from Godel's second incompleteness theorem to explore whether first-order arithmetic could be inconsistent. It motivates his vision of univalent foundations and computer-checked proofs.
HNで推薦される理由： Recommended as a thought-provoking lecture from a Fields medalist on the foundations of mathematics and formal proof verification.
“I recommend this video” HNのコメントを読む ↗