What's your opinion of a Math without Reals?

  • #1
TheDemx27
Gold Member
170
13

Main Question or Discussion Point

Norman Wildberger is a mathematician against the ambiguous rules of infinity and limits, and is against the real numbers in their entirety. AFAIK he is trying to create an alternative to analysis that uses only rationals. I'm currently under the impression that his criticisms are sound but moot in practice. Some people think he is out of his mind, but on the face of things, I can't help but side with Wildberger in his sentiment in the spirit of Bertrand Russell.

Here is a sample video:


What does pf think? Please tell me I'm not drinking cool aid.

15676004_353111325046061_2293129377922753701_o.jpg
 

Answers and Replies

  • #2
Vanadium 50
Staff Emeritus
Science Advisor
Education Advisor
2019 Award
24,564
7,457
What's my opinion of a Math without Reals? Roughly the same as English without vowels. Or rather, rghl th sm s Nglsh wtht vwls.
 
  • Like
Likes anorlunda, Kumar8434, Demystifier and 7 others
  • #4
13,106
9,865
Q: "What's your profession?"
A: "I'm an accountant."
Q: "How boring."
A: "No, not at all. We only use natural numbers!"
 
  • Like
Likes Math_QED
  • #5
StatGuy2000
Education Advisor
1,787
878
I've read a little about Norman Wildberger, and from what I can tell, his opposition to the ambiguity of infinity and limits echoes the views held by German mathematician Leopold Kronecker (1823-1891), who believed that mathematics should deal only with finite numbers and with a finite number of operations, and had opposed the work of Georg Cantor. So his views are not at all new in mathematics. As one commenter, Hans Hyttel (a mathematics professor at Aalborg University in Denmark), had noted on Quora about this:

N.J. Wildberger is neither a joke nor a genius. It appears to me that he is re-discovering some ideas from constructive mathematics and is relating them to the teaching of mathematics. Not only is there a link to Brouwer's intuitionism, but Wildberger's worries about infinite sets also appear to be related to the finitism of Leopold Kronecker.

In other words: The concerns are legitimate but they have already been addressed a long time ago (and, in my opinion, much more convincingly), about 100 years ago when mathematics was undergoing its so-called foundational crisis. See the exposition by Evan Warner from Stanford for more about this.

What is new in Wildberger's work is – as far as I can tell – his concern about how a constructive approach to maths should influence how we teach the subject.
 
  • Like
Likes fresh_42
  • #6
22,097
3,282
All of math is an invention. All of it, including the reals. The thing is though that math is very useful in economics, statistics, physics, biology, etc. So math is useful. That includes the reals. Doesn't matter that's it's fiction, it's useful nevertheless.
 
  • Like
Likes Student100, jackwhirl, QuantumQuest and 4 others
  • #7
2,123
79
All of math is an invention. All of it, including the reals.
Including number theory and the distribution of prime numbers?
 
  • #8
22,097
3,282
Including number theory and the distribution of prime numbers?
Definitely.
 
  • Like
Likes TheDemx27
  • #9
402
46
All of math is an invention. All of it, including the reals.
What's your opinion of a statement such as:
(a+b)^2=a^2+b^2+2ab -- for all a and b belonging to N={0,1,2,3,...} (or say Z -- set of integers)

-----

Upon reading the original post more carefully, I don't think there is any particular reason why one would want to restrict themselves to rationals (of course the maths done using just rationals would still be fine).

But I think there is a point that needs to be clarified. When we way that a real is an invention it might mean one of the two following things:
(1) They are invention in the sense that statements carrying them have no real meaning (transcendental meaning** so to speak). Now it could mean that either (i) the objects being described can't be related to our experience in principle (mathematically idealised sense) or that (ii) the objects and manipulations involving them are simply meaningless.

One could argue that there is meaning involved in the former case -- case(i) above. But nevertheless, it really can't be related or linked back to us in principle. Note that case(i) can also be roughly phrased like this:"We are "discovering" some kind of absolute truth, but one that exists beyond our world of experience".

(2) The second point here is that if we do take certain restricted definitions then it certainly seems that we can argue meaningfully (that is, related directly to our experiences) about reals then. However, then we face a different kind of problem. If we take different restricted definitions and they aren't equivalent, then which of them is the "actual" correct one?
I guess the main point here (in case of restricted definitions) then would be that whether there is a single definition for the informal notion that we have of a continuum.


In (1) we seemingly gain generality at the cost of being quite doubtful to be able to relate our experiences. In (2) we seemingly might have the trouble of getting a single satisfactory definition.

-----

As I have mentioned before I think, for the most part, Brouwer's view were correct (for example, the comments about self, relatibility to human experience, the existence of objective+sound maths, comments on consistency etc.) in the basic/over-arching sense.

But its also clear that in the absence of single evidently clear way of reasoning it is not easy to develop principles (but perhaps they have been developed to some degree in some restricted domains). Such clear reasoning one can see usually in very simple (or perhaps sometimes not so complicated) cases, but it seems very difficult to give a clear stance as the complications increase***.

I also have the feeling that in this sense multiverse statements related to maths can be seen as meta-mathematical (in the sense they identify the structure of assumptions and certainty involved but don't identify the single correct point).

Well how does that relate to the current discussion anyway? Well Brouwer spent a lot of effort trying to argue a lot of points about continuum (I don't know much details except the basic sense of building up more and more objects with time)? It seems to me at least that perhaps he was trying to somehow find a more unifying definition in case (2) above.


** Roughly speaking, I use transcendental meaning in the following sense:
(i) Genuine mathematical meaning (in a statement) that can be related to experience
(ii) The meaning assigned to some statement "transcends" (in most cases anyway) empirical experience (with always finite number of observations) in the sense that it requires to understand some kind of "infinite collection" of objects at once.

*** Perhaps here there is an advantage for classical reasoning that one can stop worrying about all this and argue in a very uniform way while focusing on the problems to be solved.

P.S. I don't know answers to specific questions :P. But I will recommend Real Analyis by Mark Bridger since it seems to be a fairly approachable book. I didn't get around to reading it though.
 
Last edited:
  • #10
22,097
3,282
What's your opinion of a statement such as:
(a+b)^2=a^2+b^2+2ab -- for all a and b belonging to N={0,1,2,3,...} (or say Z -- set of integers)
You're still talking about infinite sets. I have never seen an infinite collection in reality. And if I did, I would have no way of assessing its infiniteness.
 
  • Like
Likes Student100 and QuantumQuest
  • #13
22,097
3,282
I acutally watched the video. I hope he realizes he uses a limiting process in disguise. He did essentially this:

I compute the mean slope of the parabola ##y=x^2## as ##\frac{(x+h)^2 - x^2}{h} = \frac{2xh + h^2}{h} = 2x + h##. Now, nothing prevents me of setting ##h=0##, and I get ##2x## as the instantaneous slope.

Is what he did new? No, these techniques for polynomials are well known in abstract algebra and algebraic geometry.
Is what he did fishy? Definitely.
Is what he did worthwhile? Well, he just translated stuff which are very easily stated with limits, to a very annoying and long computation with limits, a very fishy "setting ##h=0##" argument which yields the exact same result anyway. So no, I don't think this is worthwhile.
 
  • #14
402
46
You're still talking about infinite sets. I have never seen an infinite collection in reality. And if I did, I would have no way of assessing its infiniteness.
If I am understanding your point, do you mean to say that infinite sets such as sets of natural numbers, integers etc. don't "actually" (for the lack of a better word) exist in a (mathematically) meaningful sense?

Anyway, I will just briefly describe my response. For me, I first place one point. Then I imagine the process of placing points one after another to the right. This is enough to justify natural numbers. That's because the actual mental process involved is well-defined for me.

-----

Also I think there is a valid objection in using reals (in a fully unrestricted sense) to argue about discrete objects. I certainly don't know how one really gives a good justification for it.
On that other hand, obviously one can also say that if not this kind of reasoning, then what analogous reasoning does one substitute for it?
 
  • #15
22,097
3,282
If I am understanding your point, do you mean to say that infinite sets such as sets of natural numbers, integers etc. don't "actually" (for the lack of a better word) exist in a (mathematically) meaningful sense?
They are mathematically perfectly meaningful. But they don't exist in real life, so they're fiction. They do yield sensible real life results, so they're useful.
 
  • Like
Likes dkotschessaa
  • #16
2,123
79
This is basically a philosophical issue. Both the Platonist and anti Platonist view (invention) has its supporters, mostly with the "natural" numbers. With the latter, one would probably need to say "number therory" is misnamed. A theory is based on evidence, not inventions.

http://mathworld.wolfram.com/NumberTheory.html
 
Last edited:
  • #17
22,097
3,282
This is basically a philosophical issue. Both the Platonist and anti Platonist (invention) has its supporters, mostly with the "natural" numbers With the latter, one would probably need to say "number therory" is missnamed. A theory is based on evidence, not inventions.
A theory is based on both. Newtonian mechanics is entirely an invention. But one that fits the evidence. Same with number theory.
 
  • #18
13,106
9,865
This is basically a philosophical issue. Both the Platonist and anti Platonist (invention) has its supporters, mostly with the "natural" numbers. With the latter, one would probably need to say "number therory" is missnamed. A theory is based on evidence, not inventions.

http://mathworld.wolfram.com/NumberTheory.html
I disagree on this statement.
Wikipedia said:
A theory is a contemplative and rational type of abstract or generalizing thinking, or the results of such thinking.
Etymology said:
theory (n.)
1590s, "conception, mental scheme," from Late Latin theoria (Jerome), from Greek theoria "contemplation, speculation; a looking at, viewing; a sight, show, spectacle, things looked at," from theorein "to consider, speculate, look at," from theoros "spectator," from thea "a view" (see theater) + horan "to see," possibly from PIE root *wer- (4) "to perceive" (see ward (n.)).

Earlier in this sense was theorical (n.), late 15c. Sense of "principles or methods of a science or art" (rather than its practice) is first recorded 1610s (as in music theory, which is the science of musical composition, apart from practice or performance). Sense of "an intelligible explanation based on observation and reasoning" is from 1630s.
Source: http://www.etymonline.com/index.php?allowed_in_frame=0&search=theory
 
  • #19
2,123
79
I disagree on this statement.
In PF, I'm assuming we mean scientific theories. Micromass says mathematics is invented because it cannot be observed directly in nature. A scientific theory requires evidence that can be directly observed (and ideally measured) in nature.

From the Wikipedia, "Scientific Theory"

"A scientific theory is a well-substantiated explanation of some aspect of the natural world that is acquired through thescientific method and repeatedly tested and confirmed, preferably using a written, predefined, protocol of observationsand experiments.[1][2] Scientific theories are the most reliable, rigorous, and comprehensive form of scientificknowledge.[3]"
 
  • #20
22,097
3,282
In PF, I'm assuming we mean scientific theories. Micromass says mathematics is invented because it cannot be observed directly in nature. A scientific theory requires evidence that can be directly observed (and ideally measured) in nature.
That's the point though. The mathematics itself cannot be observed directly in nature, neither can quantum mechanics or Newtonian mechanics. But the consequences of the mathematics can. I can check the number of primes below 10000 and see that it agrees pretty well with the theoretical results. I can check the theoretical results from mechanics to experiment. Etc. In this sense, I see mathematics as a part of physics: it has its theoretical and its experimental side. It's experimental side is pretty trivial though.
 
  • Like
Likes QuantumQuest
  • #21
Astronuc
Staff Emeritus
Science Advisor
18,821
2,006
What's my opinion of a Math without Reals? Roughly the same as English without vowels. Or rather, rghl th sm s Nglsh wtht vwls.
Brilliant! Take away consonants too, and on has , .

Or math without numbers, which would be like + - × : = ?
 
  • Like
Likes symbolipoint
  • #22
402
46
They are mathematically perfectly meaningful. But they don't exist in real life, so they're fiction. They do yield sensible real life results, so they're useful.
Well as far as my personal opinion goes, I not only think that these are mathematically meaningful sets (as I already mentioned) but also a statement such as:
"(a+b)^2=a^2+b^2+2ab -- for all a and b belonging to N={0,1,2,3,...} (or say Z -- set of integers)"
is simply a "genuine" and meaningful mathematical truth and so are statements such as "All primitive recursive functions are total" etc.
(I only used the word "genuine" to emphasize the cases where the statement is plainly easy to assess -- or the line of reasoning is very simple. I understand that for many statements it isn't easy -- or rather extremely difficult-- to make these kinds of assessments.)

If I only talk about what I have seen, then all I have seen are images (and they keep changing too).
 
  • #23
13,106
9,865
Or math without numbers, which would be like + - × : = ?
Challenging, but not impossible. :cool:
 
  • Like
Likes Logical Dog
  • #24
25
0
No he is taking away abstract concepts. Pi is a abstract concept trying adding pi it solves nothing physicists get confused because they try to solve a real spheres volume using the concept Pi rather the real number which will be less generally in value.. So is infinity one of worse defined ever- Other mathematician will happily like the sum of all integers which is total nonsense either that exists or infinity exists since they infinity in that sum if infinity doesn't exist then that sum doesn't either. Something having infinite digits destroys all reality because otherwise it is finite.
 

Related Threads on What's your opinion of a Math without Reals?

Replies
61
Views
9K
  • Last Post
Replies
6
Views
2K
  • Last Post
Replies
2
Views
2K
Replies
1
Views
2K
Replies
3
Views
2K
  • Last Post
2
Replies
44
Views
3K
  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
6
Views
1K
Replies
10
Views
3K
Replies
26
Views
5K
Top