# Category Archives: logic

## Book review: Roads to Infinity

What is infinity? What is proof? These are two of the biggest questions mathematicians have grappled with over the years. In this well-written and fascinating book, John Stillwell takes us on a tour through some of the answers to these … Continue reading

Posted in arithmetic, books, computation, induction, infinity, logic, proof, review | Tagged , , ,

## My blog is back (hooray!) and a quick puzzle

My blog is finally back up after a long hiatus due to hosting problems (not the first time). I’m seriously contemplating moving somewhere more reliable, but it’s hard to come up with a solution that would not (a) invalidate any … Continue reading

Posted in logic, meta, puzzles | Tagged , , , | 8 Comments

## Manufactoria

A friend of mine just pointed me to a most excellent puzzle game, Manufactoria, wherein you build little machines to test robots. For now I won’t give away the secret of what real math/computer science topic the game teaches you, … Continue reading

Posted in games, links, logic, programming, puzzles | Tagged , , | 17 Comments

## The haybaler

At Penn Alexander’s math club yesterday, the students worked on a fun puzzle that I’d never seen before. It goes like this: You have five bales of hay. For some reason, instead of being weighed individually, they were weighed in … Continue reading

Posted in arithmetic, challenges, logic, puzzles, teaching | Tagged , , | 11 Comments

## Who Am I?

An excellent puzzle from JD2718: There are five true and five false statements about the secret number. Each pair of statements contains one true and one false statement. Find the trues, find the falses, and find the number. 1a. I … Continue reading

Posted in challenges, logic, number theory, puzzles, teaching | Tagged , , | 13 Comments

## Logicomix: An Epic Search for Truth

I recently acquired a copy of Logicomix: An Epic Search for Truth, by Apostolos Doxiadis and Christos Papadimitriou, with art by Alecos Papadatos and Annie Di Donna. It defies categorization: is it a comic book? A biography? A book of … Continue reading

Posted in books, logic, review | | 2 Comments