Kontsevich と Zagier によって導入された複素数の部分集合「周期」はすべての代数的数といくつかの有名な超越数を含む可算集合であり、 数のクラスとして重要だと考えられている。 一方でTuring が1936年に、「計算可能実数」というクラスを定義して、 実数に計算論的複雑性によるヒエラルキーを導入するアイデアを提出している。

今回の講演では「周期」の計算論的複雑性を測るという話を紹介する。

• 
• 
• 
• 
• 
• 
• 
• 
• 
• 
• 
• 
• 

13 images

[<6>]