レイモンド・スマリヤン
検査官クライグはスマリヤンの「パズル小説」によく登場するキャラクターである。彼は自然に考えると数学的な解を持つ犯罪の場面にいつも遭遇する。そして、問題がだんだん難しくなるにつれて、彼(と読者)は質問の原理的な意味を理解し始める。最後に、その小説は検査官クライグ(と読者)が犯罪を解決し、その数学的論理的原理を理解できるようにする。検査官クライグは一般に問題の形式的理論を学ばないが、スマリヤンは通常は章をいくつか用意して、検査官クライグの冒険の後で読者にアナロジーを示す。
スマリヤンの本『数学パズルものまね鳥をまねる』(1998年)は結合子論理への娯楽的な導入となっている。
論理について本を書いたり教えたりする事とは別に、最近はスマリヤンは、バッハやスカルラッティやシューベルトなどの作曲家による彼の好きなピアノ曲を録音してリリースした。いくつかの録音はピアノ協会のウェブサイトから、ビデオ“Rambles, Reflections, Music and Readings”として得られる。スマリヤンは、また『天才スマリヤンのパラドックス人生』(ISBN 4-06-211963-3)という自伝も出版している。
2001年にTao Ruspoliというドキュメンタリー映画監督が「この映画にはタイトルはいらない」というスマリヤンの映画を作った。