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

7 posts tagged with Mathematics and research. (View popular tags)
Displaying 1 through 7 of 7. 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

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

You and Your Research

You and Your Research was a talk given by Richard Hamming in 1986. Read it if you have an interest in doing first-class work.
posted by parudox on Jan 4, 2009 - 24 comments

Tangible Applications of Science

Beyond Discovery - illustrations of the path from research to human benefit
posted by Gyan on Oct 22, 2005 - 7 comments

Negative knowledge (or more precisely negative information)

Know less than nothing!? What could negative knowledge possibly mean? In short, after I tell you negative information, you will know less... "In this week's issue of Nature, however, Michal Horodecki and colleagues present a fresh approach to understanding quantum phenomena that cannot be grasped simply by considering their classical counterparts." [via slashdot :]
posted by kliuless on Aug 8, 2005 - 26 comments

The Complexity of a Controversial Concept

The Logic of Diversity "A new book, The Wisdom of Crowds [..:] by The New Yorker columnist James Surowiecki, has recently popularized the idea that groups can, in some ways, be smarter than their members, which is superficially similar to Page's results. While Surowiecki gives many examples of what one might call collective cognition, where groups out-perform isolated individuals, he really has only one explanation for this phenomenon, based on one of his examples: jelly beans [...] averaging together many independent, unbiased guesses gives a result that is probably closer to the truth than any one guess. While true — it's the central limit theorem of statistics — it's far from being the only way in which diversity can be beneficial in problem solving." (Three-Toed Sloth)
posted by kliuless on Jun 20, 2005 - 6 comments


Modelling err.. something.
posted by Gyan on May 24, 2004 - 11 comments

Page: 1