aboutlogic #05 | Steve Awodey – Homotopy Type Theory, Logic & Philosophy

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

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

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

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

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

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

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

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

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

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

aboutlogic #05 | Steve Awodey – Homotopy Type Theory, Logic & Philosophy

無料で聴く

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

今ならプレミアムプランが3カ月月額99円

2026年5月12日まで。4か月目以降は月額1,500円で自動更新します。

概要

We’re joined by Steve Awodey, one of the founders of Homotopy Type Theory. In this episode, we talk about the relationship between philosophy and mathematics, the main ideas behind geometric thinking and logic, and how all of this connects to computer science. Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.

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