With llms and theorem provers doing the formalism, what is left is intuition - love the intuitionist focus in this book, also tying into what Bessis said in [1]

With llms and theorem provers doing the formalism, what is left is intuition - love the intuitionist focus in this book, also tying into what Bessis said in [1] I intend to read this book in depth. Author: please fix the html rendering. [1] https://www.amazon.com/Mathematica-Secret-World-Intuition-Curiosity/dp/0300270887 https://www.amazon.com/Mathematica-Secret-World-Intuition-Cu...