Special Topics: Esoteric Languages
Lecture 25

https://en.wikipedia.org/wiki/Turing_tarpit

http://wiki.c2.com/?TuringTarpit

"Beware of the Turing tar-pit in which everything is possible but nothing of interest is easy." https://dl.acm.org/doi/10.1145/947955.1083808

Church-turing thesis: definition of the nature of computation

• https://plato.stanford.edu/entries/church-turing/

Turing machines

Lambda calculus

• https://en.wikipedia.org/wiki/Lambda_calculus#Encoding_datatypes
• https://fi.ort.edu.uy/innovaportal/file/20124/1/22-landin_correspondence-between-algol-60-and-churchs-lambda-notation.pdf

Others:

• Combinatory logic
• Recursive functions
• Post machine

https://en.wikipedia.org/wiki/Esoteric_programming_language

https://en.wikipedia.org/wiki/Brainfuck

• https://beza1e1.tuxen.de/articles/accidentally_turing_complete.html
• https://matt-rickard.com/accidentally-turing-complete/
• On The Turing Completeness of PowerPoint
• Universal Turing Machine implemented in Minecraft redstone logic
• Makefile as a functional language program (fibonacci)
• MoVfuscator paper