A Máquina de Turing (MT) foi inventada por Allan Turing em 1936 como um modelo computacional extremamente simples mas abstrato, isto é, ela existe em nossa mente, pode ser totalmente representada simbolicamente, e não pode ser construída. Nesta palestra será visto o que ela é, como "funciona" e como processa alguns algoritmos. Será também analisado quantos tipos de instrução ela tem e o que consegue computar com isso (tese de Church-Turing), e a motivação de Turing ao criá-la: resolver uma conjetura matemática de David Hilbert, o Entscheidungsproblem, o Problema da Decisão. Finalmente, será visto como a MT ajuda a compreender o que é um computador e suas limitações.