Explore l'étude du comportement chez les animaux et les robots, en soulignant l'importance de l'étude du comportement et des mécanismes neuronaux impliqués.
Couvre la logique de Hoare, la post-condition la plus forte et la condition préalable la plus faible pour simplifier les preuves dans la programmation impérative.
S'insère dans l'état d'esprit des individus qui adoptent des croyances irrationnelles, comme les créationnistes aux États-Unis, sur la base d'un rejet de la science et du bon sens.
