登录/注册
置顶
词条 阿兰德·海廷

阿兰德·海廷

阿兰德·海廷(英语:Arend Heyting,1898年5月9日-1980年7月9日)是荷兰数学家和逻辑学家。他是鲁伊兹·布劳威尔在阿姆斯特丹大学的学生之一,他做了很多工作来使直觉主义逻辑立足于成为数理逻辑一部分。海廷为了整编布劳威尔做数学研究的方法而对直觉主义逻辑做了首次形式开发。把布劳威尔的名字包含在Brouwer–Heyting–Kolmogorov释义中很大程度上是出于尊敬,因为布劳威尔在原则上反对直觉主义逻辑的任何形式化(并进而把海廷的工作称为“无果实验”)。

海廷生于荷兰阿姆斯特丹,卒于瑞士卢加诺。

阿兰德·海廷简介资料
1898年05月09日
1980年07月09日
阿兰德·海廷相关文献
阿道夫·加兰德
少年时期加兰德出生在位于今下萨克森的一个小镇Westerholt,家中排行第二,哥哥是位律师,下有两个弟弟。12岁起开始做飞机模型,16岁开始飞滑翔机,1932年,加兰特从兴登堡高中毕业。同年进入Lufthansa(汉莎)航空学校接受民航机飞行训练,1年后得到第一张飞行执照。此时的德国政府开始成立“黑色空军”,加兰德被“邀请”进入空军成为战斗机飞行员。1935年,加兰德驾驶Fw44双翼机进行训练飞行的时候发生意外,造成眼睛部分失明,虽然在指挥官瑞特尔少校的协助下得以继续飞行,但是1年后又再次坠机进了医院,不死心的他,把医院视力表上每一个字母和数字的排列顺序硬背了下来而通过了体检,不过第一次坠毁时留下的玻璃碎片一生都留在他的眼睛里。西班牙内战1937年5月7日,加兰德以所谓“志愿者”的身份被送到西班牙,加入了兀鹰军团,主要以亨克尔He51战斗机双翼机执行地面支援任务,执行了超过300次的飞行...
查看全文
阿根廷
国名“阿根廷”这一名称由拉丁语中的“白银”(argentum)加上阴性指小词缀而成,首次书面使用可追溯至马丁·德尔巴尔科·森特内拉(英语:MartíndelB
查看全文
阿根廷国旗
国旗规格历代国旗
查看全文
阿什海
参考资料《清史稿》《蒙古世系》^善巴《阿萨喇克其史》
查看全文
阿兰德·海廷
参见海廷代数海廷算术选定出版物Heyting,A.(1956)Intuitionism.Anintroduction.North-HollandPublishingCo.,Amsterdam.Heyting,A.(1974)MathematischeGrundlagenforschung,Intuitionismus,Beweistheorie.(German)Reprint.Springer-Verlag,Berlin–NewYork.Heijting,A.(1973)AddresstoProfessorA.Robinson.AttheoccasionoftheBrouwermemoriallecturegivenbyProf.A.Robinsononthe26thApril1973.NieuwArch.Wisk.(3)21,pp.134—137.Heyting,A.(1966)Intu...
查看全文
阿兰德·海廷相关标签
1980年逝世
逻辑学家
1898年出生
阿姆斯特丹大学校友
荷兰数学家
数学家
数学家
1 / 1
家族谱大览
王氏有益公家谱 [3卷]
原书: [出版地不详] : 有益公家谱续修委员会编, 1994年11修. 4册 : 插图, 世系表, 肖像. 一世祖 : 王晋. 周灵王太子. 始祖(1世) : (宋) 王有益. 太祖自浙江会稽仕琼为司户,居乐会(今琼海县)迈汤. 四大房祖(6世) : (明) 王珫,字伯玉 ; 王玘,字美玉 ; 王璞,字必辉 ; 王𤩽,字南园. 珫公生三子(7世) : (明) 王世勋,字汝承 ; 王世贤,字汝德 ; 王世能,字汝才. 玘公生二子(7世) : (明) 王世光,字汝谦 ; 王世荣,字汝仁. 璞公下二支祖(7世) : (明) 王世禄,字汝厚,号静庵 ; 王世缨,字汝清. 𤩽公下一子(7世) : (明) 王世泰,字汝亨. 世勋公下三支祖(8世) : (明) 王廷佐,字志学,号瑶峰 ; 王廷俊,字志道,号石峰 ; 王廷任,字志用,号金峰. 牛漏支祖(9世) : (明) 王耿业. 另牛漏支祖(10世) : (清) 王德卿 ; 王维卿. 康熙时由乐会迈汤村移居万宁牛漏. 青塘支祖(11世) : 王昌邦. 世勋公之后. 由保武移居青塘. 生四子 : 王振骏 ; 王振麟 ; 王振驩 ; 王振惠. 澄迈支祖(11世) : (明) 王昌奇,字肇澄,号忠厚(移居澄迈楼雁岭村) ; 王昌季(移居澄迈旧市坡村). 皆为世勋公之后. 万宁双溪支祖(11世) : (清) 王经业. 康熙年间从万洲西门迁双溪村. 排行 : 有德体存 顼珫世廷 天卿梦振(连仕) 启时元会 文年德业 翰兴家崇 礼让辅. 散居地 : 海南省乐会县, 琼海县, 万宁县, 澄迈县等地. 书名据书衣题编目.
浏览:0
王氏有益公家谱 [3卷]
原书: [出版地不详] : 有益公家谱续修委员会编, 1994年11修. 4册 : 插图, 世系表, 肖像. 一世祖 : 王晋. 周灵王太子. 始祖(1世) : (宋) 王有益. 太祖自浙江会稽仕琼为司户,居乐会(今琼海县)迈汤. 四大房祖(6世) : (明) 王珫,字伯玉 ; 王玘,字美玉 ; 王璞,字必辉 ; 王𤩽,字南园. 珫公生三子(7世) : (明) 王世勋,字汝承 ; 王世贤,字汝德 ; 王世能,字汝才. 玘公生二子(7世) : (明) 王世光,字汝谦 ; 王世荣,字汝仁. 璞公下二支祖(7世) : (明) 王世禄,字汝厚,号静庵 ; 王世缨,字汝清. 𤩽公下一子(7世) : (明) 王世泰,字汝亨. 世勋公下三支祖(8世) : (明) 王廷佐,字志学,号瑶峰 ; 王廷俊,字志道,号石峰 ; 王廷任,字志用,号金峰. 牛漏支祖(9世) : (明) 王耿业. 另牛漏支祖(10世) : (清) 王德卿 ; 王维卿. 康熙时由乐会迈汤村移居万宁牛漏. 青塘支祖(11世) : 王昌邦. 世勋公之后. 由保武移居青塘. 生四子 : 王振骏 ; 王振麟 ; 王振驩 ; 王振惠. 澄迈支祖(11世) : (明) 王昌奇,字肇澄,号忠厚(移居澄迈楼雁岭村) ; 王昌季(移居澄迈旧市坡村). 皆为世勋公之后. 万宁双溪支祖(11世) : (清) 王经业. 康熙年间从万洲西门迁双溪村. 排行 : 有德体存 顼珫世廷 天卿梦振(连仕) 启时元会 文年德业 翰兴家崇 礼让辅. 散居地 : 海南省乐会县, 琼海县, 万宁县, 澄迈县等地. 书名据书衣题编目.
浏览:0
王氏有益公家谱 [3卷]
原书: [出版地不详] : 有益公家谱续修委员会编, 1994年11修. 4册 : 插图, 世系表, 肖像. 一世祖 : 王晋. 周灵王太子. 始祖(1世) : (宋) 王有益. 太祖自浙江会稽仕琼为司户,居乐会(今琼海县)迈汤. 四大房祖(6世) : (明) 王珫,字伯玉 ; 王玘,字美玉 ; 王璞,字必辉 ; 王𤩽,字南园. 珫公生三子(7世) : (明) 王世勋,字汝承 ; 王世贤,字汝德 ; 王世能,字汝才. 玘公生二子(7世) : (明) 王世光,字汝谦 ; 王世荣,字汝仁. 璞公下二支祖(7世) : (明) 王世禄,字汝厚,号静庵 ; 王世缨,字汝清. 𤩽公下一子(7世) : (明) 王世泰,字汝亨. 世勋公下三支祖(8世) : (明) 王廷佐,字志学,号瑶峰 ; 王廷俊,字志道,号石峰 ; 王廷任,字志用,号金峰. 牛漏支祖(9世) : (明) 王耿业. 另牛漏支祖(10世) : (清) 王德卿 ; 王维卿. 康熙时由乐会迈汤村移居万宁牛漏. 青塘支祖(11世) : 王昌邦. 世勋公之后. 由保武移居青塘. 生四子 : 王振骏 ; 王振麟 ; 王振驩 ; 王振惠. 澄迈支祖(11世) : (明) 王昌奇,字肇澄,号忠厚(移居澄迈楼雁岭村) ; 王昌季(移居澄迈旧市坡村). 皆为世勋公之后. 万宁双溪支祖(11世) : (清) 王经业. 康熙年间从万洲西门迁双溪村. 排行 : 有德体存 顼珫世廷 天卿梦振(连仕) 启时元会 文年德业 翰兴家崇 礼让辅. 散居地 : 海南省乐会县, 琼海县, 万宁县, 澄迈县等地. 书名据书衣题编目.
浏览:0
王氏有益公家谱 [3卷]
原书: [出版地不详] : 有益公家谱续修委员会编, 1994年11修. 4册 : 插图, 世系表, 肖像. 一世祖 : 王晋. 周灵王太子. 始祖(1世) : (宋) 王有益. 太祖自浙江会稽仕琼为司户,居乐会(今琼海县)迈汤. 四大房祖(6世) : (明) 王珫,字伯玉 ; 王玘,字美玉 ; 王璞,字必辉 ; 王𤩽,字南园. 珫公生三子(7世) : (明) 王世勋,字汝承 ; 王世贤,字汝德 ; 王世能,字汝才. 玘公生二子(7世) : (明) 王世光,字汝谦 ; 王世荣,字汝仁. 璞公下二支祖(7世) : (明) 王世禄,字汝厚,号静庵 ; 王世缨,字汝清. 𤩽公下一子(7世) : (明) 王世泰,字汝亨. 世勋公下三支祖(8世) : (明) 王廷佐,字志学,号瑶峰 ; 王廷俊,字志道,号石峰 ; 王廷任,字志用,号金峰. 牛漏支祖(9世) : (明) 王耿业. 另牛漏支祖(10世) : (清) 王德卿 ; 王维卿. 康熙时由乐会迈汤村移居万宁牛漏. 青塘支祖(11世) : 王昌邦. 世勋公之后. 由保武移居青塘. 生四子 : 王振骏 ; 王振麟 ; 王振驩 ; 王振惠. 澄迈支祖(11世) : (明) 王昌奇,字肇澄,号忠厚(移居澄迈楼雁岭村) ; 王昌季(移居澄迈旧市坡村). 皆为世勋公之后. 万宁双溪支祖(11世) : (清) 王经业. 康熙年间从万洲西门迁双溪村. 排行 : 有德体存 顼珫世廷 天卿梦振(连仕) 启时元会 文年德业 翰兴家崇 礼让辅. 散居地 : 海南省乐会县, 琼海县, 万宁县, 澄迈县等地. 书名据书衣题编目.
浏览:0
重修颜氏迁粤家谱 [4卷]
原书: 广州 : 萃文堂, 清同治13[1874]刻(佛山 : 连元堂, 清光绪13[1887]增刻). 4册 : 插图, 世系表, 人像. 收藏者 : 广东省中山图书馆. 受姓祖 : 夷甫,字伯颜. 其子友,以父字为姓. 晋江祖 : 颜仁贵. 安平始祖 : 均安公,讳德谅. 本张姓,来赘于晋之颜洪善(即颜八郎)之女,遂承其后. 原籍闽泉晋安. 东西二大支祖 : (元) 颜师圆,字景哲 ; 颜师洁,字景秀. 入粤祖(11世) : (明清之际) 颜廷濬,字君蚤,号澄吉. 五大房祖(13世) : (清) 颜建勋,字常仁,号悔斋 ; 颜建俊,字常千,号省斋 ; 颜建伟,字常迈,号适轩 ; 颜建智,字尚几,号镜斋 ; 颜建谋,字尚哲,号紫华. 五房下又分十二房. 散居地 : 广东省南海县等地. 书名据书名页题编目. 版心题 : 颜氏家谱.
浏览:0
海安王氏族谱 [8卷]
始祖 : 王千三(明) 海安镇始迁祖 : 王廷秀(明) 散居地 : 江苏省如皋县等地
浏览:0