早年就學於阿姆斯特丹大學.後留校任教,1948年晉升為教授.海丁是布勞威爾(Brouwer , L. E. J. )直覺主義的創建者)的繼承人之一他發展了數學基礎研究中的直覺主義學派的理論,並在此基礎上建立了二值符號邏輯.這一邏輯規律,像其他多值邏輯規律一樣,不接受三重和雙重否定規律.他還和其他人共同構造了直覺主義的謂詞演算。
相關詞條
-
丁海
丁海,男,著名殘疾運動員。中國第一位參加國外職業聯賽、遠赴“西甲”的殘障輪椅籃球球員。出生於1986年的丁海在4歲時因車禍失丁海去了左小腿。但他從小就和...
簡介 “中國丁”很受寵 “中國丁”的“明星經” 輪椅籃球賽 中國輪椅籃球的‘姚明’ -
丁海明
丁海明,跨國偶像組合A'st1中的中國成員,作為熱播劇《花樣男子》中的新出場人物驚艷亮相。丁海明在2009年2月17日播出的《花樣男子》中飾演了尹智厚在...
基本資料 個人情況 韓國生活 人物評價 -
丁海[輪椅籃球球員]
中國第一位參加國外職業聯賽、遠赴“西甲”的殘障輪椅籃球球員。但他從小就和健全的小夥伴在一起生活。後來,丁海考入旅順第四十二中學,並以出眾的技術成為校隊的...
簡介 “中國丁”很受寵 “中國丁”的“明星經” 輪椅籃球賽 中國輪椅籃球的‘姚明’ -
巴巴羅薩·海雷丁
巴巴羅薩·海雷丁,全稱一般寫成Barbarossa Hayreddin Pasha,在土耳其語中有幾個別名,其中一個叫Hızır Reis,應該就是大二...
簡介 生平簡歷 影響力 參考資料 -
丁海寅
丁海寅(Jung Hae In),1988年4月1日出生,韓國男演員。2014年2月主演浪漫愛情劇《百年的新娘》,以演員身份正式出道;8月主演古裝歷史劇...
個人經歷 主要作品 獲獎記錄 人物評價 -
海雷丁
海雷丁,是一名土耳其穆斯林,其母親是一名希臘基督徒。
-
丁純海
電影工作者,負責電影的道具工作。
基本資料 個人概述 成長經歷 個人榮譽 個人影響 -
丁海寬
丁海寬,吉林市某大型國有化工企業乙二醇廠副廠長,1967年4月生,職稱為高級工程師。2010年7月5日5時20分左右,丁海寬醉酒駕車,在吉林市炮台山附近...
事故 政協身份被取消 各方反應 的士司機