It’s interesting that he talks about “structure”, and how the heuristics work best when there’s the least structure. I guess he’d describe what I’m doing as including limited structure?
He’s also brought attention to a problem with my proposal. I didn’t think you could ever end up certain of a falsehood. But in a probabilistic model of numbers, he proved that there are infinitely many solutions to x^3 + y^3 = z^3. A robot with that probabilistic model would be certain that Fermat’s Last Theorem is false.
Well, maybe it would. I wish I had the time today to learn to analyze this whole idea more precisely, instead of just conjecturing left and right!
Unsurprisingly, Terry Tao has an excellent post about this sort of thing.
It’s interesting that he talks about “structure”, and how the heuristics work best when there’s the least structure. I guess he’d describe what I’m doing as including limited structure?
He’s also brought attention to a problem with my proposal. I didn’t think you could ever end up certain of a falsehood. But in a probabilistic model of numbers, he proved that there are infinitely many solutions to x^3 + y^3 = z^3. A robot with that probabilistic model would be certain that Fermat’s Last Theorem is false.
Well, maybe it would. I wish I had the time today to learn to analyze this whole idea more precisely, instead of just conjecturing left and right!