##
8 posts tagged with Mathematics *and* research.

Displaying 1 through 8 of 8. Subscribe:

## HoTT Coq

Univalent Foundations Redefines Mathematics - "When a legendary mathematician found a mistake in his own work, he embarked on a computer-aided quest to eliminate human error. To succeed, he has to rewrite the century-old rules underlying all of mathematics." (previously) [more inside]

## 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 ;)

## 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]

## 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.

## Tangible Applications of Science

Beyond Discovery - illustrations of the path from research to human benefit

## 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 :]## 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)## MemoryNet

Page:
1