グレゴリー・チャイティン
Conversations with a Mathematician, (Springer-Verlag 2002) 邦訳「セクシーな数学」 黒川利明(訳) 岩波書店 2003年 ISBN 4000062727
From Philosophy to Program Size, (Tallinn Cybernetics Institute 2003)
Meta Math!: The Quest for Omega, (Pantheon Books 2005) 邦訳「メタマス!」 黒川利明(訳) 白揚社 2007年 ISBN 4826901380
Thinking about Gödel & Turing, (World Scientific, 2007)
Proving Darwin: Making Biology Mathematical, (Pantheon Books, 2012) 邦訳『ダーウィンを数学で証明する』水谷淳(訳) 早川書房 2014 ISBN 4152094478