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]
Surveys indicate that economists see their discipline as ‘the most scientific of the social sciences’. What is the basis of this collective faith, shared by universities, presidents and billionaires? Shouldn’t successful and powerful people be the first to spot the exaggerated worth of a discipline, and the least likely to pay for it? In the hypothetical worlds of rational markets, where much of economic theory is set, perhaps. But real-world history tells a different story, of mathematical models masquerading as science and a public eager to buy them, mistaking elegant equations for empirical accuracy.
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]
Bret Victor on WorryDream The power to understand and predict the quantities of the world should not be restricted to those with a freakish knack for manipulating abstract symbols. When most people speak of Math, what they have in mind is more its mechanism than its essence. This "Math" consists of assigning meaning to a set of symbols, blindly shuffling around these symbols according to arcane rules, and then interpreting a meaning from the shuffled result. The process is not unlike casting lots.
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.
The Status of the P Versus NP Problem It's one of the fundamental mathematical problems of our time, and its importance grows with the rise of powerful computers. (via mr)
The Free Will Theorem - "If there exist experimenters with (some) free will, then elementary particles also have (some) free will." (previously)
Ever wondered if and where a specific set of numbers could be found in pi? Maybe you'd like to know where your birthday is? Or maybe just something funny. [prev. here, here] [more inside]
kevin bacon as math theory: properties of the kevin bacon absorbing set