# Waiting for Gödel — Tristan talks about Turing machines, Godel encodings, undecidability and incompleteness

Check out Tristan's presentation on Turing machines, Gödel encodings, undecidability and incompleteness!

Tristan explains Turing Machines, the concept of Turing universality, the idea that mathematical proofs can embed computations, and goes on to show that that allows one to derive Gödel's incompleteness theorems.

The talk was given at Hamilton Institute student seminar series.