10 posts tagged with Mathematics *and* proof. (View popular tags)

Displaying 1 through 10 of 10. 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

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

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

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

posted by knz on Aug 8, 2010 - 113 comments

Proofs and Pictures: The Role of Visualization in Mathematical and Scientific Reasoning [video] "The picture is a telescope for looking into Plato's heaven." -- James Brown [cached]

posted by Chuckles on Aug 20, 2006 - 27 comments

posted by Chuckles on Aug 20, 2006 - 27 comments

Page:
1