Dans les années 1930, Herbrand avait posé les conditions de validité d'une démonstration automatique. En 1953, Quine donnait une règle d'inférence originale ; définie pour l'ordre O, elle présentait ...

This is a feel-good movie with a throwback feel, one in which the writers aren't trying to shock or offend you, or bombard you with whatever the latest work lesson is from the perpetually-offended or ...