17 posts tagged with Math and logic.
Displaying 1 through 17 of 17. Subscribe:

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

Making Math Fun

Is your elementary school youngster struggling with math? Are they a visual person? Would math games and videos help them learn? Enter Math Playground, to assist with problem solving and real world math. Try the enticing logic game Sugar, Sugar or beef up your math word problem skills. There are plenty of games to help educate while entertaining.
posted by netbros on Sep 4, 2012 - 14 comments

bons mots, poems, math, knitting and logic

Entertaining, collected bon mots and surprisingly interesting, collected poems by various authors. From a likable math brainiac's site, Dr T.E. Forster, a Cambridge University lecturer. He also knits and writes about Buddhist logic [pdf]. Bonus, there's a fun gif.
posted by nickyskye on Aug 16, 2012 - 4 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

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.
posted by naight on Jul 24, 2011 - 19 comments

Online statistics textbook

Interested in teaching yourself some statistics? Here is an excellent online and interactive statistics textbook developed at UC Berkeley, and also used at CUNY, UCSC, SJSU, and Bard. Here is the syllabus for the course at Berkeley. And here are some insightful reflections from the professor on developing Berkeley's first fully approved online course.
posted by AceRock on Aug 9, 2010 - 18 comments

All Gnytte Long

The Sexaholics of Truthteller Planet - yes, it's one of those rotten logic problems, one of many that can be found at Tanya Khovanova’s Math Guide to the MIT Mystery Hunt.
posted by Wolfdog on Jan 13, 2010 - 21 comments

I am a strange loop.

Douglas Hofstadter's Gödel, Escher, Bach: An Eternal Golden Braid has been recorded as a series of video lectures for MIT's Open Courseware project.
posted by loquacious on May 30, 2009 - 74 comments

The Mathemagician and Pied Puzzler, and others

The Mathemagician and Pied Puzzler (PDF, rough table of contents here) is a collection of puzzles created by members of the Gathering 4 Gardner Foundation, in tribute to the man himself (previously). Also freely available at the G4G site is Puzzle Craft (PDF), by Stewart Coffin. (The Puzzling World of Polyhedral Dissections, also by Coffin, is available here.)
posted by cog_nate on Oct 1, 2008 - 9 comments

Geek Logik - math for every day

Geek Logik is Garth Sundem's book & blog about equations for every day living, including how many cups of coffee you require to be functional, who to vote for, and others.
posted by xmutex on Nov 7, 2006 - 9 comments

Who has the fish?

Who has the fish? Einstein logic puzzle. If I can do it, you guys can.
posted by swift on Aug 4, 2005 - 53 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

PuzzleFilter.

"WARNING!!! The puzzles on this site are very difficult, and most require the use of a good spreadsheet program in order to solve them. It will take many hours, perhaps days, to solve each puzzle..."
posted by limitedpie on Aug 11, 2004 - 7 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