#mathematic # [[Epistemic status]] #shower-thought # Lambda calculus #todo [[Turing]]