佩尔·马丁-洛夫
佩尔·埃里克·罗格·马丁-洛夫（，），瑞典逻辑学家、数理统计学家和哲学家。他以其在概率论基础方面的工作而闻名。自20世纪70年代以后，他的工作主要集中在逻辑学方面。在哲学逻辑方面，他的研究专注于蕴涵及判断学说，并在一定程度上受到了弗朗兹·布伦塔诺、弗雷格和胡塞尔先前工作的影响；在数理逻辑方面，他致力于创设直觉类型论作为数学的构造性基础。马丁-洛夫在类型论方面的工作深深地影响了计算机科学、尤其是后世编程语言理论的发展。 佩尔·马丁-洛夫是…
标签：#21世纪数学家
共 56 篇文章
塞迈雷迪·安德烈
塞迈雷迪·安德烈（，）是一名匈牙利数学家，他主要的研究领域为组合数学与理论计算机科学。他自从1986年以来一旦担任美国罗格斯大学的计算机科学教授。 生平 他生于布达佩斯，先后毕业于匈牙利的羅蘭大學与俄罗斯的莫斯科国立大学。他的博士导师为伊斯拉埃爾·蓋爾范德。 研究与成就 塞邁雷迪在離散數學、理論電腦科學、、組合幾何方面總共發表了超過200篇學術論文。其中，在1975年，他證明了艾狄胥·帕爾和圖蘭·帕爾的著名猜想：若一個正整數序列有正的上…
詹姆士·约克
詹姆斯·阿兰·约克（，），美国数学家和理论物理学家，马里兰大学学院市分校数学和物理和数学系前任系主任。 他和本華·曼德博是2003年日本国际奖科学技术领域的获得者。约克被选定是因为他的混沌理论的研究成果。在2012年，他成为了美国数学学会的资深会员。 参考资料 外部链接 [http://yorke.umd.edu/ 詹姆斯·约克在马里兰大学的网站]
哈尔·阿伯尔森
哈尔·阿伯尔森（，）是美国麻省理工學院电子工程和计算机科学部门的一名计算机科学教授，电气电子工程师学会院士, 创作共用，自由软件基金会，麻省理工网络开放课程，媒体实验室 Center for Mobile Learning，MIT App Inventor的創始领导人。 工作 计算机科学教育 阿伯尔森与傑拉德·傑伊·薩斯曼和傑拉德·傑伊·薩斯曼的妻子朱莉·薩斯曼合写了一本关于计算机程序设计的总体性观念的基礎教科书《计算机程序的构造和解释…
王梓坤
{{Infobox_Person | name = 王梓坤 | image = | box_width = | occupation = 数学家 | period = | birth_name = 王森福 | other_names = | sex = 男 | birth_date = | birth_place = 湖南零陵 | death_date = | death_place = | nationality = | reside…
柯蒂斯·库珀 (数学家)
柯蒂斯·库珀（），是一位美国数学家，数学和计算机系教授。 因特网梅森素数大搜索 （GIMPS） 库珀和Steven Boone是GIMPS的参与者。他们在700余台计算机上运行GIMPS的软件（Prime95）。截至2013年1月，库珀共发现了3个梅森素数。 2005年12月15日，库珀和Boone发现了第43个梅森素数。这个素数是230402457 − 1，共有9,152,052位数，也是GIMPS发现的第九个梅森素数。 2006年9…
查尔斯·费夫曼
查尔斯·路易斯·费夫曼（，），美国数学家，普林斯顿大学教授，菲尔兹奖得主。 他在数学分析的工作，使他在1978年获菲尔兹奖。他的著名成果有，将多複變分析在低维的结果，推广到一般维数。他的研究包括偏微分方程、傅立叶分析、数学物理、流体动力学、类神经网络、数理金融学、谱分析等。 费夫曼是神童：15岁以德文发表第一篇科学论文，17岁从马里兰大学以物理和数学学士毕业。在埃利亚斯·施泰因指导下，20岁获得普林斯顿大学数学博士。他在22岁获得芝加哥…
季穆尔·埃涅耶夫
{{Infobox person | name = 季穆尔·埃涅耶夫 | image = | caption = | birth_date = | birth_place = 格罗兹尼 | death_date = | death_place = 莫斯科 | nationality =→ | ethnicity =巴尔卡尔人 | research =力学、太空工程、天体演化学 | party=苏联共产党（1957年-1991年） | a…
拉乌尔·博特
拉乌尔·博特（，），匈牙利裔美国數學家。他出生於布達佩斯。1938年全家遷到加拿大，他就讀於麦吉尔大学。他一生大部分時間在美國工作。1959年至1999年，他在哈佛大學任教授。2000年榮獲沃爾夫獎，2005年當選英國皇家學會海外會員。惜同年於美國加州聖地牙哥因癌症逝世。 他最初研究電路，後來投身純數學。 貢獻： Bott-Duffin定理 他應用莫爾斯理論來研究李群的同倫論，成果有博特周期性定理（1956年） Borel–Weil–B…
德米特里·阿诺索夫
德米特里·阿诺索夫，全名德米特里·维克托罗维奇·阿诺索夫（，），俄罗斯数学家。他的主要贡献在动力系统理论，微分几何，拓扑学等领域。 阿诺索夫是俄罗斯科学院院士，苏联国家奖获得者（1976年）。 生平与贡献 1936年，阿诺索夫出生在一个化学专业的科学工作者家庭。他的父亲是维克多·雅科瓦尔维奇·诺索夫(1891-1972)，物理化学分析专家，彼尔姆国立大学分析与技术化学系主任，莫斯科无机化学研究所研究员。 1953年，他进入莫斯科国立大学…
史宇光
史宇光（），男，浙江人，中国数学家，北京大学教授。他的研究领域为几何分析和微分几何。 生平 教育经历 1990年获杭州大学理学学士学位。1990年至1996年在中国科学院数学研究所学习，1993年获硕士学位，导师是王光寅；1996年获博士学位，导师是丁伟岳。 部分出版物 with Luen-Fai Tam: "Positive mass theorem and the boundary behaviors of compact mani…
拉尔斯·霍尔曼德尔
拉尔斯·霍尔曼德尔（，），瑞典数学家，涉及的研究领域很广，尤其在现代线性偏微分方程现代理论做出了巨大贡献。 生平 他于1962年荣获菲尔兹奖，1988年荣获沃尔夫奖。他的Analysis of Linear Partial Differential Operators I - IV（《线性偏微分算子分析》）被认为是线性偏微分算子领域的经典文献。他于1955年在隆德大学获得博士学位，指导老师是Marcel Riesz和Lars Gårdi…
理查德·沃德
{{Infobox scientist | name = 理查德·塞缪尔·沃德 | native_name = Richard Samuel Ward | birth_date = | residence = | fields = |workplaces = | alma_mater = | doctoral_advisor = 罗杰·彭罗斯爵士数学系和粒子理论中心教授。 生平 沃德于1977年获得牛津大学数学博士学位，导师为罗杰·彭罗…
李岳生
李岳生（ ），男，湖南桃江人，中国数学家。 生平 1950年赴东北工学院长春分院学习。1952年夏转至东北人民大学（现吉林大学）数学系学习，1954年毕业留校任教。1961年，赴苏联莫斯科大学进修两年计算数学。1963年夏学成归国后，仍在吉林大学工作。在吉林大学期间曾任系教学秘书、系计算室主任、系党总支副书记及学校党委委员。 1974年因病调至中山大学开始教学工作。1984年由国务院学位委员会批准为博士研究生指导教师；同年，经国务院任命…
金容雲
金容雲（，），韩国数学史家，汉阳大学名誉教授，韩国数学文化研究所所长。 生平 1927年生于东京。1946年入早稻田大学，后回到全羅南道羅州的老家，在中学担任数学教师。先后在美国奥本大学和加拿大阿爾伯塔大學获得理学硕士和博士学位。1962年至1965年，任美国威斯康星大学助教授。1969年至1993年，任汉阳大学数学系教授。1987年任汉阳大学研究生院院长。1994年成为名誉教授。1983年发起成立韩国数学史学会，并担任首任会长。202…
乔·彼得·梅
乔·彼得·梅（，）是一个美国数学家，研究领域为代数拓扑与范畴论。他是抽象同伦论的先驱之一，发现了operads以及梅谱序列。 1960年，他在斯沃斯莫尔学院获得文学士学位；1964年在普林斯顿大学获得哲学博士学位。他的博士论文指导老师为约翰·穆尔，题为《限制李代数与霍普夫代数的上同调：应用于斯廷罗德代数 The cohomology of restricted Lie algebras and of Hopf algebras: App…