Questions marquées «computable-analysis»

40
Quelles sont les raisons pour lesquelles les chercheurs en géométrie algorithmique préfèrent le modèle BSS / real-RAM?

Contexte Le calcul sur des nombres réels est plus compliqué que celui sur des nombres naturels, puisque les nombres réels sont des objets infinis et qu'il existe un nombre incalculable de nombres réels. Par conséquent, les nombres réels ne peuvent être fidèlement représentés par des chaînes finies...

11
Comment juger que la définition de la complexité de calcul des réels est naturelle ou appropriée?

Comme nous le savons, la définition de la complexité de calcul de l'algorithme est presque sans controverse, mais la définition de la complexité de calcul des réels ou des modèles de calcul sur les réels n'est pas dans un tel cas. Nous connaissons le modèle et le modèle de Blum et Smales dans le...

9
Décidabilité des nombres transcendantaux

J'ai une question, dont la réponse est probablement bien connue, mais je n'arrive pas à trouver quoi que ce soit de significatif après un peu de recherche, donc j'apprécierais de l'aide. Ma question est de savoir si l'on sait que décider si un nombre est transcendantal est indécidable....