## 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."
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."
posted by kliuless on Mar 16, 2013 - 25 comments

## the power and beauty of mathematics

An eternity of infinities (via)
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)
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.
posted by netbros on Nov 19, 2010 - 8 comments

## from complexity, universality

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

Page: 1