原著者

マーティン・デイヴィス（Martin Davis）
1928 年、ニューヨーク市生まれ。
アロンゾ・チャーチのもとで博士号を取得、1950 年代にはヒルベルトの第 10 問題に関する重要な部分的結果を得ている。
1950 年代後半には「チューリング機械の停止問題」を定式化、彼が著わした計算理論の教科書（渡辺茂・赤摂也訳、岩波書店）は当時の研究者たちの必携書となった。
記号論理学の歴史に造詣が深く、“The Undecidable” の編纂でも有名。超準解析を解説した著書（難波完爾訳、培風館）もある。
現在はニューヨーク大学名誉教授、カリフォルニア在住。

訳者

沼田　寛（ぬまた　ひろし）
1948 年、滋賀県生まれ。
京都大学理学部卒。
出版社勤務、フリーのサイエンスライター等を経て、2000 年より公立はこだて未来大学システム情報科学部講師。
2014 年に定年退
職後は、おもに科学書の翻訳の仕事をしている。
著書に
『科学はどこまで謎を解いたか』（宝島社）
『ヒジョーシキな科学』(ジャストシステム）
『図解「複雑系」がわかる本』（中経出版）
訳書に
『無限をつかむ』（イアン・スチュアート著、近代科学社）など。