15 posts tagged with Mathematics and logic.
Displaying 1 through 15 of 15. Subscribe:

Animated math

Essence of linear algebra - "[Grant Sanderson of 3Blue1Brown (now at Khan Academy) animates] the geometric intuitions underlying linear algebra, making the many matrix and vector operations feel less arbitrary." [more inside]
posted by kliuless on Sep 11, 2016 - 17 comments

So, the unknowable kicks in

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]
posted by kliuless on Jul 30, 2016 - 17 comments

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]
posted by kliuless on Jun 9, 2015 - 13 comments

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]
posted by kliuless on Jun 6, 2015 - 28 comments

The Man Who Tried to Redeem the World with Logic

Walter Pitts rose from the streets to MIT, but couldn’t escape himself. Pitts was used to being bullied. He’d been born into a tough family in Prohibition-era Detroit, where his father, a boiler-maker, had no trouble raising his fists to get his way. The neighborhood boys weren’t much better. One afternoon in 1935, they chased him through the streets until he ducked into the local library to hide. The library was familiar ground, where he had taught himself Greek, Latin, logic, and mathematics—better than home, where his father insisted he drop out of school and go to work. Outside, the world was messy. Inside, it all made sense. [more inside]
posted by standardasparagus on Feb 10, 2015 - 24 comments

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 ;)
posted by kliuless on Apr 12, 2014 - 24 comments

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]
posted by kliuless on Mar 16, 2013 - 25 comments

G.H. Hardy reviews Principia Mathematica

"Perhaps twenty or thirty people in England may be expected to read this book." G.H. Hardy's review of Whitehead and Russell's Principia Mathematica, published in the Times Literary Supplement 100 years ago last week. "The time has passed when a philosopher can afford to be ignorant of mathematics, and a little perseverance will be well rewarded. It will be something to learn how many of the spectres that have haunted philosophers modern mathematics has finally laid to rest."
posted by escabeche on Sep 12, 2011 - 29 comments

What is the title of this post?

92 years young, the delightful Raymond Smullyan is a mathematician, logician, magician, concert pianist, and Taoist philosopher - who also pioneered retrograde chess problems.
posted by Trurl on Jun 26, 2011 - 22 comments

Logical literacy is essential to mathematical fluency.

Logical literacy is an awareness and understanding of the metalanguage in which propositions, conjectures, lemmas and theorems are written.
posted by jjray on Oct 12, 2010 - 44 comments

Nature of Mathematical Truth

Gödel and the Nature of Mathematical Truth : A Talk with Verena Huber-Dyson
posted by Gyan on Jul 29, 2005 - 77 comments

You can't prove this title wasn't an attempt to illustrate Godel

Godel's theorems have been used to extrapolate a great many "truths" about the world. Torkel Franzen sets the record straight in his new book Godel's Theorem: An Incomplete Guide to Its Use and Abuse. Read the introduction (PDF). If you want, check out his explanation of the theorems.
posted by Gyan on Jun 29, 2005 - 65 comments

The Complexity of a Controversial Concept

The Logic of Diversity "A new book, The Wisdom of Crowds [..:] by The New Yorker columnist James Surowiecki, has recently popularized the idea that groups can, in some ways, be smarter than their members, which is superficially similar to Page's results. While Surowiecki gives many examples of what one might call collective cognition, where groups out-perform isolated individuals, he really has only one explanation for this phenomenon, based on one of his examples: jelly beans [...] averaging together many independent, unbiased guesses gives a result that is probably closer to the truth than any one guess. While true — it's the central limit theorem of statistics — it's far from being the only way in which diversity can be beneficial in problem solving." (Three-Toed Sloth)
posted by kliuless on Jun 20, 2005 - 6 comments

To “have the privilege of walking home with Gödel.”

“Gödel put logic on the mathematical map.”
An excellent interview with Rebecca Goldstein, biographer of Kurt Godel
posted by thatwhichfalls on Mar 19, 2005 - 23 comments

What Color is My Hat?

What Color is My Hat? I [heart] these mathematical conundrums -- simple, easy-to-state, seemingly obvious logic problems that have solutions that completely defy common sense. Here's another you can spring on a friend: "You want to fry up three pieces of french toast. You have a frying pan that is just large enough to accomodate two pieces of bread at a time. If it takes you 30 seconds to fry one side of bread, and each piece of must be fried on both sides, how long will it take you to cook up three pieces (assuming that the act of flipping a piece or adding/ removing it to or from the pan takes no time). Think about it. Answer inside.
posted by Shadowkeeper on May 25, 2001 - 24 comments

Page: 1