Serge Grigorieff : une question résiduelle après Turing, formaliser la notion d’algorithme.
Jeudi 31 mai 2012 de 14h00 à 15h30
Auditorium IRCICA, parc scientifique de la Haute Borne à Villeneuve d’Ascq
√ Abstract :
Qu’est-ce qu’un algorithme ? Qu’est-ce qu’une fonction calculable ? Où en est-on aujourd’hui de ces deux questions posées par Turing dans son article fondateur de 1936 ? Pendant longtemps …
