From unplugged to physically realizable machines, and back
Visualitza/Obre
FME-Jornada-Turing_Atserias.mp4_ffqt.mp4 (334,5Mb) (Accés restringit)
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/85781
Tipus de documentAudiovisual
Data publicació2016-03-30
Condicions d'accésAccés restringit per decisió de l'autor
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
Around 1936, Alan Turing conceived his model of an automated computer. This was long before the transistor was even discovered. Thus, one would think that Turing's original model could nowadays be considered a piece of computing prehistory of no other scientific interest than mere curiosity. However, at the conceptual level, Turing's model remains surprisingly up-to-date, to the extent that no scalable model of computation that has ever been physically realized has challenged its power in any essential way. In this talk I want to discuss how the most important questions around Turing's model have inspired the essentials of the modern theory of computational complexity, with the P vs NP problem at its head, followed closely by the theories of computational randomness and quantumness.
Forma partJornada Turing a l'FME (30-març-2016)
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
FME-Jornada-Turing_Atserias.mp4_ffqt.mp4 | 334,5Mb | MPEG-4 | Accés restringit |