Join 3,374 readers in helping fund MetaFilter (Hide)

10 posts tagged with Mathematics and proof. (View popular tags)
Displaying 1 through 10 of 10. Subscribe:

A SAT Attack on the Erdos Discrepancy Conjecture

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

Proof and Community Standards

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

Computerized Math, Formal Proofs and Alternative Logic

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

Sure it's irrational! Just look!

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

Then you wouldn't have to say "QED", 'cause I'd already know

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

Finite formula found for partition numbers

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

Q to the E to the D

Futurama has always been a haven for geek humor, but last week's episode "The Prisoner of Benda" pushed things to the next level. First hinted at in an American Physical Society interview with showrunner David X. Cohen (previously), staff writer and mathematics Ph.D. Ken Keeler devised a novel mathematical proof based on group theory to resolve the logic puzzle spawned by the episode's brain-swapping (but no backsies!) conceit. Curious how it works? Read the proof (in the show or in plain text), then see it in action using this handy chart. Too much math for a lazy Sunday? Then entertain your brain with lengthy clips from the episode -- including two of the funniest moments in the series in the span of two minutes.
posted by Rhaomi on Aug 22, 2010 - 130 comments

Complex matters for the millenium

I am pleased to announce a proof that P is not equal to NP. In this paper, Vinay Deolalikar (HP Labs) proposes a proof to answer the most important problem in its field of mathematics. [more inside]
posted by knz on Aug 8, 2010 - 113 comments

Proofs and Pictures: The Role of Visualization in Mathematical and Scientific Reasoning

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

Nerdy proof that girls are evil.

Nerdy proof that girls are evil.
posted by betobeto on May 18, 2001 - 13 comments

Page: 1