雷欧·范德托
雷欧·范德托（, ），荷兰逻辑学家，卢森堡大学计算机科学教授，主要研究领域为道义逻辑，多智能体系统，人工智能中的逻辑学。截止2016年已发表学术论文近300篇。 生平 雷欧·范德托1968年生于荷兰鹿特丹。雷欧·范德托曾在鹿特丹伊拉斯姆斯大学学习计算机科学与哲学，于1992年获得科学硕士学位，于1997年获得计算机科学博士学位。他的博士论文主要研究计算机科学中的道义逻辑及其与非单调逻辑的结合。他的主要研究领域为人工智能和计算机科学中的逻…
标签：#荷兰逻辑学家
共 2 篇文章
阿蘭德·海廷
阿蘭德·海廷(英语：Arend Heyting，)是荷蘭數學家和邏輯學家。 生平 1898年生於荷蘭阿姆斯特丹，他是魯伊茲·布勞威爾在阿姆斯特丹大學的學生之一，他做了很多工作來使直覺主義邏輯立足於成為數理邏輯一部分。海廷為了整編布勞威爾做數學研究的方法而對直覺主義邏輯做了首次形式開發。把布勞威爾的名字包含在BHK釋義中很大程度上是出於尊敬，因為布勞威爾在原則上反對直覺主義邏輯的任何形式化(並進而把海廷的工作稱為“無果實驗”)。卒於瑞士盧…