High Quality Content by WIKIPEDIA articles! La theorie de la calculabilite (appelee aussi parfois theorie de la recursion) est une branche de la logique mathematique et de l'informatique theorique. Alors que la notion intuitive de fonction calculable est aussi vieille que les mathematiques (voir l'article Histoire des mathematiques), la formalisation de ces notions a commence dans la decennie 1930 afin de repondre a des problemes fondamentaux de logique mathematique, dont celui enonce par David Hilbert et appele Entscheidung Problem ou Probleme de la decision. La calculabilite cherche d'une part a identifier la classe des fonctions qui peuvent etre calculees a l'aide d'un algorithme et d'autre part a appliquer ces concepts a des questions fondamentales des mathematiques. Une bonne apprehension de ce qui est calculable et de ce qui ne l'est pas permet de voir les limites des problemes que peuvent resoudre les ordinateurs.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.