F Sterpetti - A Critical Reflection on Automated Science: Will …, 2020 - Springer
The idea that science can be automated is so deeply related to the view that the method of
mathematics is the axiomatic method, that confuting the claim that mathematical knowledge …