マンガ6.a「対角線論法」

少し戻って、チューリングマシンにできないことを見てみます。

チューリングマシンは「計算」をきっちり定義したものですが、カードの列で表せるものには限界があるそうで、すべての実数を表すことはできません。

この話は準備中ですが、漫画のページはこちら

続きを読む マンガ6.a「対角線論法」