Raphael M. Robinson，美国数学家、哲学家和理论家（1995 年逝世）
拉斐尔·米切尔·罗宾逊（Raphael Mitchel Robinson，1911 年 11 月 2 日 - 1995 年 1 月 27 日）是美国数学家。

罗宾逊出生于加利福尼亚州的国家城，是一名律师和一名教师的四个孩子中最小的一个。他获得了加州大学伯克利分校的数学学士学位：文学学士（1932 年）、文学硕士（1933 年）和博士学位。 （1935 年）。他的博士学位。论文，关于复分析，题目是 Schlicht 函数理论中的一些结果。

1941 年，罗宾逊与他以前的学生 Julia Bowman 结婚。她成为了他在伯克利的同事和美国数学会的第一位女主席。

罗宾逊从事数理逻辑、集合论、几何、数论和组合学的研究。 1937 年，他提出了约翰·冯·诺依曼 1923 年公理集合论的更简单和更传统的版本。 1942 年 Alfred Tarski 加入伯克利的数学系后不久，Robinson 开始在数学基础上做主要工作，建立在 Tarski 的基本不可判定性概念的基础上，证明了一些数学理论是不可判定的。 1950 年，罗宾逊通过提出一个反例证明了一个本质上不可判定的理论不需要有无限数量的公理：罗宾逊算术 Q。Q 是有限公理化的，因为它缺少皮亚诺算术的归纳公理模式；尽管如此，Q 和皮亚诺算术一样，在哥德尔的意义上是不完整的和不可判定的。罗宾逊关于不可判定性的工作在他与塔斯基等人的合着中达到了高潮。 (1953)，其中确立了群论、格理论、抽象射影几何和闭包代数的不可判定性。

罗宾逊从事数论工作，甚至使用非常早期的计算机来获得结果。例如，他编写了 Lucas-Lehmer 素数检验来确定 SWAC 上所有素数 n < 2304 的 2n-1 是否是素数。 1952 年，他证明这些梅森数都是合数，除了 n = 2、3、5、7、13、17、19、31、61、89、107、127、521、607、1279、2203 的 17 个值, 2281。他发现了这些梅森素数中的最后五个，是当时已知的最大的。

罗宾逊写了几篇关于平面拼接的论文，特别是 1971 年一篇清晰而引人注目的论文 Undecidability and nonperiodicity for the tiles of the plane 简化了一个纠结的理论。

罗宾逊于 1949 年成为伯克利大学的正教授，于 1973 年退休，并在他的一生中一直活跃在他的教育兴趣中，并在他晚年发表了以下文章：

（80岁）明斯基的小型通用图灵机，描述了具有四个符号和七个状态的通用图灵机；

（83 岁）双曲线平面中的两个数字。