8 posts tagged with universality.
Displaying 1 through 8 of 8. 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

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

The Iranian revolution in its singularity

Foucault in Iran: Revolution, Entropy and Equality By way of introduction to the Wu Ming Foundation's (previously) re-vamped blog, one of their more substantive essays re-assessing Foucault's notorious enthusiasm for the Iranian revolution.
posted by Abiezer on Nov 30, 2010 - 11 comments

Like Democracy Itself, It Needs Defending

Long Live the Web — An impassioned plea to actively support openness on the Web from Tim Berners-Lee. [more inside]
posted by netbros on Nov 19, 2010 - 8 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