Teoría de la Computación - Clase 20: Turing, su máquina, y el contexto científico dónde la ideó.
Автор: Jorge Perez
Загружено: 2020-07-09
Просмотров: 2018
Esta es la clase 20 del curso CC3102 (2020/1). En esta clase repasamos el contexto histórico científico en dónde estaba Turing cuando construyó su modelo de máquina incluyendo la motivación desde el "Problema de Decisión" de Hilbert, y el Teorema de Incompletitud de Goedel, además de ciertas motivaciones más personales de Turing para conceptualizar la vinculación entre "cuerpo y alma". Al final de la clase formalizamos el modelo de máquina de Turing que estaremos estudiando.
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке: