Logique Mathématique
Dans ce livre on a essayé de faire un bref tour d’horizons dans le monde des fondements des mathématiques, en particulier la logique mathématique. J’ai mis en relief surtout les travaux du grand mathématicien et logicien Kurt Gödel, vu l’importance des travaux qu’il a réalisés : logique prédicative, logique intuitionniste, hypothèse du continu, les deux célèbres théorèmes d’incomplétude.
L’auteur est un informaticien qui s’intéresse beaucoup à l’informatique théorique et fondements des mathématiques, en particulier la logique mathématique moderne. Il a travaillé pendant de nombreuses années dans le développement des systèmes informatiques en particulier le Retail (Grande distribution organisée) et les finances.
Domaines d’intérêt et de recherche : Informatique fondamentale, Logique mathématique, Génie logiciel, Programmation, Calcul parallèle, Cryptographie, Langages C, C#, Prolog, Bases de données SQLServer et OLAP, Réseaux informatiques.