Journée d’études sur « La découverte de la calculabilité » (13 octobre)
En 1936, dans une confluence d’idées remarquable, les logiciens Alonzo Church, Alan Turing et Emil L. Post découvrent indépendemment l’un de l’autre que le programme de Hilbert pour trouver un…