I just found this week's blog posting by RJ Lipton: https://rjlipton.wordpress.com/2019/10/21/a-polemical-overreach/ https://rjlipton.wordpress.com/2019/10/21/a

I just found this week's blog posting by RJ Lipton: https://rjlipton.wordpress.com/2019/10/21/a-polemical-overreach/ 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?