かわいしん(論計舎)
論理の台所
Follow 論理の台所 across the charts and keep up with new listener reviews. Get the updates in your inbox.
Track this podcast · 7 days freeCard required. Cancel anytime. Choose your plan at signup.
料理の合間、コーヒー休憩の20分。数学者の川井新が、そのとき頭の中で回っている「論理とは何か」「計算とは何か」を、講義っぽく、でも時々くだけて話します。CTテーゼ、CH対応、完全性、保存拡大などの定番テーマから、AI時代にどう見えるかまで。研究機関に属さず、オンライン私塾「論計舎」を運営しながら研究している立場ならではの視点で、生活と研究の往復から生まれた気づきを共有します。厳密さは目指しませんが、数学的な誤りは避けます。
かわいしん(論計舎)
Sign up to track rankings and reviews from Spotify, Apple Podcasts and more.