2017-12-02から1日間の記事一覧

ゲーデルの不完全性定理の証明のアレをRacketで書いてみる (37)

incompleteness

素因数分解の本体素因数分解は(Listof (Pairof Natural Natural))という型で表しています 0の素因数分解とか、2の素因数分解の3番目の因数とか変なやつは'(0 .0)で表しました