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 models we discuss belong to the class of two-variable systems with one delay for which appropriate delay stabilizes an unstable steady state. We formulate a theorem and prove that stabilization takes place in our case. We conclude that considerable (meaning large enough, but not too large) values of time delay involved in the model can stabilize love affairs dynamics." [more inside]
posted by bluefly on Jan 16, 2013 - 12 comments

New math theories reveal the nature of numbers [1,2] - "We prove that partition numbers are 'fractal' for every prime. These numbers, in a way we make precise, are self-similar in a shocking way. Our 'zooming' procedure resolves several open conjectures, and it will change how mathematicians study partitions." (/.|via) [more inside]
posted by kliuless on Jan 22, 2011 - 45 comments

Futurama has always been a haven for geek humor, but last week's episode "The Prisoner of Benda" pushed things to the next level. First hinted at in an American Physical Society interview with showrunner David X. Cohen (previously), staff writer and mathematics Ph.D. Ken Keeler devised a novel mathematical proof based on group theory to resolve the logic puzzle spawned by the episode's brain-swapping (but no backsies!) conceit. Curious how it works? Read the proof (in the show or in plain text), then see it in action using this handy chart. Too much math for a lazy Sunday? Then entertain your brain with lengthy clips from the episode -- including two of the funniest moments in the series in the span of two minutes.
posted by Rhaomi on Aug 22, 2010 - 130 comments

Among his collected works, in the few, short years before mathematician Alan Turing was driven to suicide, he published "The Chemical Basis of Morphogenesis", theorizing how a standing wave-like distribution of "cannibal" and "missionary" chemicals might explain how plants and animals develop their shape and pigmentation. Blogger Jonathan Swinton focuses on this more obscure aspect of Turing's research, and reviews some of his posthumous and unpublished efforts — including one of the earliest known examples of digital computation applied to the field of biology.
posted by Blazecock Pileon on Aug 7, 2006 - 10 comments

kevin bacon as math theory: properties of the kevin bacon absorbing set
posted by riley370 on Oct 17, 2000 - 2 comments