Logic hacking - "Writing shorter and shorter computer programs for which it's unknowable whether these programs run forever, or stop... the winner of the Busy Beaver Game for N-state Turing machines becomes unknowable using ordinary math - somewhere between N = 5 and N = 1919." [more inside]
Optimal stopping is a math theory that can be used to solve real world decision problems. In the real world, it is often applied to help decide when to stop dating and get married.
Univalent Foundations Redefines Mathematics - "When a legendary mathematician found a mistake in his own work, he embarked on a computer-aided quest to eliminate human error. To succeed, he has to rewrite the century-old rules underlying all of mathematics." (previously) [more inside]
Hyperreal numbers: infinities and infinitesimals - "In 1976, Jerome Keisler, a student of the famous logician Tarski, published this elementary textbook that teaches calculus using hyperreal numbers. Now it's free, with a Creative Commons copyright!" (pdf—25mb :) [more inside]
Norbert Wiener: The Eccentric Genius Whose Time May Have Finally Come (Again) - "The most direct reason for Wiener's fall to relative obscurity was the breakthrough of a young mathematician and engineer named Claude Shannon." [more inside]
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 ;)
Network Theory Overview - "The idea: nature and the world of human technology are full of networks! People like to draw diagrams of networks. Mathematical physicists know that in principle these diagrams can be understood using category theory. But why should physicists have all the fun? This is the century of understanding living systems and adapting to life on a finite planet. Math isn't the main thing we need, but it's got to be part of the solution... so one thing we should do is develop a unified and powerful theory of networks." (via ;)
Open warfare erupts in the world of mathematical biology, as Lior Pachter of UC-Berkeley writes three blog posts attacking two papers in Nature Bioscience, accusing one of them of being "dishonest and fraudulent": The Network Nonsense of Albert-Laszlo Barabasi, The Network Nonsense of Manolo Kellis, and Why I Read the Network Nonsense Papers. Kellis (MIT) and his co-authors respond (.pdf.)
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." [more inside]
Revelations in the field of quantum physics have resulted in the discovery of the Amplituhedron, a jewel-like higher dimensional object whose volume elegantly predicts fundamental physical processes that took the brilliant Dr. Richard Feynman hundreds of pages of abstruse mathematics to describe. The theoretical manifold not only enables simple pen-and-paper calculation of physics that would normally require supercomputers to work out, but also challenges basic assumptions about the nature of reality -- forgoing the core concepts of locality and unitarity and suggesting that space and time are merely emergent properties of a timeless, infinitely-sided "master amplituhedron," whose geometry represents the sum total of all physical interactions. More: The 152-page source paper on arXiv [PDF] - Lead author Nima Arkani-Hamed's hour-long lecture at SUSY 2013 - Scans of Arkani-Hamed's handwritten lecture notes - A far more detailed lecture series "Scattering Without Space Time": one, two, three - Arkani-Hamed previously on MeFi - A hot-off-the-presses Wikipedia page (watch this space)
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]
"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]
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]
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.
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.
kevin bacon as math theory: properties of the kevin bacon absorbing set