Dear Ernesto,
Thank you for your comments. We do hope you found some aspects insightful.
With regards to the "End of Science", with the thesis we defend in our essay, it is possible to reach a state where scientists believe that "they have got the whole picture right" and maybe what remains to be done is just getting better and better quantitative agreement between theory and observations. It is unclear whether the remaining quest driven by quantitative agreement can ever reach an end though. That being said, even if most scientists believe that the "End of science" is reached, it does not follow that philosophers agree and nor does it follow that future scientists are going to agree either. There are at least two situations that come to mind where scholars thought that "we have got the whole picture right" and yet that was not the end of it. The end of the 19th Century and the pre-Renaissance period. Copernicus is a very interesting example because, although he motivates to some extent his theory based on disagreement between observation and the Ptolemaic model, his main drive was reportedly the antiquity texts of the Pythagoras school that had been translated from Greek and Arabic (leading up to Renaissance movement) and lead him to look at the world from a unique vantage point with respect to his contemporaries.
Although this is much more complicated than what I am going to say here, one cannot dismiss the influence that Eastern philosophy has played on the development of Quantum Mechanics in the 1920s, in particular when it comes to the development of the Copenhagen school.
With regards to Turing's uncomputability, we think it plays a very practical role in many problems of physics where one wants to infer the infinite time and/or infinite size limit of a system; which is relevant to computer simulations but also to experimental works as well. Alongside Goedel's incompleteness theorem it also gives trouble for answering fundamental questions on the spectral gap. Note that for the latter example, extrapolating to infinity is not the only issue. The point is that it is undecidable to know which finite system size can actually reproduce the real system the model is trying to characterise (https://www.nature.com/news/paradox-at-the-heart-of-mathematics-makes-physics-problem-unanswerable-1.18983).
Beyond the above detailed example, what has come from Goedel's proof of his incompleteness theorem and from other examples such as the Barber's paradox etc.. is whether some self-referential questions can put physics in some problematic situations. A somewhat recent article claims that indeed QM runs into problems when we try to "apply it to itself" so to speak (https://www.nature.com/articles/s41467-018-05739-8).
Hope that answers in part some of your questions.
Best,
Fabien