マーチン・デービス

伝記

アメリカの数学者、計算機科学者。計算可能性理論と数理論理学に貢献し、ヒルベルトの第10問題の研究や、論理式の充足可能性判定の基礎となるアルゴリズムの共同開発で知られる。