<$BlogRSDURL$>
Hive Mind
Tuesday, April 12, 2005
 

Computer-aided proofs cause debate over what constitutes mathematical rigour


Through much of the 20th century, questions of mathematical rigour were passed off to logicians and philosophers—working mathematicians have been, for the most part, content to work with an intuitive definition of proof

This notion works when each step of a proof is transparent, and can be examined by all. Proof is then just a process of reducing one big, non-obvious step, to a bunch of small, obvious ones. However, if a computer is used to make this reduction, then the number of small, obvious steps can be in the hundreds of thousands—impractical even for the most diligent mathematician to check by hand. Critics of computer-aided proof claim that this impracticability means that such proofs are inherently flawed. However, its defenders point out that some theorems that many mathematicians consider to have been proved in the classical manner also have proofs which are so long as to be uncheckable.

The most famous case of this is something called the classification of finite simple groups. These are abstract objects with certain mathematical properties; the claim is that, over a 30-year span in a series of papers totalling some 15,000 pages, all possible such objects were enumerated. Though the mathematical consensus is that the classification (nicknamed the “enormous theorem”) is complete, there are sceptics who point out that the dispersed proof is essentially unverifiable.


(Via Futurismic).

More... 
Comments:
I think this problem could be easily solved with carefully weighted genetic algorithms. GA's will always come up with a correct solution, but like the article said, they can be unwieldy and long. If the correct fitness levels were put on the correct parameters (ie solution size, ect) after a few generations, those longer proofs would breed out.
 
[url=http://cyclosporine.webs.com]ciclosporina y alopecia areata
[/url] sandimmun dilution
neoral drug interactions
cyclosporine pregnancy

 
[url=http://longchampsoldesk.page.tl/]sac longchamp[/url] Are you there yet? No! Then it is time for you to get serious about your venture. Why should you try something if you are not serious about it? If you are not doing what you are suppose to do, you waste other people's Purchase Vogue Mulberry Aston Natural Leather Messenger Bag Light Coffee for Men,latest released Mulberry bags Outlet save up 67%! time as well as your own. Let's say, you did not make any telephone calls, read any articles, or performed any research? It's okay, it means you are not serious yet.
[url=http://saclongchampas.livejournal.com/]sac longchamps[/url] Having a comfortable sleep is not what you only have to make sure of. More importantly, you have to ensure of your safety at all time even Mulberry Bags Outlet Online Shop is selling different styles of handbags with high quality. This item, Highly Appreciated Mulberry Women's East West Bayswater Leather Shoulder Black Bag, is suitable for women, men and youth. during the wee hours of the night. That is why it is imperative that you practice safety precautions in using heaters.
[url=http://longchamppliagea.pblogs.gr/]sac longchamp[/url] The Name and the FruitThe modern word 'orange' originally meant a type of fruit rather than a colour. The word 'naranga-s' in Sanskrit, an ancient Indian language, meant a particular type of fruit tree. This came into Arabic as naranja, and as the tree and its fruit was introduced to Europe from the east, the word became narancia in Italian. In addition, there are a lot of designer handbag wholesale lists or directories out there that promise you that they have the real suppliers that you need. Unfortunately, they are not worth the paper that they are written on. When you start looking at their contacts, you find out that they include the same companies that ripped you off and took you hard earned money. Also Coach handbags never go out of style because of their flexible and versatile designs. Don be surprised when you see a parade of Coach handbags in the malls, offices and other places. With so many designs and styles to choose from, Latest Mulberry Women's Piccadilly Bayswater Leather Shoulder Brown Bag for sale, fashion Mulberry bags and stylish Mulberry Bags 2012 for sale you will surely find a bag or two which fits your fashion sense.


 
Post a Comment

NEWS/BLOGS

23skidoo
Killswitch
Squidblog
Critical-v
SmartMobs
Digital-Falcon
Redbeard Gets Down
Reuters Alertnet
EurekAlert
New World Disorder
A Graboid Ate My Mommy
Lvx23
Science Daily
Indymedia
Boing Boing
Disinformation
Infoshop News
RealityCarnival
Technoccult
Posthuman Blues
Post-Atomic
Vortex Egg
Cult of the Dead Cow
Blog126
Anarchogeek
Mechanical Spirit
MySociety Blog
Nerdshit


LINKS/RESOURCES

Open Source, D.I.Y. Media/Tech:

DNAHack
Blackout Media Project
Biological Innovation for Open Society
Open Source Biotechnology
Downhill Battle
Hactivismo
Bureau of Inverse Technology
Carbon Defense League
2600
Critical Art Ensemble
TXTMob
Biotech Hobbyist Magazine
MySociety
Ubuntu Linux

Geopolitics:

Infoshop
CIA World Factbook
Spunk Library
Hyperhistory Online
Noborder Network
People's Global Action
Critical Resistance

Science/Math:

PlanetMath
Public Library of Science
MathWorld
Bioinformatics.org
Quantum Consciousness
MIT Biology Hypertextbook
NeuroPunk

Art/Culture/Misc.:

Ontogenesis
ELECTRONIC MUTAGENESIS
AvantGame
Art Crimes
Barbelith
Guns and Dope Party
Temple of the Screaming Electron
CTheory

Brain Tools:

Erowid
SMI2LE Nootropics
Bouncing Bear Botanicals

Online Books and Booksellers:

AK Press
Project Gutenberg
Autonomedia
Loompanics
Feral House

ARCHIVES

03/01/2004 - 04/01/2004 / 04/01/2004 - 05/01/2004 / 05/01/2004 - 06/01/2004 / 06/01/2004 - 07/01/2004 / 07/01/2004 - 08/01/2004 / 08/01/2004 - 09/01/2004 / 09/01/2004 - 10/01/2004 / 10/01/2004 - 11/01/2004 / 11/01/2004 - 12/01/2004 / 12/01/2004 - 01/01/2005 / 01/01/2005 - 02/01/2005 / 02/01/2005 - 03/01/2005 / 03/01/2005 - 04/01/2005 / 04/01/2005 - 05/01/2005 / 05/01/2005 - 06/01/2005 / 06/01/2005 - 07/01/2005 / 07/01/2005 - 08/01/2005 / 08/01/2005 - 09/01/2005 / 09/01/2005 - 10/01/2005 / 10/01/2005 - 11/01/2005 / 11/01/2005 - 12/01/2005 / 12/01/2005 - 01/01/2006 / 02/01/2006 - 03/01/2006 /


Powered by Blogger