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

Morpion Solitaire is a very simple pencil-and-paper, line-drawing game for which the best possible score is not known! New records are still being set.
posted by Wolfdog on Jan 8, 2012 - 21 comments

Stephen Wolfram discusses Wolfram|Alpha: Computational Knowledge Engine - at the same time Google Adds Search to Public Data, viz: "Nobody really paid attention to the two hour snorecast" -- like a cross between designing for big data and a glossary of game theory terms -- on Wolfram|Alpha (previously), yet the veil is being lifted nonetheless: "[on] a platonic search engine, unearthing eternal truths that may never have been written down before," cf. hunch & cyc (and in other startup news...) [via] [more inside]
posted by kliuless on May 1, 2009 - 29 comments

Explorations of computation: the world is numbers, and the divine a mathematician. Maybe. [Flash, Javascript]
posted by stavrosthewonderchicken on Jul 30, 2004 - 5 comments

The End of equations? Paul Dirac and Albert Einstein thought equations were things of beauty, Stephen Wolfram, by contrast thinks they are antiquated.
posted by none on Jan 27, 2002 - 10 comments