I did a little digging in curiosity about the Plimpton 322 story, and discovered that essentially Wildberger was already a proponent of rational trigonometry and then figured out that this tablet was based on it, which is the opposite order the news stories led me to believe.
But anyway the aspect of it that has me curious is whether it benefits 3D graphics or anything else that depends on lots of triangle computations. I found a paper that concludes it's more easily computed, but it seems to make some pretty simplistic assumptions (cost of sqrt = cost of sin, all algebraic costs = 0).
Using base 60 makes no sense for computer graphics.
However, doing everything possible in terms of vectors and never using angle measure unless interfacing with humans or legacy software is a generally good idea.
If you want to represent a rotation use a complex number of unit magnitude. If you want to represent a 3-dimensional rotation use a unit quaternion. If you want to store one of these using only 1 or 3 parameters, respectively, take the stereographic projection and optionally reduce the precision of your floating point numbers afterward.
This doesn’t imply turning everything into Wildberger’s rational trigonometry per se, but if you need metrical comparisons then you end up developing/using some of the same machinery.
> doing everything possible in terms of vectors and never using angle measure unless interfacing with humans or legacy software is a generally good idea
More generally, use scalar products instead of angles. Calculations based on scalar products are faster, numerically more accurate, simpler, and easier chained. Convert from/to angles only for input/output.
Even more generally, always use sane representations internally, and press cumbersome stuff to the borders of your system.
Examples:
- You should use unicode strings internally, and decode/encode only on I/O.
- You should use simple, native data structures internally, and deal with XML representations only at the boundaries.
How curious! I knew about rational trigonometry, and I was thinking the modern proponent of that idea would be so mad others are capitalizing on it without citing him...it so turns out he was a co-author, fancy that.
This is a great article touching on the several ways in which this new Plimpton 322 hype is overblown. There's usually a paper like that comes out every few years :)
If you're interested in learning more about Babylonian math-history I highly recommend Jens Høyrup's Lengths, Widths, Surfaces.
Although the hype is overblown, there is nothing particularly wrong with the article (except for the hype), which is why it was accepted into _Historia Mathematica._
A good introduction to Old Babylonian mathematics (the broader context for this paper) is in a paper by (surprise) Knuth, called _Ancient Babylonian Algorithms._ (You can find PDF links here: https://scholar.google.com/scholar?cluster=10887370978433539...) It's a very nice paper, and an example of Knuth's scholarly approach: despite not being a historian in this paper he produced the first translation of many old Babylonian tablets into English, by comparing the published German and French translations and then looking up Akkadian and Sumerian dictionaries to resolve differences! (Unfortunately he misread one of the secondary sources and later published a retraction; ignore the first column on page 672, about sorting (everything about Inakibit-Anu.)
Now to Plimpton 322: it has, for various triples (a, b, c) satisfying a^2 + b^2 = c^2, columns containing a, c, and either a^2/b^2 or c^2/b^2. This has been known for decades; what's been unclear is what this table was used for. Some have proposed this was number-theoretic (just a listing of Pythagorean triples), but this doesn't answer why these specific triples were chosen. Some have proposed this was trigonometric, but the concept of an angle is not otherwise known in Babylonian mathematics.
Enter Wildberger: for many years now he's championed "rational trigonometry" (trigonometry using only rational numbers). So instead of the sine and cosine he proposes using their squares; instead of angles there's something called "spread", etc. It all works reasonably fine, is not significantly harder to do than regular trigonometry (he claims it's easier, but it's about the same), and you get to work with only rational numbers. (This is also related to a broader project within mathematics which rejects infinite numbers -- see finitism, ultrafinitism.)
If you ignore the "more exact fractions" (which is true under a particular interpretation, i.e. numbers that can be written as finite sequences of integers in the "floating-point" representation), and "more useful than current mathematics" hype from the newspapers, the paper itself is sound and an argument about the nature of this table that is as plausible as any other speculation. They address previous interpretations and discussions, and have a coherent theory of how this table could have been generated or what it could have been used for. It even addresses the objection that Babylonians didn't have the concept of an angle: using exactly the objections raised against the trigonometric interpretation to say they used rational-trigonmetry-like functions instead. :-)
The paper is a good example of one aspect of the history of mathematics, the way arguments are adduced for speculation on topics where there's little evidence (have you read the rhetoric in Robson's paper?), and the fun of constructing explanations out of little data. Here it is again: http://www.sciencedirect.com/science/article/pii/S0315086017...
To think any civilization could build structures like the Babylonians did and not have a concept of angles is patently absurd. From what architecture they have that still stands, there is plenty of visual evidence that they indeed calculated for angles in some fashion.
They clearly had a concept of similar triangles, and a concept similar to our notion of “slope” or “tangent” (apparently they actually used the reciprocal of slope, i.e. length per unit depth).
However, they may not have had the concept as of ~4000 years ago of “angle measure” per se. You’d have to ask an expert in the history of astronomy when that concept was first developed semi-formally; my understanding is that it was 1000–1500 years later by subsequent Mesopotamian astronomers.
Angle measure (another word for circular arclength corresponding to a particular rotation) is actually quite a tricky thing to get right. It’s the logarithm of the rotation (a pure bivector quantity) with the orientation stripped away – if we call our rotation R oriented in the plane of the unit bivector i, it’s θ = log(R)/i. To go from an angle measure back to a “complex number” (scalar + bivector) with which you can do anything useful, you need to put the orientation back in and then exponentiate it: R = exp(iθ). In dimensions higher than 2, you need to use rotation operators via a kind of sandwich product, because composition of rotations is not commutative.
This is not an obvious concept, didn’t really get figured out properly until the late 19th century, and still isn’t taught very clearly to students today.
Even today you will find that earthworks (of course it depends on coutry regulations) use normally fractions expressing the gradient.
You dig (in normal terrain) sections with a 1/1 slope, depending on consistency, harder soil can be excavated with 1/2, 1/3, 1/4 or 1/5 (w/h).
You normally create landfillings /for roads, railways, etc.) with 3/2 slopes, which is a very good example how something that is extremely complex expressed in angles, like arctan 2/3, can easily be represented in practice.
As well, acqueducts or sewages, railways and roads are usually calculated longitudinally basing on percent (or per thousand) gradient, like 0.1%, 0.5% (h/l).
Vertical walls, like the walls built to contain the terrain on the "mountain side" of roads create - if perfectly vertical - the optical effect of appearing "leaning" towards the road, and usually are built with a 5% to 10% "opening" gradient from bottom to top to avoid that effect (and to save concrete), without anyone actually ever calculating the angle at the base.
Wildberger is a recurring subject on /r/badmathematics including this recent story. He's almost a crank and has some very very strange views on mathematics. He strongly objects to the use of infinity and proofs and mathematics that involve it, which includes real numbers.
If I understand correctly, he goes even farther and claims even really big but finite numbers don't "exist". And through this he claims to have "resolved" the Goldbach conjecture and other strange things.
The problem is not so much infinities in mathematics (after all mathematics is just a game with any rules you care to create), but if mathematics with infinities should be used when modelling the real world.
I am certainly happy to be corrected, but I don’t think we have found any event in nature that requires infinities to explain it.
As long as \epsilon != 0 one can make rational_of(\Pi, \epsilon) an arbitrarily close approximation of \Pi, without the need for infinity. In fact that is precisely what we use in practice, by that I mean computation.
Ultimately it comes down to a trade off. Which axiomatic system does one to work in ? Introducing infinity does have its fair share of warts (by warts I mean consequences that flies in the face of intuition).
How do you approximate pi in this way without making use of an infinite series? Or are you saying that an approximation that doesn't use an infinity is fine even if an infinity was used to arrive at it?
You can truncate the series at an appropriate place of your choosing. But yes, \Pi as a number does not even exist unless you add the Reals, so that would need infinity. What I am saying is, one can work with the Rationals.
The difference obviously is that you can't represent pi as a finite series or a repeating infinite series while you can do that with the rational numbers.
The kind of crank with a PhD from Yale that has taught at Toronto uni, Stanford etc?
Or is it impossible to have contrarian views to basic tenets of a human-made axiomatic system such as math without being called a blasphemer?
>If I understand correctly, he goes even farther and claims even really big but finite numbers don't "exist". And through this he claims to have "resolved" the Goldbach conjecture and other strange things.
Does he just "claim" or does he give proof? Because if he has the proper system, and he proves his theorems based on his axioms, and does that correctly, that's not much different than e.g. non euclidean geometries.
Smart people can be cranks. In fact they are far more likely to be so, perhaps because they overestimate their own ability. See e.g. http://lesswrong.com/lw/j8/the_crackpot_offer/ In any case I didn't call him a crank, but many actual mathematicians do.
>Does he just "claim" or does he give proof? Because if he has the proper system, and he proves his theorems based on his axioms...
I might be misremembering this, but I think his argument was just that "computers have tested all possible counterexamples up to some big number, therefore it's true.
All this talk of different axiom systems is giving ultrafinitism vastly more credit than it's due. It's not a different but coherent mathematical system. It's a "philosophy" based entirely on refusing to accept a result because it feels counterintuitive. And then coming to vastly more counterintuitive and absurd results as a consequence of trying to resolve it.
I mean they really believe that there exists a biggest number and there are no numbers bigger than that. Even regular finitists are kind of absurd, denying the existence of pi or the square root of 2.
Under some interpretations of physics there is a finite number of objects in the universe, hence a largest possible cardinality of things that is finite. Even sets like the number of possible states of the Universe appear to me to be finite, though so large as to be intractable to my imagination.
A conceptual circle and a real circle differ markedly because of the lumpiness of matter, quantisation, uncertainty. Every real circle is an approximation (yay Plato!).
Pi doesn't appear to me to be real, as in writ in matter/energy -- it's a ratio of measurements of an imaginary article, circles don't exist in our experiential 4-space.
Irrational numbers like root-of-2 just fall out of basic maths though, there's not going to be a real line with that measure just as there's no line with a predefined unit measure (ie unless you define that line at that point in time as your unit, but a real line isn't even straight).
I'd be really interested in refutation of this -- it's one of those positions I've held since Uni, at least, but never explored as I've never seen it challenged/supported nor named.
You seem to forget that maths and physics are meant to describe reality, not be reality. Any abstract concept (like numbers, forces, shapes, temperatures, energy levels, ...) we use to describe a real thing is different from that thing itself. If you think about it, even 2 isn't "more real" that Pi, because there are no 2 identical things in reality.
When we say "a human hand has 5 fingers", we use the abstract concept of "finger" to make that description. It is abstract because each "finger" is actually unique. It's just a handy approximation we use (pun intended) for descriptive goals.
Basic maths is not reality. Therefore no, irrational numbers do not "fall out of it".
There's no such thing as an S-orbital, there a probability distribution where a bounded probability produces an approximate sphere, in any universe with more than two charges that sphere is going to be 'irregular'.
The parent argument works here as much as for fingers though, those 2 electrons are identical but their spin differs. All electrons differ in the Standard Model by either spin or location.
So you deny classification of similarity - fingers have structural similarities that allow them to form a class of object/item, this class and it's per-person sub-classes have a reality that to me is not entirely abstract.
Even without classification we can create arbitrary groupings of physical objects, those groups have cardinalities. (Unless your materialism denies the existence of more than one thing/substance; philosophy is fun, eh.)
As far as we know the universe isn't discrete like a cellular automata. So it's state contains infinite information for starters. I'm not sure what the current theories of physics say, but I don't believe the universe is finite in time or space either. And who knows what new discoveries physics might make in the future and what weird math it might require. There's no a priori reason to expect the universe to be modelled by finitist math.
But even if we knew for sure it was, so what? Theorems about real numbers apply perfectly well to finite approximations. You don't gain anything by restricting yourself to finite math, and you lose quite a bit and make a lot of things much harder.
Current theories AFAIAA are that the universe is finite in all dimensions. If it had finite particles, with finite (quantised) states, with finitely many discernible locations, to be found at finitely many discernible times, then the states overall are finite.
Time and space are effectively discretised, Planck scale and time. Even aside from that: for considerations of physical measure we always use something with an explicit size, a wavelength of light say, as our rod which limits our precision.
There may be finite real particles, but there are infinite virtual particles (and some times, the difference between a real and a virtual particle is not too clear).
For example, a proton has three real quarks. But the mass of the three quarks is only the 1% of the mass of the proton https://en.wikipedia.org/wiki/Quark#Mass the rest is crap, or in more technical terms https://physics.stackexchange.com/a/81284 . When you measure with more energy, you see more and more virtual particles, infinite virtual particles.
That's the nice part of virtual particles. If they are short lived enough they can be so many or so massive as you wish. Well, not as you wish because there are a lot of rules that relate the amount of particles, the mas and momentum of each one and the available energy.
At low energy the effect of the virtual particles is negligible (except in a very few weird cases like the https://en.wikipedia.org/wiki/Lamb_shift ). At high energy the probability of the virtual particles is bigger, so their effect is easier to measure.
What do you mean "refutation"? This is making you look as much of a crank as they are. There is no imaginary requirement to have a direct counterpart in the physical world, in "matter/energy".
Infinity, axiom of choice, .. are all tools. We use them because their presence gives us other helpful results. None of it has anything to do with "lumpiness of matter", "matter/energy", "experiental 4-space", "real line".
Refutation as in "you overlooked this standard point that undermines your position", like maybe "polarised light describes a perfect circle", or "the gravitational field of a black-hole (when shaved) is a sphere".
AFAIK there's nothing truly infinite, nor perfectly geometric, that we can experience in our physical spacetime -- I'd like to hear from those who can show me that's wrong.
The world itself isn't axiomatic, if certain theories/systems that are unfalsified show parts of it are infinite/etc. -- despite that just being a model -- that's an interesting result.
We've entered fuzzy-definition territory; but I'd say it is a stretch of the language to imply Wildberger is a crank. Which you have now done twice with no references.
He is unorthadox in his pushing of rational numbers, sure, but he gets through an extremely large amount of maths correctly. It is well within his job domain reflect on odd academic questions about what happens outside the world of human measurement.
Post-euclidean geometers did not claim that Euclid was wrong, but if the article is to be believed, this guy is saying everyone else is wrong, apparently with arguments that are sketchy at best.
He is not being called a blasphemer, he is being dismissed with reasons. There is a difference.
>Post-euclidean geometers did not claim that Euclid was wrong, but if the article is to be believed, this guy is saying everyone else is wrong, apparently with arguments that are sketchy at best.
When everybody else believed that euclidean geometry was the only one possible, someone that insisted otherwise would also be labelled a crank (and he would be right in calling others wrong).
You are making an invalid comparison here. In your possibly hypothetical example (were the founders of non-euclidean geometry dismissed as cranks by their peers?) your lone post-euclidean would be justified in calling the others wrong for dismissing his mathematics, and also justified in denying their claim that Euclidean geometry was the only geometry, but he would be wrong if he were to say that Euclidean geometry itself was wrong. Wildberger is doing the equivalent of the latter, apparently.
I am sure you understand that being labeled a crank is not evidence of actually having greater insight. Instead of arguing from a dubious analogy of uncertain applicability, you would be much more convincing if you first took the specific objections to Wildberger's position from the article, and refuted them.
In mathematics education, I always disliked the way inifinity is shoehorned into the different sets of numbers and treated as "just another number", so that you can write shorthands like: 1/∞=0, instead of the more accurate ∀ε>0, ∃c>0: x>c ⇒ 1/x<ε
Infinity is not a number. It's a limit.
Treating it as a number only confuses real understanding of it.
In 1960 Abraham Robinson invented the hyperreal number system, which contains infinitely small and large numbers. They behave as you would expect. The branch of analysis (including calculus) based on the hyperreals is called "nonstandard analysis". So you can develop calculus without the limit concept using this number system.
This article seems to boil down to "stop liking what I don't like." Is Wildberger's distaste for real numbers eccentric? Yes. Is there anything fundamentally wrong with what he is proposing? Absolutely not.
As long as rational trigonometry is logically consistent then you really can't argue against it except on aesthetic grounds. I don't see why popsci outlets like Scientific American should feel the need to rally the public against rational trigonometry on emotional grounds.
Mansfeld and Wildberger made a number of trivially provable false claims. I read the SciAm article as 1) focusing on their false claims and 2) not trying to "rally the public" against rational trigonometry at all, much less on emotional grounds.
In particular, Mansfeld and Wildberger (especially as reported in other outlets) are making the claim that "rational trigonometry" is more accurate, and that's a concrete claim with is 1) easily verifiable and 2) wrong.
And that's not even touching on the bizarre claim that "we count in base 10, which only has two exact fractions: 1/2, which is 0.5, and 1/5." There's so much wrong with that, it's hard to know where to start.
> "rational trigonometry" is more accurate, and that's a concrete claim with is 1) easily verifiable and 2) wrong.
I do not see how it is easily verifiable. Rational trigonometry, as I understand, does not use angles, so it is not clear for me how to use it in a lot of cases. I belive there are ways to do it, but it needs some research or reading Wildberger... So, its not seems for me as "easily".
> the bizarre claim that "we count in base 10, which only has two exact fractions: 1/2, which is 0.5, and 1/5." There's so much wrong with that, it's hard to know where to start.
To my mind, it is just imprecise wording from Wildberger side. Or maybe it precise in his rational way of thinking, but we, accepting irrational numbers, see it imprecise.
I belive, that he meant to say, that 1/2 and 1/5 is some kind of "base" fractions and all fractions that can be written presice is `(1/2)^m*(1/5)^n`, where m and n are non-negative intergers. And to write precise is means to write in decimal representation. I cannot see any other explanation of Wildberger words which would not imply that Wildberger just plain stupid, which is improbable.
Really, I like the idea: we know how to solve a lot problems with irrational numbers, but does it possible to solve them without irrational? How far mathematics can go without irrational numbers?
>that's a concrete claim with is 1) easily verifiable and 2) wrong
I fail to see how it's wrong. If you call Math.sin(x) it will return an iterative numerical approximation of sine. Would you care to elaborate rather than casually dismissing it?
> There's so much wrong with that, it's hard to know where to start.
Such as? 60 has more prime factors than 10, and therefore using it as a numeric base will result in you encountering fewer irrational numbers. You really can't argue against that.
> Such as? 60 has more prime factors than 10, and therefore using it as a numeric base will result in you encountering fewer irrational numbers. You really can't argue against that.
Actually, I can argue with that. Irrationality is a property of the number, not the representation. An irrational number cannot be written as a terminating "decimal" in any base. And, of course, a rational number can be written as an integer fraction in any base.
EDIT: Ignoring, of course, doing silly things like saying pi is rational in base-pi... Which I think deserves a spot in some circle of mathematical purgatory. Also, I wonder if every number except pi and its multiples are non-terminating in base-pi...
Strange bases are pretty cool. Any integer can be converted into base-sqrt(2) by interleaving zeoes into its binary representation. E.g. 5 in base-sqrt(2) is 010001, 21 (0b10101) is 0b0100010001, etc. Possibly useless, but neat.
Knuth considers transcendental bases (ee is a transcendental number) in The Art of Computer Programming – in the section called Positional Number Systems. One of the consequences of using irrational bases is unfortunately that numbers need not have a unique representation.
Specifically the answer from Dave Williamson. It's ridiculously comprehensive. He shows how to calculate it using pure math, using a calculator, by writing a program, and demonstrates a partial proof on some of the properties.
> I fail to see how it's wrong. If you call Math.sin(x) it will return a numerical approximation of sin().
Right. Now what's being argued here is that instead of measuring an angle X, calculating the sine of X, and then (probably) rounding the result to a convenient decimal approximation, we should measure an angle X, round it to an angle Y with a convenient non-repeating decimal representation, and calculate the sine of Y. (That's the whole point of Mansfield's and Wildberger's analysis of the tablet; that it was a trig table that only gave answers for angles with convenient answers, rather than, as modern trig tables do, giving it for all angles.)
So instead of measuring an angle as 29.88 degrees, calculating the sine of 29.88 as 0.49818510533, then rounding to 0.4982 or whatever, we should instead calculate the sine of 30 degrees, and get the wonderful totally accurate "exact fraction" 1/2.
1/2 is totally accurate representation of the sine of 30 in a way that 0.4982 is not a totally accurate representation of the sine of 29.88, yes... But 0.4982 is a much more accurate representation of the angle you've actually measured.
From an engineering point of view (which offhand seems like the only one where accuracy matters), normal trig is obviously, obviously better than rational trig, because normal trig is more accurate in the ways that matter. The more sigfigs I have in my measurement of my angle, the more decimal places I can leave in my numerical approximation of the answer. It may always be inexact in a way that 1/2 is not, but it'll also always be exact in a much more important way. :)
> Such as? 60 has more prime factorizations than 10
So it does, but that's not the claim being made. Rather, the claim was:
"We count in base 10, which only has two exact fractions: 1/2, which is 0.5, and 1/5."
To which one might note that:
1. All fractions are exact, by definition. 1/3 is an exact fraction; it's exactly 1/3, in exactly the way 1/2 is exactly 1/2. The fact it's decimal representation is repeating does not impact this.
2. Mansfeld apparently means "fractions with terminating decimal representations" when he says "exact", which is a weird and non-standard usage. But even so, you can construct tons of fractions in base 10 that have non-repeating decimal representations, like 2/5ths, or 5/8th.
3. Possibly he means "...which only allows you to construct two fractions using a numerator of 1 and a denominator consisting of a number smaller than the size of the base which has non-repeating decimal representations..." (which would be a pretty weird thing to focus on) it's still wrong; it's missing, eg, 1/4th.
4. Finally, he reckons that in base 60, 7/60 + 30/3600 aka 1/8 aka 0.125 is an "exact fraction". That sort of factorization is legitimate, but obviously if that's an exact fraction so is 2/10 + 5/100 aka 1/4th. Or come to that, 6/10 aka 0.6.
In short, the claim is gibberish. It's using a phrase with no clear definition in a way which is internally inconsistent. There is no way that 1/8th is an "exact fraction" in base 60, but only 1/2 and 1/5 are "exact fractions" in base 10.
I agree it's absurd just say that the rational trig system is "more accurate" and leave it at that. The idea that we have, for thousands of years, been ignoring mathematical wisdom of the ancient Babylonians is pure click-bait. But the issue goes beyond the maths itself and into what humans want to do with it.
Let's start with an apparent nitpick. You say "rather than, as modern
trig tables do, giving it for all angles". But no table gives all angles,
it's always sample. For modern tables, the samples tend to be regularly spaced, while the Babylonians apparently chose to sample the rational points. Which
is better likely depends on the use case.
It's not obvious that "normal trig" is better from an engineering point of view. At least not for all engineers. If you are designing a Babylonian temple then
you have the freedom to make your rooms so-many-cubits by so-many. That is, it's
fairly easy to make rational ratios between the opposite. It's then handy to
know what mathematical properties the resulting angle has. Or else to be able
to look at your table and pick ratios that have some useful property. You could
not do this with a "normal" trig table, or even a modern a hand calculator.
> You say "rather than, as modern trig tables do, giving it for all angles". But no table gives all angles, it's always sample
That's true, and my wording was poor. But during the heyday of trig tables, they were very thorough, giving you results for angles (typically) very, very close to whatever you were trying to calculate, and to usefully high number of decimal places. (I'm old enough - just - that I actually used them in school.)
But more to the point, we don't use trig tables any more, we calculate the number on the fly to any arbitrary desired degree of accuracy. That's always going to be the best choice; there's no tradeoff here.
> If you are designing a Babylonian temple then you have the freedom to make your rooms so-many-cubits by so-many.
Also quite true, but of course, no temple wall is exactly N cubits high; the measured height is at best an approximation, so the resulting ratio of height to width (or whatever) is at best an approximation. All we need from our trig tables (or calculator) is enough accuracy. And in practice, that's not hard.
The reality is that, as the linked article says, "it seems like a solution to a problem that doesn’t exist". When we actually used trig tables to build bridges, we didn't have issues with trig tables, and now we have a much better solution. Trig tables that, as you put it, sample the rational points just doesn't seem like it's better for any use case.
In modern times the best solution is to usually never bother with angle measure, and just stick to pure vectorial methods.
If you happen to need an angle measure for whatever reason (e.g. interacting with legacy systems) you can then compute it to however many binary digits are appropriate for your needs.
OK, as a purely useless concession, I will grant you that base 60 gives you more rational numbers that you can express as terminating decimals. (Uh, not decimal decimals, but... whatever the right term is.) But, first, every rational number is exactly representable in any base (as a fraction, rather than as a decimal expansion). Second, this doesn't help you at all if you're taking trig functions of almost all angles, where the result is not rational.
>But, first, every rational number is exactly representable in any base (as a fraction, rather than as a decimal expansion).
Fractions are great until you actually need to evaluate them to use their value. Saying that any number can be perfectly represented with fractions is much like saying that any integral calculation can be performed by simply writing a tall S in front of an algebraic expression. You still have to calculate the final result.
>Second, this doesn't help you at all if you're taking trig functions of almost all angles, where the result is not rational.
That's just it though: we have no closed form way of calculating the values of trigonometric functions. We only have algorithms that describe how to approximate their values with acceptable amounts of error.
> Fractions are great until you actually need to evaluate them to use their value.
What does this even mean? Fractions are already a value, or rather they are a representation of a value. The same as the decimal number 25 is a representation of 2×10¹ + 5×10⁰.
>Fractions are already a value, or rather they are a representation of a value. The same as the decimal number 25 is a representation of 2×10¹ + 5×10⁰.
That evaluates exactly to 25. Now try to pour me a glass containing exactly 1/7 gallons of milk without making an approximation.
> Now try to pour me a glass containing exactly 1/7 gallons of milk without making an approximation.
This is an exceptionally silly argument. Now, I happen to live somewhere where the metric system in use, so allow me to translate your challenge.
So you're saying that it's harder to pour 540.773 ml of milk (ie, 1/7th of a gallon) than 757.082 ml of milk (ie, 1/5th of a gallon)? (Notice how both of those are numerical approximations? How strange...)
There's nothing harder or easier about pouring 757.082 ml compared to 540.773 ml, nor do we have some magical pouring tools which allow one number to be poured with greater or lesser accuracy than the other. Nor does it suddenly become possible to pour it with more accuracy if you use a measuring cup with ounces on it. :)
You seem to be under the hilarious misapprehension that it's somehow easier to pour something if you happen to be measuring it in units that happen to have a non-repeating decimal representation in whatever base you happen to be working in. That's not really how reality works.
(And I'm not even going to start on what "exact" means when dealing with a non-molecularly homogenous fluid.)
Real world examples are not going to help your argument here, because the real world can only be interacted with via approximations. 1/7th of a gallon of milk is every bit as much of an approximation as 25 gallons.
Is such a task meant to be impossible? I don't even... I can assure you that it is, in fact, physically possible for a glass of milk to contain exactly 1/7 a gallon of milk.
I assume your "cleverness" is in the assertion that I cannot "prove" 1/7 of a gallon using existent tools because such tools would report the result in a base-10 decimal, which would be necessity have to be approximated because 1/7 is non-terminating in base-10.
Of course, I could instead prove it by weight. Or by combining 7 such equal portions and resulting in a single gallon. The latter being an example of exactly why fractional representation of rational numbers is useful.
EDIT: As an aside, by any chance are you one of the set of people who argue that .99999999... repeating infinitely is not the same value as 1?
EDIT2: This just reminded me a lot of the barometer question, as I think of various ways I could demonstrate 1/7 a gallon. Of course, some things are off the table due to being a heterogeneous substance at the molecular level. Some additional options would be on the table if it were homogeneous, like water.
Pour me a glass containing exactly 1/6 of a gallon of milk. Now pour me a glass containing exactly 1/6 of a gallon of milk, but using base 60. How does that help?
(Yes, what helps is having a measuring device calibrated with markings for the amount you're trying to pour. But I have several measuring cups that have markings for 1/3 cup, even though there is no exact base-10 representation of that fraction.)
I didn't read it that way. They are rallying against the claim that rational trigonometry is "superior" or "more accurate", and not on emotional grounds.
Glad to see Wildberger getting some recognition, even if some of it is mixed. His rational trigonometry is an entirely rigorous and interesting piece of mathematics even if you don't think it's particularly pragmatic.
This is my first time being exposed to this but I wonder. Is the rational trigonometry useful? As in, are there applications in which it would make a tangible impact, for example accelerating algorithms or making learning easier?
To deal with pentagons you need to extend the field of rationals by an additional element. Wildberger is kind of ambivalent about finite field extensions.
Has there ever been a "ancient tablet unravels secrets undiscovered" that contributed to science and not history? I think everyone can safely eliminate this sort of thing in a Bayesian sense.
This isn't quite the same thing, but FWIW, during Renaissance times, scholars would rediscover ancient Greek works and legitimately learn "new" mathematics from them. See for instance Diophantus's Arithmetica, which was translated from Greek to Latin and thus rediscovered by the west.
I had to go through a Babylonian secant table and find the error as an exercise. The actual point of the exercise was in determining how the error in calcuation was made.
Figuring out how science was done is still science, even if all you're doing is figuring out how to do the exact same thing but in a different way.
The story says George Plimpton bought the tablet in 1922. George Plimpton (I assume it's the same one) was born in 1927. I admit he was awesome enough that Jonathan Coulton wrote a song about him, but could he buy a tablet five years before he was born?
They clearly treated it as a base sixty floating point system, even though they wrote each “sexagesimal digit” using collections of two symbols one of which represented 10 times the other. The symbol for 10 was only ever used to represent 10*60^n. Tens were never themselves the unit.
(Though the abstract sexagesimal system evolved out of earlier concrete systems with less standardized mixtures of physical units.)
Perhaps so, but in this case the solution is one that's already well known (that you can express trig functions exactly when you're dealing with right triangles with integer sides).
If you want to do some computation involving a given angle, you're not likely to have the luxury of picking the angle that makes the computation easy using rational arithmetic. The sine of 45° is an irrational number (1/sqrt(2)).
But anyway the aspect of it that has me curious is whether it benefits 3D graphics or anything else that depends on lots of triangle computations. I found a paper that concludes it's more easily computed, but it seems to make some pretty simplistic assumptions (cost of sqrt = cost of sin, all algebraic costs = 0).