Organize all the known mathematics and physics of 1915 in a computer running the right algorithms, the ask it: ‘what is gravity?’ Would it output General theory of relativity? I think so.
Do you have any idea how to do it? What does organising the mathematics and physics actually look like? What are the right algorithms?
Nobody probably doubts that theoretical work can be done by machines. But your original claim was stronger: that these tasks are “fairly easy to represent virtually” and that the conjecture that they are going to be the last to go is a misconception.
Do you have any idea how to do it? What does organising the mathematics and physics actually look like? What are the right algorithms?
Nobody probably doubts that theoretical work can be done by machines. But your original claim was stronger: that these tasks are “fairly easy to represent virtually” and that the conjecture that they are going to be the last to go is a misconception.