tags : Automata Theory, Computation and Computer Theory

## Turning machine

- Brainfuck is like a virtual representation of the TM

## Lambda Calculus

- This slide, I understand absolutely nothing.
- The Y Combinator (Slight Return) - Mike’s World-O-Programming — LiveJournal

- Church-Turing Thesis
- More on Lambda calculus
- Von Neumann (1945)
- He did not follow the TM model exactly, instead he built on it. He introduced the “Logic Unit” which will do the computation like add, sub etc instead of going back and forth like the TM does.
- He proposed the actual physical circuitry for this. (ENIAC)

- Summary