11 posts tagged with math *and* proof. (View popular tags)

Displaying 1 through 11 of 11. Subscribe:

Computers are providing solutions to math problems that we can't check - "A computer has solved the longstanding Erdős discrepancy problem! Trouble is, we have no idea what it's talking about — because the solution, which is as long as all of Wikipedia's pages combined, is far too voluminous for us puny humans to confirm." (via; previously ;)

posted by kliuless on Apr 12, 2014 - 24 comments

posted by kliuless on Apr 12, 2014 - 24 comments

Discovering Free Will (Part II, Part III) - a nice discussion of the Conway-Kochen "Free Will Theorem". [more inside]

posted by Wolfdog on Mar 4, 2014 - 92 comments

posted by Wolfdog on Mar 4, 2014 - 92 comments

In August of last year, mathematician Shinichi Mochizuki reported that he had solved one of the great puzzles of number theory: the ABC conjecture (previously on Metafilter). Almost a year later, no one else knows whether he has succeeded. No one can understand his proof.

posted by painquale on May 10, 2013 - 59 comments

posted by painquale on May 10, 2013 - 59 comments

Using computer systems for doing mathematical proofs - "With the proliferation of computer-assisted proofs that are all but impossible to check by hand, Hales thinks computers must become the judge." [more inside]

posted by kliuless on Mar 16, 2013 - 25 comments

posted by kliuless on Mar 16, 2013 - 25 comments

It's Saturday; why not think about the pigeonhole principle? Here are problems and more problems and what you might call a problem with the principle itself as it is often stated.

posted by Wolfdog on Nov 10, 2012 - 41 comments

posted by Wolfdog on Nov 10, 2012 - 41 comments

Geometrically the irrationality of the square root of 2 means that there is no integer-by-integer square whose area is twice the area of another integer-by-integer square. A visual proof that the square root of 2 is irrational (not found in previous visual proof post.)

posted by Obscure Reference on May 9, 2012 - 39 comments

posted by Obscure Reference on May 9, 2012 - 39 comments

The Angel Problem. *The Angel and the Devil play a game on an infinite chess board...*

posted by Wolfdog on Feb 16, 2012 - 37 comments

posted by Wolfdog on Feb 16, 2012 - 37 comments

A thread full of proofs without words at MathOverflow and quite a lot more of them courtesy of Google Books.

posted by Wolfdog on Jul 18, 2011 - 22 comments

posted by Wolfdog on Jul 18, 2011 - 22 comments

New math theories reveal the nature of numbers [1,2] - "We prove that partition numbers are 'fractal' for every prime. These numbers, in a way we make precise, are self-similar in a shocking way. Our 'zooming' procedure resolves several open conjectures, and it will change how mathematicians study partitions." (/.|via) [more inside]

posted by kliuless on Jan 22, 2011 - 45 comments

posted by kliuless on Jan 22, 2011 - 45 comments

posted by Rhaomi on Aug 22, 2010 - 130 comments

Did you know that you can create a simple set of directions to your house that works *no matter where the recipient starts from?* After 38 years this remarkable conjecture has now been proved by a 63-year old former security guard.

posted by unSane on Mar 21, 2008 - 46 comments

posted by unSane on Mar 21, 2008 - 46 comments

Page:
1