LinkBack URL
About LinkBacksHow many proofs are there that use a proof by contradiction or reductio ad absurdum? http://en.wikipedia.org/wiki/Reductio_ad_absurdum
Welcome to the ToeQuest.
Results 1 to 7 of 7
Thread: reductio ad absurdum
- 03-03-2006, 01:37 PM #1Raider of the lost time
- Join Date
- Nov 2003
- Location
- United States
- Posts
- 11,778
- Blog Entries
- 10
- Thanks Given
- 1,106
- Thanked 1,472x in 1,192 Posts
- Rep Power
- 158
reductio ad absurdum
Time independence: [∂E(g)]²=[∂F(a)×∂r(a)]·[∂F(b)×∂r(b)] and Mass independence: ¶a(t)·¶r(t)=c²
- 03-03-2006, 01:56 PM #2Moderator
- Join Date
- Aug 2005
- Location
- United Kingdom
- Posts
- 11,619
- Blog Entries
- 5
- Thanks Given
- 295
- Thanked 896x in 724 Posts
- Rep Power
- 154
if the brain had a mind would it be wise! I have had a brief look at the site,"the law of excluded middle"looks like fun!
and the "incoherency argument" that attempts to show that two or more
propostitions,must be correct!
In fact if you reduce anything down far enough,you will find that it is not there?
kind regards michael.Humilty,coupled with boldness,surprises truth to
reveal herself?
- 03-03-2006, 01:58 PM #3Raider of the lost time
- Join Date
- Nov 2003
- Location
- United States
- Posts
- 11,778
- Blog Entries
- 10
- Thanks Given
- 1,106
- Thanked 1,472x in 1,192 Posts
- Rep Power
- 158
Fermat's last theorem
Just wondering if Fermat's last theorem was proven by contradiction?
Time independence: [∂E(g)]²=[∂F(a)×∂r(a)]·[∂F(b)×∂r(b)] and Mass independence: ¶a(t)·¶r(t)=c²
- 03-03-2006, 05:54 PM #4The Thinker
- Join Date
- Mar 2005
- Location
- Spain
- Posts
- 3,278
- Blog Entries
- 7
- Thanks Given
- 0
- Thanked 12x in 9 Posts
- Rep Power
- 63
Antonio,
Reductio at absurdum fascinated Euclid, it is said (I've read that this is taken from diaries of some important people of the time) that it produced in him a quasi-orgasmic sensation. I believe it is going the hard way, in fact, it is used by those who instead of construct, they de-construct, either in science, philosophy or mathematics. Fermat's last theorem was proven by being proven that the taniyama conjecture was false if it was assumed to be true, that is, by reductio ad absurdum.
- 03-03-2006, 08:16 PM #5Green Belt
- Join Date
- Mar 2005
- Location
- Mexico
- Posts
- 68
- Thanks Given
- 0
- Thanked 1 Time in 1 Post
- Rep Power
- 27
depends on the school
Isn`t if fascinating that we, mathematicians, try to prove something by contradictin ourselfs? And they said math was the science of certainty.
I gues it depends, as well, of the area of math and the school of tought. I had a teacher from France that used reductio ad absurdum all the time. Sometimes he tried to prove the theorems straight forward but always arrived to the same contradiction, proving what he wanted. It is used more for theorems of existence.
I kind of like it because is like trying to full yourself, to prove that you are wrong so finally say you are right.
- 03-06-2006, 08:37 PM #64th degree Black Belt
- Join Date
- Dec 2005
- Location
- Canada
- Posts
- 589
- Blog Entries
- 6
- Thanks Given
- 0
- Thanked 9x in 9 Posts
- Rep Power
- 31
In other words, there is no proof in the absurd if there is truth involved. It has always puzzled me that there are and have been great thinkers who have yet never realized truth no matter what the degree of their intelligence. Those who scoff at this idea are those who place themselves above the truth and think mathematics to be merely a passtime, that their intent was never to prove any truths but only to impress thermselves. I think that mathematics was not intended for them.
"There is nothing permanent except change"
- 03-07-2006, 11:31 AM #7Raider of the lost time
- Join Date
- Nov 2003
- Location
- United States
- Posts
- 11,778
- Blog Entries
- 10
- Thanks Given
- 1,106
- Thanked 1,472x in 1,192 Posts
- Rep Power
- 158
Thanks. So do you think any truth is necessarily need to be proven? Taken solely by faith?
Originally Posted by GUILLE Time independence: [∂E(g)]²=[∂F(a)×∂r(a)]·[∂F(b)×∂r(b)] and Mass independence: ¶a(t)·¶r(t)=c²
Reply With QuoteThread Information
Users Browsing this Thread
There are currently 1 users browsing this thread. (0 members and 1 guests)
Posting Permissions
Powered by vBulletin® Version 4.1.11
Copyright © 2012 vBulletin Solutions, Inc. All rights reserved.
Content Relevant URLs by vBSEO 3.6.0
Copyright © 2012 vBulletin Solutions, Inc. All rights reserved.
Content Relevant URLs by vBSEO 3.6.0
All times are GMT -4. The time now is 03:32 AM.
vBulletin 4.0 skin by CompleteVB
