Proving the Church-Turing Thesis
Intervention de Nachum Dershowitz à l'occasion des Ada Lovelace Bicentenary Lectures on Computability, organisées par Jack Copeland (University of Canterbury), Eli Dresner (Tel-Aviv University) et Diane Proudfoot (University of Canterbury) à l'Israel Institute for Advanced Studies.
Plus d'informations (programme)
Vidéo de la communication de Nachum Dershowitz, réalisée par l'Israel Institute for Advanced Studies :
|
Machine Learning Tools for Historical Documents 01 octobre 2015 - 30 juin 2016 |
|