A measure of intelligence of an approximation of a real number in a given model
Ce papier introduit une fonction pour mesurer l'intelligence d'une approximation d'un nombre réel dans un modèle donné, démontre sa cohérence avec la théorie classique de l'approximation diophantienne rationnelle, et pose la question ouverte de savoir si tout nombre réel peut être intelligemment approché dans un modèle où il est un point d'accumulation.