じっくり学ぶ数学の講義を聞き流しながら記号論理学講義を読みました。再帰関数のお話で、このへんは先学期に飽きるほどやったのですんなり進みます。チューリングマシンの議論ははじめてだったけども、それほど難しくはなく。次はλ計算ですね、わくわく。 …
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。