Pour les scientifiques, le monde est gouverné par des lois observables dans les phénomènes naturels et formulables par les mathématiques. Einstein a parlé de l'énigme que constitue le lien étroit entre les lois de l'Univers et les lois des mathématiques. La conception d'une alliance, et non d'une simple relation, entre Dieu et l'Homme, est la contribution la plus significative de la pensée hébraïque à l'histoire de l'humanité. À ces deux pactes pour les chrétiens, vient s'en greffer un troisième : celui (...) proposé par Jésus de Nazareth, personne unique dans l'histoire de l'humanité. (shrink)

Logic; Predicate calculus; Axiomatic systems; Knowledge representation and reasoning; Logic and revisable reasoning; Formal grammars and logic programming; Prolog and logic programming.