http://www.artima.com/weblogs/index.jsp?blogger=ark Artima Weblogs is a community of bloggers posting on a wide range of topics of interest to software developers. http://www.artima.com/images/artima88x33.gif http://www.artima.com/ http://www.artima.com/weblogs/viewpost.jsp?thread=54469 An unprovable error is one that no amount of testing can ever be assured of revealing. With computers becoming more networked and security becoming more important, should we be thinking about how our programming tools can avoid unprovable errors?