G Longo - A Critical Reflection on Automated Science: Will …, 2020 - Springer
This text will first discuss the great and productive “linguistic turn” that originated in Logic, at
the end of the nineteenth century. After Turing's work on the Logical Computing Machine …