阿兰德·海廷(英语：Arend Heyting，1898年5月9日－1980年7月9日)是荷兰数学家和逻辑学家。他是鲁伊兹·布劳威尔在阿姆斯特丹大学的学生之一，他做了很多工作来使直觉主义逻辑立足于成为数理逻辑一部分。海廷为了整编布劳威尔做数学研究的方法而对直觉主义逻辑做了首次形式开发。把布劳威尔的名字包含在BHK释义中很大程度上是出于尊敬，因为布劳威尔在原则上反对直觉主义逻辑的任何形式化(并进而把海廷的工作称为“无果实验”)。
海廷生于荷兰阿姆斯特丹，卒于瑞士卢加诺。
首页 >
阿兰德·海廷
✍ dations ◷ 2025-08-15 14:00:07 #1898年出生,1980年逝世,荷兰数学家,逻辑学家,阿姆斯特丹大学校友
相关
- 根本原因根本原因，有时又称为根本、根因、根或本，是指导致某种结局或后果的因果关系链条的初始原因。通常，根本原因用于描述在因果链之中最深的层次；在这种层次才可能合理有效地实施某种
- 唯品会唯品会（NYSE：VIPS）是广州唯品会信息科技有限公司&唯品会(中国)有限公司运营的一家中文网络购物网站，以销售服装、化妆品为主，兼具发展小家电、玩具和日用品等其他多种商品的销售
- 土蛮语土蛮语是侗台语系仡央语族的一种语言，黔东北仡佬族人至迟在明中期还在使用。 据明代《思南府志》记载：，“居郡西北者，若婺川、若沿河，号土人，曰土蛮，有土语” ，又清 魏源 《圣武记
- 多囊卵巢综合征多囊性卵巢综合症（Polycystic ovary syndrome，简称PCOS），又称斯-李二氏症（Stein-Leventhal syndrome），是一连串女性因为雄性激素上升所导致的症状。多囊性卵巢的症状包含月经不规律
- 济东泰武临道济东泰武临道，清朝地方行政区划中的道。康熙九年（1670年），设济东道，驻济南府。 康熙十三年十月丙午（1674年11月13日），分济南府及东昌府属的聊城县等九州、县来属。道治迁德州。 康熙
- 各国通货膨胀率列表这是一个未整理的各国与地区通货膨胀率列表，数据主要基于世界概况。 此处的通货膨胀系指一般定义的“消费者物价指数连续性地以相当的幅度上涨/下跌”的状态。
- LibreOfficeFresh（尝鲜版） 6.4.4（2020年5月21日，12天前（2020-05-21）） Still（稳定版） 7.0.0 Beta1（2020年5月29日，4天前（2020-05-29）） LibreOffice（发音：/ˌliː.brəˈɒ.fɪs/）是由文档基金会开
- 神奈川县第14区神奈川县第14区是日本众议院的选区，设立于1994年。北海道 13 | 山形县 4 | 静冈县 9 | 岛根县 3 | 大分县 4福井县 3 | 山梨县 3 | 德岛县 3 | 高知县 3 | 佐贺县 3青森县 4
- 柬埔寨黑暗时代柬埔寨的黑暗时代（高棉语：យុគអន្ធកាលនៃកម្ពុជា）覆盖了柬埔寨从十五世纪到十九世纪的历史。柬埔寨在这一时期中不断地衰落并丧失领土。柬埔寨在十六世纪期间
- 中和营河中和营河，位于中国云南省开远市东部，是西江南盘江段右岸支流，发源于开远市碑格乡大黑山，向北流经中和营镇，于绿水坛村以北入南盘江。全长23.7公里，落差850米，流域面积429平方公里，流
