数学ガールのゲーデル巻を読んでると、「定義1」から「定義46」までなんだかプログラムを読んでるみたいですよね?ですよね? 数学ガール/ゲーデルの不完全性定理 (数学ガールシリーズ 3) 作者: 結城浩 出版社/メーカー: SBクリエイティブ 発売日: 2009/10/2…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。