Comment Comment by ccalf I just found this week's blog posting by RJ Lipton: https://rjlipton.wordpress.com/2019/10/21/a-polemical-overre...The Mackenzie book chapter discusses both the Fetzer and DeMillo Lipton Perlis controversies.It's really interesting that the debate got into the questions like, can one formally verify a bridge? parent ccalf 7 years ago
The Mackenzie book chapter discusses both the Fetzer and DeMillo Lipton Perlis controversies.
It's really interesting that the debate got into the questions like, can one formally verify a bridge?