Here´s a good link about programming problems, a few of them, unsolvable

http://www.nist.gov/dads/termsType.html#P

edit: "programming programs?" that was terrible, sorry, fixed it now