Special:NewSection/Talk:Computability theory