Turing proposed "Sequential Logic" in his doctoral thesis, attempting to solve the limitation brought by G ö del's incompleteness theorem: any consistent formal system S cannot prove its consistency within the system (such as Con (S)). 🧵👇 Full text: