Gödel's first incompleteness theorem

[solusipse]

There's an information in readme there are some unprovable formulae that will cause this program to loop forever and it is said that's the consequence of Gödel's first incompleteness theorem. I belive that it is rather connected to Church incompletness theorem from 1936 (http://en.wikipedia.org/wiki/Entscheidungsproblem).

[stepchowfun]

Thanks!