超越整数 (transcendental integers) は、Harvey Friedman が定義した巨大数の分類である[1]

整数\(n\)が次の条件を満たすときに限り、\(n\)は超越整数であるとする。 チューリングマシン M が停止するということを、ZFCで\(2^{1000}\)個以内の記号で証明できるのであれば、必ず M は\(n\) ステップ以内で停止する。すなわち、\(n\)はZFCによる停止性の証明が\(2^{1000}\)個以内の記号でできるようないかなるチューリングマシンの停止時間よりも大きい。

性質 編集

Notion of transcendental number is meaningful iff ZFC is consistent. We will assume that in this article.

It is clear that if \(m>n\) and \(n\) is transcendental, then so is \(m\). Equivalently, transcendental integers are upwards closed, and consequently there is a smallest transcendental integer.

Friedman suspects that this kind of numbers should naturally arise in Boolean relation theory. It is very likely that transcendental integers quickly appear in Friedman's 有限約束ゲーム, because corresponding functions outgrow all provably recursive functions of SMAH, which is strong extension of ZFC. However, no specific examples of nontrivial transcendental integers are known.

出典 編集