Halteproblem
27
reputation
2
I am interested in mathematics, theoretical computer science and the philosophy of mathematics. I use stackexchange to improve my english skills.