## PIGEONS RULE AT THE MONTY HALL PROBLEM

CHECK THIS OUT: PIGEONS VERY GOOD AT MONTY HALL. HERE'S THE PDF. HERE IS YOU CAN TRY IT, HUMAN. HERE IS BERT THE HUMAN DOING THAT DAMN DANCE WE ALL LOVE (THE PIGEON). HAVE A GREAT NIGHT EVERYBODY
posted by Greg Nog on Jan 4, 2017 - 36 comments

## 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."
posted by kliuless on Sep 11, 2016 - 17 comments

## Tromp is going to make Proof-of-Work systems great again

John Tromp is a computer scientist whose interests include mazes (playable: 1, 2), chess problems, Go (previously), graphical representations of combinatory logic, Connect-4, code obfuscation, darts, pop music, and much, much more.
posted by OverlappingElvis on Aug 5, 2016 - 8 comments

## Xerox Alto: Restoring the Legendary 1970s GUI Computer

Startup incubator Y-Combinator acquired a Xerox Alto and Ken Shirriff is currently in the process of restoring it to working condition.

Overview of the Alto and Its Place in History
Day 1: Power Supplies and Disk Interface
Day 2: Repairing the Display
Day 3: Inside the Disk Drive
Day 4: Microcode Tasks and Trying To Boot
"Hello World" in the BCPL Language (Precursor to C) on the Alto Simulator
posted by Pong74LS on Jul 31, 2016 - 25 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."
posted by kliuless on Jul 30, 2016 - 17 comments

## Boolosian logic

The Hardest Logic Puzzle Ever goes like this:
Three gods A, B, and C are called, in some order, True, False, and Random. True always speaks truly, False always speaks falsely, but whether Random speaks truly or falsely is a completely random matter. Your task is to determine the identities of A, B, and C by asking three yes-no questions; each question must be put to exactly one god. The gods understand English, but will answer all questions in their own language, in which the words for “yes” and “no” are “da” and “ja,” in some order. You do not know which word means which.
posted by the man of twists and turns on Nov 8, 2015 - 59 comments

## I'm the treasure in the box

The annoying boxes puzzle: There are two boxes on a table, one red and one green. One contains a treasure. The red box is labelled "exactly one of the labels is true". The green box is labelled "the treasure is in this box." Can you figure out which box contains the treasure?
Solution.
posted by Wolfdog on Sep 2, 2015 - 131 comments

## Can you solve this puzzle?

Downstairs in a house are three identical on-off switches. One of them controls the lamp in the attic. The puzzle is to work out which switch controls the lamp. The rules are as follows. You are allowed to manipulate the switches all you like, and then you are allowed a single trip to the attic. How do you do it?
posted by growabrain on Jun 22, 2015 - 372 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)
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)
posted by kliuless on Jun 6, 2015 - 28 comments

## What I post, I post.

The game is the game, what's done is done, and it is what it is.
The Wire: Tautology Supercut [SLYT, NSFW]
posted by Room 641-A on May 29, 2015 - 20 comments

## The Simple Logical Puzzle That Shows How Illogical People Are

In the 1960s, the English psychologist Peter Wason devised an experiment that would revolutionize his field.

Alcazar is a neat little path-finding logic game. There are also printable puzzles, strategy tips and metapuzzles to be had.
posted by Wolfdog on May 2, 2015 - 15 comments

## 0h n0, another time waster

0h n0 is a game of logical deduction where each dot in a grid can only exist in the same row or column as a certain number of like-colored dots. The game will give you specific pieces of information about how many like-colored dots a single dot can "see", and you must deduce the remaining grid of dots. It's from the same people who brought us the zen-like logic game 0h h1 (previously).
posted by codacorolla on Mar 9, 2015 - 34 comments

## Music Workshop - FEZ

Are you interested in making ambient, drifting, densely-layered electronic music? But don't know where to even start? This is the most thoughtful and gentle introduction I'm aware of, from a fine musician. It's a 45-minute video workshop from Rich Vreeland aka Disasterpeace, composer of the gorgeous, acclaimed Fez soundtrack. Rich composes a Fez-like track on the fly, explaining what he's doing in the process. While he uses Logic and the softsynth Massive in this workshop, his general approach and attention to sound design and synthesis will be applicable to whatever software or hardware you choose to use. (Hat tip to sparkletone for the link. Fez previously on Metafilter.)
posted by naju on Feb 16, 2015 - 36 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.
posted by standardasparagus on Feb 10, 2015 - 24 comments

## Still Combining Numbers On A Grid To Get Bigger Numbers, But Different

Get 10 is a new browser game from veewo, creators of 1024.
posted by Rinku on Dec 9, 2014 - 31 comments

## [x][x][x][_][x][x]

Instant logic puzzles of customizable difficulty.
posted by Iridic on Dec 3, 2014 - 50 comments

## Students applauded and were visibly moved in the game's final moments

The best learning games are always fun. Try playing them yourself and see if you enjoy them. No matter how advanced your understanding of the subject matter, a good game should still be fun. I've understood algebra and number partitions for decades, but DragonBox and Wuzzit Trouble are still challenging puzzlers that I like to fiddle with on long airline flights. All good games offer challenges in intuitive ways. In fact, this is the reason games work so well for learning: Players are intrinsically motivated to identify and succeed at understanding the game's mechanics.
The MindShift Guide to Digital Games and Learning provides a basic introduction to the use of video games in education, gives several thought-provoking examples, and points to numerous sites with related goals, including Edutopia's articles on game-based learning and Graphite's reviews of digital games with educational content. Meanwhile, this being what The Guardian has just called "Board games' golden age," resources such as Play Play Learn, BoardGameGeek's Games in the Classroom, and The Dice Tower's recent countdown of "Top Ten Games for the Classroom" offer interesting options for the tabletop as well.
posted by Monsieur Caution on Nov 25, 2014 - 5 comments

## NOT related to Monty Python's Argument Clinic

Argument Champion, a game that uses logical connections between words to pwn your opponent.
posted by oneswellfoop on Apr 26, 2014 - 53 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

## The Hardest Computer Game of All Time

Many programmers' careers were launched by playing an innovative computer game called Robot Odyssey.
posted by reenum on Jan 25, 2014 - 35 comments

## Master of Philosophy, Lord of Debate, Sultan of Reason

The Adventures of Fallacy Man, from Existential Comics.
posted by Artw on Jan 4, 2014 - 55 comments

## You want room 12A, just along the corridor.

An Illustrated Book of Bad Arguments
This book is aimed at newcomers to the field of logical reasoning, particularly those who, to borrow a phrase from Pascal, are so made that they understand best through visuals.
posted by jenkinsEar on Sep 6, 2013 - 49 comments

## Can Logic Be Rationally Revised?

Here is a video of the philosopher Graham Priest giving a talk at the 2012 Conference on Paradox and Logical Revision. He addresses three questions. Can logic be revised? If so, can it be revised rationally? If so, how?
posted by Jonathan Livengood on Aug 25, 2013 - 22 comments

## "a certain... moral flexibility would be the only way to describe it"

Our Inconsistent Ethical Instincts
We like to believe that the principled side of the equation is rooted in deep, reasoned conviction. But a growing wealth of research shows that those values often prove to be finicky, inconsistent intuitions, swayed by ethically irrelevant factors. What you say now you might disagree with in five minutes. And such wavering has implications for both public policy and our personal lives.
posted by the man of twists and turns on Jun 18, 2013 - 26 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."
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

## FFFMMMMMMVVVVVV

FFF: MMMMMM is a flash game that takes the game mechanics of the indie hit VVVVVV and transforms them from a fast-twitch platform game to a puzzle platformer.
posted by lemuring on Apr 20, 2012 - 7 comments

## All the cool kids know their logical fallacies!

posted by Miko on Apr 19, 2012 - 41 comments

## The problem with slippery slope arguments is that once you start using them you quickly move on to other fallacies

An illustrated guide to common logical fallacies as well as well as a very nice worked example of the fallacies involved in Cardinal Keith O'Brien's recent(ish) article against gay marriage.
posted by DRMacIver on Mar 30, 2012 - 123 comments

## Critical thinking for kids

A series of short animations explaining critical thinking. Created for children and pretty good for adults too.
posted by latkes on Mar 11, 2012 - 27 comments

## Caution: Intense geekery inside

Pipe Logic "Suppose the null-byte is an electron. Then, /dev/zero provides an infinite supply of electrons and /dev/null has an infinite appetite for them..." Modeling transistors and logic gates using Unix pipes.
posted by bitmage on Jan 23, 2012 - 22 comments

## Evil influence? Only for your productivity.

Masyu, also known as Pearls, is an NP-complete logic puzzle created by the makers of Sudoku. Brandon McPhail provides a few free puzzles to get your feet wet on his web site (Java applet). Once you've mastered those, UCLICK Games offers a free daily puzzle (Flash) with the past month of archives available too.
posted by The Winsome Parker Lewis on Jan 18, 2012 - 28 comments

## Thinking Machine

Professor Augustus S. F. X. Van Dusen, Ph.D., LL.D., F.R.S., M.D., M.D.S.* is a fictional character in a series of detective short stories and two novels by Jacques Futrelle. Van Dusen was also known as "The Thinking Machine" for his application of logic to any and all situations. Most of Futrelle's stories are online. Futrelle himself went down with the Titanic.
posted by twoleftfeet on Sep 15, 2011 - 20 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

## "Mr. Cortex, We Love You!"

In the early 1960s, actor/comedian/writer/composer/TV-star Steve Allen recorded How to Think, an educational album about the brain and the mind.
posted by overeducated_alligator on Sep 6, 2011 - 12 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

## Logic. Do you speak it?

Impasse is a simple flash-based puzzle game that involves getting your object from point A to B.
Notes:
• Levels you complete can be scrolled through using "x" to move to the next level and "d" to return the level select button to the first level.

• posted by lemuring on Jul 11, 2011 - 19 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

## Big Kids Will Love Them Too

"Cubelets is a robot construction kit; by combining sensor, logic and actuator blocks, young kids can create simple reconfigurable robots that exhibit surprisingly complex behavior." Watch the Cubelets Engineering Prototypes demo (1.01) on Vimeo.
posted by bwg on Jun 24, 2011 - 14 comments

## I shall call it... NAWNCO.

A logic puzzle called NAWNCO.
posted by lemuring on Apr 11, 2011 - 63 comments

## Picma Squared

Picma Squared (flash, game) "You got your Picross in my Minesweeper!" "You got your Minesweeper in my Picross!"
posted by Ufez Jones on Apr 10, 2011 - 8 comments

## My name is Modus Tollens, and I help you spot cheaters.

Subjects don't need formal logic training. They don't need math or philosophy. Fewer than 10 percent of the participants got it right when Peter Cathcart Wason performed his 1966 study, the Wason Selection Task. But according to an essay by Bruce Schneier referencing the work of evolutionary psychologists Leda Cosmides and John Tooby, that number improves, by 65 to 80 percent "...when the rule has to do with cheating and privilege."
posted by fartknocker on Apr 10, 2011 - 35 comments

## All glasses see Sun, therefore all glasses are sunglasses

Logical fallacies: 1, 2, 4, 7, 9, 16.
posted by twoleftfeet on Feb 17, 2011 - 51 comments

## DOES. NOT. COMPUTE!

The next time your computer won't do what you want, just give it a stern talking-to.
posted by Horace Rumpole on Dec 22, 2010 - 26 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

## Each of us a cell of awareness, imperfect and incomplete

Rhetorical analysis of Rush's "Free Will"
posted by jtron on Aug 31, 2010 - 86 comments

Page: 1 2 3