Pytania oznaczone «computable-analysis»

11
Jak ocenić, czy definicja złożoności obliczeniowej rzeczywistych jest naturalna czy odpowiednia?

Jak wiemy, definicja złożoności obliczeniowej algorytmu prawie nie budzi kontrowersji, ale definicja złożoności obliczeniowej rzeczywistych lub modeli obliczeniowych rzeczywistych nie jest w takim przypadku. Model i model Bluma i Smalesa znamy w książce Computable Analysis. I pozornie model w...

9
Rozstrzygalność liczb transcendentalnych

Mam pytanie, na które odpowiedź jest prawdopodobnie dobrze znana, ale nie wydaje mi się, że po kilku poszukiwaniach znajdę coś znaczącego, więc byłbym wdzięczny za pomoc. Moje pytanie brzmi, czy wiadomo, że podjęcie decyzji, czy liczba jest transcendentalna, jest nierozstrzygalne. Być może ktoś...