Thread Closed

Do mathematical proofs exist, of things that we are not sure exist?

 
Share Thread
Apr18-04, 06:46 PM   #1
 

Do mathematical proofs exist, of things that we are not sure exist?


Do mathematical proofs exist, of things that we are not sure exist, especially those, that do not have observational confirmed data?
PhysOrg.com science news on PhysOrg.com

>> New language discovery reveals linguistic insights
>> US official: Solar plane to help ground energy use (Update)
>> Four microphones, computer algorithm enough to produce 3-D model of simple, convex room
Apr18-04, 07:14 PM   #2
 
Recognitions:
Gold Membership Gold Member
Science Advisor Science Advisor
Retired Staff Staff Emeritus
Mathematical proofs certainly exist. Mathematics doesn't rely on observational data, though. Math works this way:

1) Define your axioms.
2) Find all true statements (proofs) that can be generated from those axioms.

- Warren
Apr18-04, 07:21 PM   #3
 
Recognitions:
Gold Membership Gold Member
Retired Staff Staff Emeritus
Quote by Rader
Do mathematical proofs exist, of things that we are not sure exist, especially those, that do not have observational confirmed data?

Sure. There are for example proofs about transfinite cardinals, which no experiment in a finite part of spacetime can ever verify. The axioms Warren mentioned can be any statements that are consistent among themselves. Lewis Carrol (pen name of Charles Dodgson, a mathematician) used to amuse himself by constructing self consistent statements concerning dragons and teapots. He set them up as sorites (extended syllogisms), but they could equally well have been set up as axioms, and theorems proven from them.
Apr19-04, 04:20 PM   #4
 

Do mathematical proofs exist, of things that we are not sure exist?


Quote by chroot
Mathematical proofs certainly exist. Mathematics doesn't rely on observational data, though. Math works this way:

1) Define your axioms.
2) Find all true statements (proofs) that can be generated from those axioms.

- Warren
chroot, From 1), Can we use number 3 and give it a trial run, as our definition of a axiom?

ax·i·om (²k“s¶-…m) n. 1. A self-evident or universally recognized truth; a maxim. 2. An established rule, principle, or law. 3. Abbr. ax. A self-evident principle or one that is accepted as true without proof as the basis for argument; a postulate.

Can we use for 2), any of the three definitions as proofs, that would pertain to that axiom?

Would you show me how, to set up the formula? if I give you the axiom and the proofs?

Thanks both chroot and selfAdjoint for answers.
Apr19-04, 04:27 PM   #5
 
Quote by selfAdjoint
Sure. There are for example proofs about transfinite cardinals, which no experiment in a finite part of spacetime can ever verify. The axioms Warren mentioned can be any statements that are consistent among themselves. Lewis Carrol (pen name of Charles Dodgson, a mathematician) used to amuse himself by constructing self consistent statements concerning dragons and teapots. He set them up as sorites (extended syllogisms), but they could equally well have been set up as axioms, and theorems proven from them.
selfAdjoint, you caught my interest on these transfinite cardinals. I have a thought experiment in mind as soon as chroot answers. Please lend a hand.
Apr19-04, 05:38 PM   #6
 
Recognitions:
Gold Membership Gold Member
Science Advisor Science Advisor
Retired Staff Staff Emeritus
Sure. Consider the four (or five) axioms of Euclidean geometry (from http://en.wikipedia.org/wiki/Euclidean_geometry):
  • Any two points can be joined by a straight line.
  • Any straight line segment can be extended indefinitely in a straight line.
  • Given any straight line segment, a circle can be drawn having the segment as radius and one endpoint as center.
  • All right angles are congruent.
  • Through a point not on a given straight line, one and only one line can be drawn that never meets the given line.

With those axioms (and those axioms alone) you can prove any theorem in Euclidean geometry, like the Pythagorean theorem, etc.

- Warren
Apr20-04, 12:56 PM   #7
 
Quote by chroot
Sure. Consider the four (or five) axioms of Euclidean geometry (from http://en.wikipedia.org/wiki/Euclidean_geometry):
  • Any two points can be joined by a straight line.
  • Any straight line segment can be extended indefinitely in a straight line.
  • Given any straight line segment, a circle can be drawn having the segment as radius and one endpoint as center.
  • All right angles are congruent.
  • Through a point not on a given straight line, one and only one line can be drawn that never meets the given line.

With those axioms (and those axioms alone) you can prove any theorem in Euclidean geometry, like the Pythagorean theorem, etc.

- Warren
chroot, this is clear with geometry where you can draw, what you are describing and confirm it. But how would it work with a simple statement like.

"Why is the sky blue" Does human experience count as a proof? Or is mathematics just another form of human experience?

The Postulate "The sky is always blue"

01- When we look at the sky with no clouds and sunshine.
02- Outside of the shadow during a solar eclipse.
03- Because of the high content of oxygen in the atmosphere.
04- During a break in the clouds on a rainy day.
05- Blue is one of the colors in the spectrum.
06- The human eye con percieve the wavelength of blue.
07- The standard model dictates the inherent properties of particles to act that way. ect
Apr20-04, 04:37 PM   #8
 
Recognitions:
Gold Membership Gold Member
Science Advisor Science Advisor
Retired Staff Staff Emeritus
For the sake of completeness, I'd like to point out that Euclid's axioms alone aren't sufficient; e.g. they cannot prove the existance of equilateral triangles. (Euclid implicitly assumes the circular continuity principle: if A and B are circles, and B contains a point inside and outside of A, then B intersects A)
Apr20-04, 05:50 PM   #9
 
Recognitions:
Gold Membership Gold Member
Science Advisor Science Advisor
Retired Staff Staff Emeritus
Rader,

I wasn't aware that "The sky is always blue" is a mathematical statement.

- Warren
Apr21-04, 12:20 AM   #10
 
Recognitions:
Gold Membership Gold Member
Retired Staff Staff Emeritus
Quote by chroot
  • Through a point not on a given straight line, one and only one line can be drawn that never meets the given line.
That is true only in two dimensions. I'm unfortunately not too familiar with the Greeks in this regard (I'll read up). Didn't Euclid construct a geometry of solids as well?
Apr21-04, 07:21 AM   #11
 
Quote by chroot
Rader,

I wasn't aware that "The sky is always blue" is a mathematical statement.

- Warren
Then your saying that, human experience cannot be made into a mathematical statement?

What I want to know is, can human experience be made into a mathematical proof?
Apr21-04, 09:54 PM   #12
 
Recognitions:
Gold Membership Gold Member
Retired Staff Staff Emeritus
You can translate human experience into a numeric code, I am sure, although it would be extremely difficult. It should at least be possible in theory. Still, I don't see who you could mathematically prove human experience.

That said, do you really need it proven to you that you experience?
Apr22-04, 03:17 AM   #13
 
Quote by loseyourname
You can translate human experience into a numeric code, I am sure, although it would be extremely difficult. It should at least be possible in theory. Still, I don't see who you could mathematically prove human experience.

That said, do you really need it proven to you that you experience?
loseyourname, no I need no proof that I have experience. I just wanted a mathematical answer to a mathematical question. How a mathematician thinks always did interest me. It is to my understanding that anything that has properties, is observable and can be measured, that math proof could be deduced from that information. I was curious about the nuts and bolts of how you would go about doing this.
Apr22-04, 05:14 AM   #14
 
Recognitions:
Homework Helper Homework Help
Science Advisor Science Advisor
Quote by Rader
loseyourname, no I need no proof that I have experience. I just wanted a mathematical answer to a mathematical question. How a mathematician thinks always did interest me. It is to my understanding that anything that has properties, is observable and can be measured, that math proof could be deduced from that information. I was curious about the nuts and bolts of how you would go about doing this.

but you didn't ask a mathematical question.
Apr22-04, 06:21 AM   #15
 
Quote by matt grime
but you didn't ask a mathematical question.
OK fine, how come we keep playing Custards last stand? I feel like I am circled by Indians.
If you are a mathematician how do you do it?
So then how can you define, that the sky is blue mathematically or is that not possible?
Apr22-04, 06:24 AM   #16
 
Recognitions:
Gold Membership Gold Member
Science Advisor Science Advisor
Retired Staff Staff Emeritus
Peach custard or lemon custard?

- Warren
Apr22-04, 11:02 AM   #17
 
Quote by chroot
Peach custard or lemon custard?

- Warren
Please only > "Sky Blue Custard"

Are you hungry eat first and then anwer my question.
Thread Closed

Similar discussions for: Do mathematical proofs exist, of things that we are not sure exist?
Thread Forum Replies
I exist but do you exist? General Discussion 84
Why does anything exist than rather nothing ? General Discussion 309
Do particles exist forever? Can Anything Exist forever? High Energy, Nuclear, Particle Physics 14
How do I know that you exist? Biology 14