『巨大数論 第2版』 正誤表と注釈

正誤表

最終更新日: 2017年10月1日

  1. p.52 下から10行目
  2. p.87 6〜9行目
  3. p.87 13行目
  4. p.144 7行目、ロビンソン算術の非論理公理の2番目
  5. p.162 下から3行目、式の最下行

注釈

最終更新日: 2017年10月2日

  1. p.100: ふぃっしゅ数バージョン2の定義は当初の定義と微妙に異なる。なお、p.101に記載したように、バージョン2の定義は複雑なので無理に理解しようとせずにバージョン3に進むと良い。
  2. p.103: ふぃっしゅ数バージョン3の展開の様子
  3. p.126 囲み内: ハーディー階層の極限順序数の定義は、α が基本列を持つときに限り定義される。
  4. p.151 囲み内: Mn と M(n) は同じ。
  5. p.206 ペア数列数のプログラム: 本書出版後の2017年10月2日に、バシクはペア数列のプログラムは当初考えていた大きさには到達しないとして、アップデートしたプログラムを巨大数研究Wikiに投稿した。
  6. p.245 4行目: K(K(I,S),S(K(I,S)))=K(I,S) は、一番左のKから展開する。

巨大数論