tag:blogger.com,1999:blog-8148573551417578681.post1806658174570125742..comments2019-09-18T11:39:44.495-07:00Comments on Dark Buzz: Horgan admits math proofs are not dyingRogerhttp://www.blogger.com/profile/03474078324293158376noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-8148573551417578681.post-45364833878365098732019-03-25T05:13:04.073-07:002019-03-25T05:13:04.073-07:00"trained in mathematical foundations"
L..."trained in mathematical foundations"<br /><br />LOL Now that's a bullshit job. Proofs are dying because nobody cares what they are proving and computers can brute force huge ranges of validity. What exactly have we gained from, say, the classification of finite simple groups? And we wonder why self-driving cars can't even take left turns...<br /><br />"Perhaps the most spectacular source of errors or holes comes in proofs that are so long and complex that only a few people in the world understand them. A famous example is something called the classification of finite simple groups: a triumph of twentieth-century mathematics which, as the name suggests, involves classifying each of an infinite number of mathematical objects into families. The first version of the proof that the classification was correct and complete was announced in 1983 and ran to over 10,000 pages, spread across 500 journal articles, by over 100 different authors. There turned out to be a problem with this first proof, which took nine years and another paper of over 1,000 pages to fix." https://plus.maths.org/content/pure-maths-crisis<br /><br />Get a copy of Maple and you can shoot down math journals all day. Math is degenerating into abstract art. The axiomatic approach resolves nothing. It's a sideshow because it reintroduces initial value chaos by its initial conditions. It's totally false that in abstract mathematics, axioms can be obvious. Total bullshit.MD Coryhttps://www.blogger.com/profile/05342743632013663077noreply@blogger.com