Hacker Newsnew | past | comments | ask | show | jobs | submitlogin
The Post Correspondence Programming Language (davidlazar.github.io)
49 points by 14113 on Dec 27, 2015 | hide | past | favorite | 4 comments


I was terribly confused because I thought this was referring to Post's Correspondence Principle: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.380....

This concerns instead the Post Correspondence Problem: https://en.wikipedia.org/wiki/Post_correspondence_problem

Surprising namespace clash!


If you find this interesting, take a look at FRACTRAN[1].

[1] https://en.wikipedia.org/wiki/FRACTRAN


What are the practical implications and applications of this?


It shows that there are some problems (eg PCP), that are literally impossible to solve for every case. If you were able to come up with an algorithm that could do so, you would've found a solution to the halting problem, which we know is impossible. Other than that, it's just some person having fun compiling between two different esoteric programming languages.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: