##
15 posts tagged with math *and* proof.

Displaying 1 through 15 of 15. Subscribe:

## xEuclidx

Compass-and-straightedge construction (aka Euclidean construction) is a method of drawing precise geometric figures using only a compass and a straightedge (like a ruler without the markings). MathOpenRef maintains a catalog of many common constructions, each with an explanatory animation and a proof. This YouTube video demonstrates how to construct almost every polygon that can be constructed using these methods. [more inside]

## The likelihood that there's interesting or important math is pretty high

Shinichi Mochizuki and the impenetrable proof - "Fesenko has studied Mochizuki's work in detail over the past year, visited him at RIMS again in the autumn of 2014 and says that he has now verified the proof. (The other three mathematicians who say they have corroborated it have also spent considerable time working alongside Mochizuki in Japan.) The overarching theme of inter-universal geometry, as Fesenko describes it, is that one must look at whole numbers in a different light — leaving addition aside and seeing the multiplication structure as something malleable and deformable. Standard multiplication would then be just one particular case of a family of structures, just as a circle is a special case of an ellipse." (previously: 1,2; via) [more inside]

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

## 3Blue1Brown: Reminding the world that math makes sense

Understanding e to the pi i - "An intuitive explanation as to why e to the pi i equals -1 without a hint of calculus. This is not your usual Taylor series nonsense." (via via; reddit; previously) [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 ;)

## That’s why it doesn’t matter if God plays dice with the Universe

Discovering Free Will (Part II, Part III) - a nice discussion of the Conway-Kochen "Free Will Theorem". [more inside]

## Proof and Community Standards

In August of last year, mathematician Shinichi Mochizuki reported that he had solved one of the great puzzles of number theory: the ABC conjecture (previously on Metafilter). Almost a year later, no one else knows whether he has succeeded. No one can understand his proof.

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

## The strange case of The Pigeon-hole Principle

It's Saturday; why not think about the pigeonhole principle? Here are problems and more problems and what you might call a problem with the principle itself as it is often stated.

## Sure it's irrational! Just look!

Geometrically the irrationality of the square root of 2 means that there is no integer-by-integer square whose area is twice the area of another integer-by-integer square. A visual proof that the square root of 2 is irrational (not found in previous visual proof post.)

## The Angel Problem

## Then you wouldn't have to say "QED", 'cause I'd already know

A thread full of proofs without words at MathOverflow and quite a lot more of them courtesy of Google Books.

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

## A road is a road is a road

Did you know that you can create a simple set of directions to your house that works

*no matter where the recipient starts from?*After 38 years this remarkable conjecture has now been proved by a 63-year old former security guard.Page:
1