Явный пример

[mancunian]

Что считается явным примером в математике? Например, это действительное число, десятичное разложение которого

0.1010010001000010000010000001 ...

это явный? Нечто подобное сработало у Лиувилля, когда он построил первый явный пример трансцендентного числа.

Я думаю, что это таки да. Что вы думаете?

Comments

[sorotokin]

Конечно явный. Любое вычислимое число явное: https://ru.wikipedia.org/wiki/%D0%92%D1%8B%D1%87%D0%B8%D1%81%D0%BB%D0%B8%D0%BC%D0%BE%D0%B5_%D1%87%D0%B8%D1%81%D0%BB%D0%BE

[mancunian]

Спасибо, не знал.

[vater_theodor]

А если алгоритм, скажем, имеет NP-сложность?