tokens: En 1936 , la publication d' un article de logique mathématique " constitue , avec d' autres recherches fondamentales menées notamment par A. Church et K. Gödel , un cadre théorique qui intéressera plus tard les fondateurs de la " science informatique " .