Don't have an answer to your question, but thanks to your post now I know a lot about Martin Gardner.