おっちゃんです。
>>709
オイラーの定数γが超越数と予想されていることの>>617の資料にザっと目を通した。
それによると、γは周期環Pに属さない実数と予想されているのこと。
Pにγが属さないならγは超越数になるが、γ∈P だからといって直ちに γ∈Q とはならない。
γのディオファンタス近似についての結果も得られているとのこと。
周期とディオファンタス近似に関わる結果も得られている。
代数的証明になる云々とは多分周期や周期環の議論からいわれているのだろうが、
スレ主に周期の本を薦めたことはあるが、私はその本は手元になくて読んでなく、詳細には周期や周期環について知らない。
目次や前書きを読むと、周期の理論を展開するには計算理論や再帰理論が必要になるとのことで、
或る程度数理論理の知識が必要らしい。数理論理の公理には命題Aについて ¬¬A↔A があるから、
周期の理論を認めるなら、やはり私の証明に間違いはないことになる。