personal/nunosempere.github.io
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update ProgrammingLanguagesIknow.md

Browse Source
This commit is contained in:
Nuño Sempere 2019-10-03 13:38:03 +02:00 committed by GitHub
parent 691a7c9313
commit 77f9ae41d7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
maths-prog/ProgrammingLanguagesIknow.md
View File

@ -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++