##
17 posts tagged with Math *and* theory.

Displaying 1 through 17 of 17. Subscribe:

## HoTT Coq

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]

## Calculus without limits

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]

## 21st Century Wiener

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]

## A SAT Attack on the Erdos Discrepancy Conjecture

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 ;)

## John Baez on the maths of connecting everyone (and everything) on earth

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 ;)## Network Nonsense

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.)

## binding the andat

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]

## My God, it's full of... everything

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)## Computerized Math, Formal Proofs and Alternative Logic

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]

## Love in the Time of Neuroinformatics

"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]

## Kill Math

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.

## Finite formula found for partition numbers

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]

## Q to the E to the D

*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 P vs. NP problem and its importance

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)## I will choose free will

The Free Will Theorem - "If there exist experimenters with (some) free will, then elementary particles also have (some) free will." (previously)

## 3.14159265itwasthebestoftimesitwastheworstofti...

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:

kevin bacon as math theory: properties of the kevin bacon absorbing set

Page:
1