• Turing's proof of normalization for STLC

  • 2024/05/21
  • 再生時間： 18 分
  • ポッドキャスト

Turing's proof of normalization for STLC

無料で聴く

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

  • サマリー

  • In this episode, I describe the first proof of normalization for STLC, written by Alan Turing in the 1940s. See this short note for Turing's original proof and some historical comments.
    続きを読む 一部表示
activate_samplebutton_t1

あらすじ・解説

In this episode, I describe the first proof of normalization for STLC, written by Alan Turing in the 1940s. See this short note for Turing's original proof and some historical comments.
数学 科学
続きを読む 一部表示

Turing's proof of normalization for STLCに寄せられたリスナーの声

カスタマーレビュー：以下のタブを選択することで、他のサイトのレビューをご覧になれます。

Audible.co.jp

Amazon.co.jp
レビューはまだありません。