/sci/ - Science & Math

>>15211085
That's like saying a warrior refuted the sword he was using because he fucked up his battles and got hurt.
Part of the problem with Gödel is that he doesn't give any idea how the way proofs are accepted and rejected in reality...in particular the evolutionary fact that what was proof n years ago isn't necessarily proof today...should be modeled mathematically
In short, Thomas Kuhn killed Gödel.
Gödel is just lying about the amount of work he's doing. If he had done the work, he would have been drawn into what is essentially
- machine learning
- agent based calculations (complex adaptive systems)
- artificial life simulations
- introducing errors into candidate proofs and candidate proof verifiers
If Gödel had done the work he claimed to have done, then he would have revealed a rich and vibrant world of "proof accepting machines" that are indeed evolving...he didn't do the work; he waved his hands, and publishers printed the work he submitted