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

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

The simulated brain - "First computer model to produce complex behaviour performs almost as well as humans at simple number tasks." [1,2,3,4,5,etc.]
posted by kliuless on Dec 8, 2012 - 22 comments

Do you like biology? Do you like numbers? Like, actual numbers and not the television show? Take a look at BioNumbers. [more inside]
posted by Blazecock Pileon on Sep 17, 2012 - 10 comments

Durango Bill's Home Page. With topics that include: 3D end-to-end tour of the Grand Canyon, the origin and formation of the Colorado River, and examples of river systems that cut through mountain ranges instead of taking easier routes around them in Ancestral Rivers of the World. [more inside]
posted by netbros on Jul 22, 2009 - 5 comments

Mathematician Bums Out Entire Scientific Community His "Omega" number--infinite and incalculable--guts hopes for pure mathematics, physicists' hopes for a Theory of Everything, and is just in general kind of bafflingly cool. Builds on the whole Godel/Turing foundation of hopelessness!
posted by Skot on Mar 15, 2001 - 35 comments