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

6 posts tagged with universality by kliuless.
Displaying 1 through 6 of 6.

Related tags:
+ (6)
+ (6)
+ (6)
+ (5)
+ (4)
+ (4)
+ (4)
+ (4)


Users that often use this tag:
kliuless (6)

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

binding the andat

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

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

the power and beauty of mathematics

An eternity of infinities (via) [more inside]
posted by kliuless on Feb 2, 2013 - 23 comments

direct realism

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

from complexity, universality

A brief tour of the mysteriously universal laws of mathematics and nature. [more inside]
posted by kliuless on Oct 24, 2010 - 33 comments

Page: 1