Research Project
Grant-in-Aid for JSPS Fellows
実数の表現としてコーシー列，２進展開，デデキント切断等が知られており，これらの計算論的（計算可能性，原始再帰性，カルマール初等性等）な等価性が調べられている．一方，具体的な実数の無理性や超越性は解明されていない場合が多い．本研究では，種々の表現の計算論的な等価性を明らかにし，その過程で得られることが期待される表現の性質等により，実数の無理性と超越性の判定法を構築し，それを用いて実数の無理性や超越性を解明することを目指す．
