Alan Turing's 1950s tiger stripe theory proved
february 2012 by beastaugh
"Researchers from King's College London have provided the first experimental evidence confirming a great British mathematician's theory of how biological patterns such as tiger stripes or leopard spots are formed."
biology
science
turing
evolution
february 2012 by beastaugh
Scooping the Loop Snooper — Geoffrey K. Pullum
december 2011 by beastaugh
A proof that the Halting Problem is undecidable, in the style of Dr. Seuss.
computability
turing
poetry
humour
drseuss
december 2011 by beastaugh
The Limits of Mathematics
january 2009 by beastaugh
Transcript of a lecture by Gregory Chaitin.
mathematics
computing
turing
metamathematics
lisp
gödel
january 2009 by beastaugh
Copy this bookmark: