|
Résumé :
|
Dans les années 30 de notre siècle, la logique mathématique et la théorie des algorithmes. qui naissait alors, paraissaient les disciplines mathématiques les plus abstraites et les plus éloignées des applications pratiques. De nos jours la situation a changé radicalement. Il est maintenant universellement admis que les deux disciplines en question forment le fondement théorique pour la production et les applications des systèmes de calcul et de régulation rapides. Le poids spécifique de la logique mathématique et de la théorie des algorithmes dans l'ensemble des mathématiques s'est brusquement accru. De plus, s'effectue maintenant à un degré important une pénétration, par la théorie des algorithmes et la logique mathématique, des méthodes mathématiques dans la biologie, la linguistique, les sciences économiques et jusque dans la philosophie des sciences naturelles. Ceci a conduit à ce que la logique mathématique et la théorie des algorithmes ont aussi commencé à pénétrer dans les plans d'étude de nos universités et instituts pédagogiques, comme disciplines obligatoires pour les étudiants en mathématiques de toutes les spécialités.
|
