It lays the foundations for automated proof verification, which is going to help with the development of new theorems as well as automated reasoning about computer programs…
But like… what does the proof even entail? I feel if you asked a child (or maybe me) what the proof was they’d say “well the definition of those two numbers, and the definition of plus means that 1+1=2”. What else is there?
It lays the foundations for automated proof verification, which is going to help with the development of new theorems as well as automated reasoning about computer programs…
But like… what does the proof even entail? I feel if you asked a child (or maybe me) what the proof was they’d say “well the definition of those two numbers, and the definition of plus means that 1+1=2”. What else is there?