tag:blogger.com,1999:blog-20067416.post1245426942893558495..comments2022-09-22T01:46:17.706-04:00Comments on Recursivity: Why Can't Creationists Do Mathematics?Unknownnoreply@blogger.comBlogger6125tag:blogger.com,1999:blog-20067416.post-91944763718572965122020-12-12T20:13:02.068-05:002020-12-12T20:13:02.068-05:00So, his paper "Simplifying and Refactoring In...So, his paper "Simplifying and Refactoring Introductory Calculus" makes A LOT OF SENSE. <br /><br />https://arxiv.org/pdf/1811.03459.pdf<br /><br />The change that he makes to second derivative notation is almost obvious in hindsight. People can honestly disagree about what is "Easier to teach", but following this advice has completely cleared up things about Calculus that bothered me. <br /><br />And to be honest, other than his (apparently) insistence that higher derivative notation be fixed; it's not entirely original. JB happens to be a computer programmer as well. People that spend all their time on chalkboards and on paper or in LaTeX can work around bad notation. Computers can't really do this.<br /><br />This is because it's very possible to have correct answers for all the inputs that they get applied to, for hundreds of years; because by definition, you use tools where they work, and obey a rule to not uses it in the situations where the notation has broken down. <br /><br />In what he is doing, he has effectively discovered Auto-differentiation; which is the technique used for Deep Learning in Artificial Intelligence. I ran into Johnathan Bartlett's paper when I was trying to make sense of Auto-differentiation. In a DeepLearning model, you have the notion of taking a general program with thousands of inputs and differentiating it. You calculate f(x0,x1,x2,...) for a really huge function that could have hundreds of thousands of parameters; because you will use the first derivative of it to do backpropagation. In this situation if you DO NOT fix the damned notation, then in your CODE you have to fill it with exceptional cases to get the correct answer in spite of an issue with the notation. Welcome to the world of programming.<br /><br />I would say that if you try to implement multi-variable calculus in a raw programming language (ie: Python without libraries), that you will start to understand the perspective of Finitism to some degree. In code, when the (algebraic) pattern breaks; you really need to think hard about whether putting in special case code to handle things like "this value is really small/large" is going to eventually break a pattern that it needs to match.<br /><br />We are beginning to see a clash of worlds from computer graphics programmers ... who discover Geometric Algebra, when they start to regard all the bizzare workarounds in Gibbs Vector Algebra as bugs. <br /><br />Just because something works, doesn't mean that it's holy and unchallengeable. All day long, I deal with code that works perfectly over a wide range of requirements for many years; and a customer needs to apply it to a new context. In these cases, you realize that some inconveniences that you tolerated are actually design flaws; or even bugs when scope of it is expanded.<br /><br />The comments about "creationists can't do calculus" is idiotic by the way. Newton himself was a religious person that calculated the end of the world from the bible, dabbled in alchemy, and other kinds of crackpot pseudo-science. It's completely irrelevant to what he managed to get right. <br /><br />I haven't read anything else from Johnathan Bartlett, but his paper about higher derivative fixes is quite interesting. And his Calculus book actually is a really great book on the subject. The bits in it that are heretical are out of necessity. But almost all math books written by people who have actual experience writing large code bases, in computer graphics especially, have something in common: they understand the value of making things as algebraic as possible, so that the code does the right thing without a human being second-guessing it.<br /><br /><br /><br /><br /><br />Rob Fieldinghttps://www.blogger.com/profile/17991209454728314236noreply@blogger.comtag:blogger.com,1999:blog-20067416.post-27993628859213748522019-09-30T12:45:59.826-04:002019-09-30T12:45:59.826-04:00Bartlett is "crevo", and has (or had) at...Bartlett is "crevo", and has (or had) at least 2 creationism blogs and his own 'publishing' company, of which he was the only client. He once declared that it would have taken at least 1 million mutations to get an obligate biped from a knuckle-walking ape, just for the pelvic region. He was asked repeatedly if he could provide evidence that this was so, and to name 100 specific features that would have needed to have been altered via mutation. He bailed, of course, but continued to insist he was correct.<br /><br />Just goes to show that creationists are usually wrong about genetics and general biology as well as math. Even an engineer like "crevo."Anonymoushttps://www.blogger.com/profile/11375990332941197150noreply@blogger.comtag:blogger.com,1999:blog-20067416.post-15443190203960442102019-08-22T22:04:43.404-04:002019-08-22T22:04:43.404-04:00As usual there is a semantic difference involved a...As usual there is a semantic difference involved as to how "calling" is understood.<br /><br />Suppose we defined prime numbers as follows: all numbers except 1 which are only divisible by themselves and 1, plus the number 14. If that was the actual mathematical definition then 14 would be a prime. So if "calling" meant "redefining" then Lincoln would be wrong.<br /><br />But if "calling" means "pretending" or "asserting" Lincoln is correct, which would be the conventional reading. Then Lincoln's point is that we don't get to make up our own versions of reality.JimVhttps://www.blogger.com/profile/10198704789965278981noreply@blogger.comtag:blogger.com,1999:blog-20067416.post-16616007119980090562019-08-21T14:28:23.737-04:002019-08-21T14:28:23.737-04:00To argue that it may be, at some point, acceptable...To argue that it may be, at some point, acceptable to call a tail a leg is to strain credulity and beg the question of why we should ever want to do so. Your examples of things we "might" define into reality serve as little more than to say, "anything is possible in this jet propelled age." Yes such is possible, but highly improbable to the point of not requiring consideration. jfnorburghttps://www.blogger.com/profile/12755779653347581055noreply@blogger.comtag:blogger.com,1999:blog-20067416.post-63419340929311465932019-08-20T19:56:46.444-04:002019-08-20T19:56:46.444-04:00I was thinking about the Lincoln thing the other d...I was thinking about the Lincoln thing the other day, in particular in a mathematical context. How many primes are there between 10 and 20, if we call 14 a prime? Is the right answer "five", or is it "four, because calling 14 a prime doesn't make it one"? What is, and what isn't, a prime, is a matter of definition, and definitions are subject to change as circumstances change. There was a time when it was not unusual to call 1 a prime – it was listed as a prime in D N Lehmer's tables. There are occasions when it is convenient to view -1 as a prime. It's conceivable (though I'm not holding my breath) that some day we'll find good reasons for calling 14 a prime. Does calling a pseudorhombicuboctahedron an Archimedean solid make it one? Does calling a stellated dodecahedron a polyhedron make it one? I think a case can be made that if, for some purpose, we find it convenient to call the tail a leg, then, at least for that purpose, that makes it one. Gerry Myersonhttps://www.blogger.com/profile/01740997271172353562noreply@blogger.comtag:blogger.com,1999:blog-20067416.post-67860952771845131722019-08-20T17:36:30.434-04:002019-08-20T17:36:30.434-04:00A mathematician probably would have just said that...A mathematician probably would have just said that the Weierstrass approximation theorem states that every continuous function defined on a closed interval [a, b] can be uniformly approximated as closely as desired by a polynomial function. For all practical purposes, there is no need to go to an infinite number of terms. (No electronic calculator or computer does, and that's where most students and engineers get their sine and cosine values.)<br /><br />The thing I would add to calculus textbooks (since the three I have used never mentioned it) is that the calculus of continuous functions is an excellent approximation to a lot of things which in real life are not continuous. E.G., Maxwell's Equations (electric charge is not continuous, we never see a charge smaller in absolute value than that of an electron--although slightly smaller but still discrete charges are assumed to exist); Stokes Equations (fluid flow is not continuous since fluids are composed of molecules); stress in bridge girders; et cetera. I tend to think, similar to Zeno and Democritus, that nothing, not even space and time, are continuous, but that is just an opinion.JimVhttps://www.blogger.com/profile/10198704789965278981noreply@blogger.com