Talk:Computability in Analysis and Physics