6 posts tagged with universality *and* maths. (View popular tags)

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

Closing in on the twin prime conjecture (Quanta) - "Just months after Zhang announced his result, Maynard has presented an independent proof that pushes the gap down to 600. A new Polymath project is in the planning stages, to try to combine the collaboration's techniques with Maynard's approach to push this bound even lower." [more inside]

posted by kliuless on Dec 1, 2013 - 16 comments

posted by kliuless on Dec 1, 2013 - 16 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

The Nature of Computation - Intellects Vast and Warm and Sympathetic: "I hand you a network or graph, and ask whether there is a path through the network that crosses each edge exactly once, returning to its starting point. (That is, I ask whether there is a 'Eulerian' cycle.) Then I hand you another network, and ask whether there is a path which visits each node exactly once. (That is, I ask whether there is a 'Hamiltonian' cycle.) How hard is it to answer me?" (via) [more inside]

posted by kliuless on Dec 1, 2012 - 19 comments

posted by kliuless on Dec 1, 2012 - 19 comments

A brief tour of the mysteriously universal laws of mathematics and nature. [more inside]

posted by kliuless on Oct 24, 2010 - 33 comments

posted by kliuless on Oct 24, 2010 - 33 comments

Page:
1