- "Dieu est un être parfait
- Or l'existence fait partie intégrante de la perfection
- Donc Dieu existe, car s'il n'existait pas il ne serait pas parfait, et s'il n'était pas parfait il n'existerait pas"
Boulanger, Cohen, ouv. cité, p. 252
Messages échangés entre l'enseignant et les étudiants du module, Spécifications 1 du département informatique de l'IUT de Nantes (Université de Nantes) Ce module s'appuie principalement sur la notation et la méthode de spécification formelle B. (The B formal method)
Aucun commentaire:
Enregistrer un commentaire