wu :: forums (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi)
general >> truth >> Does math represent truth?
(Message started by: Mickey1 on Mar 18th, 2010, 8:03am)

Title: Does math represent truth?
Post by Mickey1 on Mar 18th, 2010, 8:03am
The quotes and references below are from my comments – also mentioned elsewhere  here http://goneri.nuc.berkeley.edu/pages2009/slides/Jensen_Comments%20to%20the%20students.pdf  They are in part a comment on Alison Macfarlane’s presentation on the US high level waste problems in a summer course in Berkeley last August: The Science and Policy of Nuclear Waste Disposal in the US: http://goneri.nuc.berkeley.edu/pages2009/slides/Macfarlane-1.pdf    
Alison Macfarlane is a member of the US Energy Department’s blue ribbon Commission on nuclear waste disposal, a hot topic in the US after your President dumped the plans for a Yucca Mountain repository.

Now you have the background. Here we go:
The answer is no. However, even if it did we would have trouble formulating the truth-models:

"A scientific theory is represented in a language and can never completely represent
reality. There is always a distance between the signifier and the signified and a
translation from the object into a system of signs or code, even when the most
elementary observations are involved" (Nolin 1993).  We believe Newtonian mechanics can  “predict” the solar system’s behaviour (even without relativistic corrections) almost a million years into the future, but it is still the Sun that rises, not Newtonian mechanics.

Another even more disturbing example – since this theory is more widely confused with
reality – is offered by the interpretation of results from quantum mechanics. Audi (1973)
explains that “To say that the results / from the uncertainty relations/ are inherent in the nature
of measurement is to lend our present theories a timeless quantity which, considering the
nature of theories, they could not possess”. Michael Audi is associated with what is sometime
called a minority view on quantum mechanics in that he denies the need for Bohr’s duality
principle, interpreting with Born and others all phenomena in particle terms, but the quote
above is a more general observation.

Title: Re: Does math represent truth?
Post by rmsgrey on Mar 18th, 2010, 10:28am
Depends what you mean by "truth".

Maths is unusual among human activities in that it offers absolute certainty, but with no guarantee of relevance.

On the other hand, much of maths arises from abstracting patterns from reality, so, at the least, applying it offers a good description of that aspect of reality. What's been described as maths' "unreasonable effectiveness" in describing (aspects of) reality makes it natural to speculate that there's something deeper there...

Title: Re: Does math represent truth?
Post by Mickey1 on Mar 19th, 2010, 7:37am
Math can offer certainty in the sense that a mathematical proof offers a permutation of the original axioms.

In terms of connection to reality this is close to circular  reasoning.

Perhaps we might discuss the issue first here:

1 Does (or can) mathematical proofs offer more than a permutation  of stated definitions and axioms?

Next to come:
2 Can reality blend with formulars - models - used to describe it so that it is not possible to distinguish between the models (math) and the reality?


Title: Re: Does math represent truth?
Post by towr on Mar 19th, 2010, 7:57am

on 03/19/10 at 07:37:54, Mickey1 wrote:
Math can offer certainty in the sense that a mathematical proof offers a permutation of the original axioms.
A mathematical proof offers more than just a random permutation of axioms. In fact a mere permutation of axioms cannot be a proof. A proof is characterized by inference from axioms to theorems. And inference rules are not axioms.

And it does tell you things you did not know. I don't know where Jupiter will be in twenty years, even if I know the laws of gravity and the position and speed of Jupiter, I still do not know where it will be in twenty years, until I actually calculate it. I do not have at my command all knowledge that can be inferred from the knowledge I have. Not until I go through the process of inferring it.
Mathematics (including logic, though logicians may prefer the reverse), gives a means for valid inference. And in that sense gives certainty that the conclusions you reach based on the knowledge you have is valid (under certain given assumptions about the input; as they say, garbage in garbage out).

Title: Re: Does math represent truth?
Post by rmsgrey on Mar 19th, 2010, 9:46am

on 03/19/10 at 07:57:01, towr wrote:
And it does tell you things you did not know. I don't know where Jupiter will be in twenty years, even if I know the laws of gravity and the position and speed of Jupiter, I still do not know where it will be in twenty years, until I actually calculate it.


Even then, you only know where Jupiter will be in twenty years if it should move according to the laws of gravity as you know them (and there are no significant effects from previously unknown masses...)

As you said, GIGO...

Title: Re: Does math represent truth?
Post by WildwindE on Mar 21st, 2010, 6:26am
I think that no Math cannot represent "TRUTH" as a whole, however, with that said, I do think that Math, and subsequent mathematical equations can represent  A TRUTH.

Take the golden ratio for example, here is a number for instance, that can be found repeated in nature.  Well-known artists, architects, and several others have used this number as a means for creating an aesthetically pleasing look in their artistic and architectural creations.

The Golden Ratio is considered to be an irrational number because it cannot be expressed as a fraction, and yet you find it everywhere in nature.

And it is well known that the Golden Ratio has a relationship to the Fibonacci sequence, which is a number patterning exponential growth.

Title: Re: Does math represent truth?
Post by towr on Mar 21st, 2010, 7:41am

on 03/21/10 at 06:26:28, WildwindE wrote:
The Golden Ratio is considered to be an irrational number because it cannot be expressed as a fraction, and yet you find it everywhere in nature.
I find the "and yet" somewhat strange. As if "rationality" of numbers is supposed to say anything about whether they occur in nature. Pi is irrational, sqrt(2) (diagonal of a unit square) is irrational, in fact one can safely say most numbers in nature are irrational.


Quote:
And it is well known that the Golden Ratio has a relationship to the Fibonacci sequence, which is a number patterning exponential growth.
An infinite number of sequences "pattern" exponential growth. Any second order recurrence relation that has positive coefficients greater than 1, and two positive starting values, grows exponentially. (And that hardly characterizes them all.)

Title: Re: Does math represent truth?
Post by Mickey1 on Mar 22nd, 2010, 4:11am
Where will Jupiter be in 10 billion years? The Sun could turn into a red giant and swallow the inner planets, the solar system could be visited by heavy celestial objects and we might be less confident that present calculations could find the answer. However, this is not my major counterargument, which is instead that calculation is different from observation. Only if man (or some other creature) in a distant future was capable of changing nor only his environment but also the physical constants (velocity of light etc) would I accept that reality and math were indistinguishable, and we would be living in Matrix-type universe (keeping in mind that even Matrix had consistency problems).

Title: Re: Does math represent truth?
Post by Mickey1 on Mar 22nd, 2010, 4:14am
PS
Actually, the advanced theorem is less "truthful" in my sense  than its building blocks who have some connection to the truth. While simple numerical relations may be accepted as truth also about real scenarios involving collections of objects ("natural" numbers and perhaps also "natural" relations), I can not see the Riemann conjecture as having any meaningful relation to any “real” scenario.

Title: Re: Does math represent truth?
Post by towr on Mar 22nd, 2010, 4:55am

on 03/22/10 at 04:11:39, Mickey1 wrote:
However, this is not my major counterargument, which is instead that calculation is different from observation.
That's not a counter-argument to what I said. What I'm saying is that inference can reveal new knowledge; and therefore is more than just rearrangement of things you already knew (be they axioms or observations or anything else).

But on the topic of observation; observation really only tells you 'what is' at a fleeting moment in time. You can observe that a car is 100 meters from you at one moment, 50 meters the next, and neither observation will tell you that that the following moment you'd better be somewhere else. You have to infer that truth (if it is true). Without superimposing a model -- that there are objects that are moving, in what way they move, etc -- you miss out a lot of the universe.
Mathematical model simply fit extremely well, and allow you to extract a lot more 'truth' from observation. It's the kind of thing that will allow us to predict whether observed asteroid will hit us or not, and whether we should try to deflect them if we want them not to hit us. You wouldn't have any knowledge of that kind without mathematical models. To what extent theories are "true" in an absolute sense is not really as important as how accurate the predictions are.
For all you know we are brains in a vat, and all observations we make are merely delusions put into our brains by a virtual reality machine. That's a truth you could never find out, and one that's completely irrelevant to any practical approach to living your life.

Title: Re: Does math represent truth?
Post by Mickey1 on Mar 23rd, 2010, 10:50am
I have a different point of view. It is exactly the absolute sense I am referring to. I agree to all the rest i.e. the usefulness of models, except the Berkelian view that we cannot know if the world exists.  That is an axiom, lying deeper, similar to the axiom that the world was not created 20 minutes ago, discussed elsewhere in this forum, under creation vs. evolution.
Insurance people will tell you that the car is not always where you project it to be. In your (Anglo- Sachsen) legal tradition this is reflected in the difference between witness statements (where the car was) and expert opinion (where the car can be projected to be in the future).
The problem is more obvious in a more complicated context such as the one I come from: Post-close safety assessments, dealing with question: where is the waste's content of radionuclides in a million years from now? The models are there but not always the confidence. Many (especially US) engineers are overconfident in their models. But there is no difference in principle with waste and the car.

Title: Re: Does math represent truth?
Post by towr on Mar 23rd, 2010, 11:37am
We don't have an Anglo-Saxon legal tradition where I am. And in any case, witnesses are notoriously unreliable.

I'm not really sure what you're trying to say with the rest of your post. Are you claiming that there is a way to arrive at absolute truths? Such as, perhaps, that the world we perceive is in fact as we perceive it to be, and not some delusion?

Title: Re: Does math represent truth?
Post by Mickey1 on Mar 23rd, 2010, 1:01pm
Yes

Title: Re: Does math represent truth?
Post by towr on Mar 23rd, 2010, 1:10pm
Well, please share how. Because I really don't see it myself.
The only truths I can discern are all conditional on assumptions; such as that our senses and observations do not deceive us (even though we know they can: just take optical illusions as an example, or dreams).

Title: Re: Does math represent truth?
Post by Mickey1 on Mar 26th, 2010, 1:26am
The world is approximately how we perceive it to be but a stricter version is that the world exists independent of our minds, i.e. whether we perceive it correctly or not.

If you were dreaming reading this – or in another type of delusion - you would still have to follow the same cause of action (to quote SF satirist Robert Sheckley) and you would perhaps follow the simplest explanation, to find that the world has an independent existence. If you then wake up to an objective reality there is no harm done.

Let me summarize my experiences here (I will be digitally away for some time):
1 I should have presented my definition of truth in the beginning
2 I realise that simple number relations can (also) be truthful statements about classes of objects in an absolute way – but hardly complicated theorems.
3 Engineering models, including Newton's, are never truth, but are useful since reality can be described well enough for many purposes by models.
4 These philosophical observations about truth are not intended in any way to diminish the value of modern (post Galileo) science, only to put them in perspective and to prepare for their future development.

Title: Re: Does math represent truth?
Post by towr on Mar 26th, 2010, 5:01am

on 03/26/10 at 01:26:40, Mickey1 wrote:
The world is approximately how we perceive it to be but a stricter version is that the world exists independent of our minds, i.e. whether we perceive it correctly or not.
But that doesn't help us to know anything about this independently existing world. Because our 'knowledge' is in our minds, and the world is independent of it.
I still don't see the point in worrying about 'absolute truth'. It exists, but we can't know more about it than that.

Title: Re: Does math represent truth?
Post by richard.lao11 on May 23rd, 2010, 3:26am
That does really depend on your definition of "the truth". The thing is math is one of the things that is what was, what is and what will always be. And then using "math" is how people rate accuracy.

It's the basis of everything. How you are right or wrong. It's the truth in terms of quantifying things.

Title: Re: Does math represent truth?
Post by Mickey1 on Mar 22nd, 2012, 2:35pm
Here is a quote from Dr Math on the internet:

"There are those (called Platonists) who believe that all mathematical concepts and objects exist and are, as it were, waiting in the wings to be discovered. Others believe that mathematics is the creation of persons. For most of us, these are not burning issues.  However, our "general" graduate education in  mathematics tends towards the latter viewpoint, at least operationally."

It appears that math here (in a sense) is closer to politics than anything else.

Title: Re: Does math represent truth?
Post by towr on Mar 22nd, 2012, 11:20pm
I don't see in what way mathematics is remotely like politics in any sense, other than that it's something people do.
Saying maths is a creation of people, while true in a sense, makes it sound much more arbitrary than it is. Once you've defined the natural numbers and addition, you can't decide that 1+1=3; that 1+1=2 follows from the definition. The patterns you can find/create are limited by the objects/relations you start with. And that will be as true for us as any possible aliens, so they would create/find subsets of the same conceptual mathematical universe.

Title: Re: Does math represent truth?
Post by Mickey1 on Mar 23rd, 2012, 3:47pm
We are only looking at one particular but important aspect.  It seems there are a fair number of mathematical isms, very similar to those of politics. For example when I was examining the Dedekind cut, Grimbal drew my attention to another school, finitism.

As individuals we may start out with an open mind, but an institution might have to choose a main direction  for research.

I am not a mathematician but I imagine that in the end you may also want to take side as an individual, since it may be impractical, or too much of a burden, to move forward on a broad front.

Title: Re: Does math represent truth?
Post by rmsgrey on Mar 26th, 2012, 5:33am
I'd say that the various schools of mathematical thought are more akin to religious than political leanings.

Title: Re: Does math represent truth?
Post by towr on Mar 26th, 2012, 8:39am
Hmm, I think there have been too few wars fought over mathematics for it to count as a religion.

Title: Re: Does math represent truth?
Post by Mickey1 on Apr 7th, 2012, 2:41pm
1 I agree as I mentioned before that natural numbers can be seen to have some kind of objective existence. I am more worried about the real numbers (in particular the uncountable indefinable real numbers, UIRN.  If you accept these you might also accept that all true but unprovable statements can be elevated to the status of axioms, thereby rendering the natural number system complete in Godel’s sense. This process is no more spooky that the formation of the UIRN, and the amount of added axioms is not likely to be higher than uncountable.)

2 Mathematics, in the astrological form was very important both in decisions regarding wars and peace some time ago. In the changes in Egypt when Hypatia was killed, her mathematics probably constituted  part of a potentially competing spiritual guidance which needed to be destroyed.

3 Today there seem to a negative relation between mathematics in general and wars (not a specific kind of mathematics however, and not relating to specific axioms).  Today’s anti-scientific beliefs, discussed elsewhere on this site, seem to go hand in hand with an aggressive foreign policy.  Also the de-coupling  of cause and effect (e.g. weapons of mass destruction visavis the invasion of Iraq) is an insult to mathematics since a cause and effect relationship do not exist in real life but only in models thereof – most often with mathematical components.

4 What I really want to say, however, has to do with what we may imagine a person from some 10 millennia in the future thinks. The person would say that mathematics was used in its astrological form and a millennium later it was used to facilitate technical progress, later perhaps to be followed by other kinds of uses. Such uses might include very large scale experiments perhaps on philosophical or esthetical grounds, quite possibly related to mathematical axioms. People may take divided views on such issues, in large scale (I would hope friendly) discussions. (If I had access to advanced sociological terminology, I would probably sound even more convincing.)  


Title: Re: Does math represent truth?
Post by towr on Apr 8th, 2012, 1:49am

on 04/07/12 at 14:41:01, Mickey1 wrote:
If you accept these you might also accept that all true but unprovable statements can be elevated to the status of axioms, thereby rendering the natural number system complete in Godel’s sense.
All undecidable statements can be used to extend a logic system; however, this always gives you two choices since the opposite statement will also be undecidable. Therefore you can't simply add all undecidable theorems to a logic and keep it consistent. Which statements are undecidable changes as soon as you add another axiom to a logic.
Anyway, Godel's incompleteness theorems conclusively proves you can't make a logic (that contains arithmetic) complete by adding axioms without making it inconsistent. From the arithmetic embedded in the logic it you can prove that there is an unprovable statement in the logic; and adding axioms can't restrict you to proving less in a logic system, so this won't change.
Also, the natural numbers are a model, not a logic. So it simply has certain properties; you can add axioms to a logic that describes a given model, but you won't know if it describes the model correctly if the logic is incomplete. Adding undecidable theorems as axioms does not change that, so it still describes the model incompletely, since you don't know and can't know if the additional axioms describe any property of the model.

Title: Re: Does math represent truth?
Post by Mickey1 on Apr 13th, 2012, 4:39am
I have a modest and narrow goal  mentioning these real numbers. I am primarily contemplating the spooky use of real numbers which cannot be defined and therefore cannot be referred to, and I am looking for a similarity for true statements about natural numbers.

Regarding the undecidable statements, I think it makes more sense to assume they are true, since that is what they are. I can even prove this by using Godel’s theorem. The problem, I assume, is not their validity but the reference process:

In my "proof" (using Godel) I am referencing undefinable -  and therefore unreferencable - statements. We cannot examine their validity, since we cannot know what they are. Perhaps the set of these statements is infinite, perhaps even uncountable. That would establish a parallel between that set (of statements) to the set of the undescribable real numbers.

Title: Re: Does math represent truth?
Post by towr on Apr 13th, 2012, 8:25am

on 04/13/12 at 04:39:49, Mickey1 wrote:
Regarding the undecidable statements, I think it makes more sense to assume they are true
No, it doesn't sense, because for every undecidable statement the opposite statement is also undecidable. And they can't both be true. So just assuming every undecidable statement is true makes your logic inconsistent and then you can prove any untrue statement in it.

Title: Re: Does math represent truth?
Post by wade32 on Apr 16th, 2012, 7:51am
Math does represent truth.  You have formula's for specific problems in math, and to find the true answer you have to use the right formula.  Math has Truth Tables. Constants that will always be true no matter what.  A truth table is composed of one column for each input variable (for example, A and B), and one final column for all of the possible results of the logical operation that the table is meant to represent (for example, A XOR B). Each row of the truth table therefore contains one possible configuration of the input variables (for instance, A=true B=false), and the result of the operation for those values.

If you are asking "What is true?" ...is a philosophical debate, not a mathematical one.  In Math, there are only truths.

Title: Re: Does math represent truth?
Post by arun gupta on Feb 11th, 2013, 4:02am
Some time not every time and only when your question is logical.



Powered by YaBB 1 Gold - SP 1.4!
Forum software copyright © 2000-2004 Yet another Bulletin Board