From 77f9ae41d72ee6bce6fc333f3ff4d8daa0bfe9bb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Nu=C3=B1o=20Sempere?= Date: Thu, 3 Oct 2019 13:38:03 +0200 Subject: [PATCH] Update ProgrammingLanguagesIknow.md --- maths-prog/ProgrammingLanguagesIknow.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/maths-prog/ProgrammingLanguagesIknow.md b/maths-prog/ProgrammingLanguagesIknow.md index 4123dc4..67aae9b 100644 --- a/maths-prog/ProgrammingLanguagesIknow.md +++ b/maths-prog/ProgrammingLanguagesIknow.md @@ -8,7 +8,7 @@ Representative project: [A Turing Machine that finds out the nth prime](https:// Useful for: Elegant & nifty arguments in set theory. The programming language for the mathematician. -Personal experience: Cognitively effortful, interesting to work with. I've programmed a TM that finds the n-th prime. +Personal experience: Cognitively effortful, interesting to work with. I've programmed a TM that finds the n-th prime. Turing Machines are necessary to understand some arguments in Paul Cohen's *Set theory and the continuum hypothesis*. More recently, [here](https://www.scottaaronson.com/blog/?p=2725) is a Turing Machine which halts iff ZFC is inconsistent. ## C and C++