經歷
他在1929年到1933年期間是 Hermann Weyl 在哥廷根大學的學生之一。他的主要工作是數學基礎中的證明論，特別是自然演繹和相繼式演算。他的切消定理是證明論語義的基石，《邏輯演繹研究》中的某些哲學評論和維根斯坦的格言"意義是使用"一起建立了推論角色語義的基礎。
相關詞條
-
岑參
岑參（約715-770年），唐代邊塞詩人，荊州江陵（現湖北江陵），太宗時功臣岑文本重孫，唐代詩人，與高適並稱“高岑”。 岑參早歲孤貧，從兄就讀，遍覽史籍...
人物生平 主要成就 人物評價 軼事典故 親屬成員 -
哈里
哈里，英文為Harry，是一些國家男子的常用名字。著名的有：Harry Potte（哈利·波特），英國王儲威爾斯親王查爾斯王子的二兒子哈里王子。2012...
內容簡介 作品目錄 創作背景 人物介紹 作品鑑賞 -
哈里[系列小說]
《哈利·波特》（）是英國作家J·K·羅琳（J. K. Rowling）於1997～2007年所著的魔幻文學系列小說，共7部。其中前六部以霍格沃茨魔法學校...
內容簡介 作品目錄 創作背景 人物介紹 作品鑑賞 -
格布哈德·馮·布呂歇爾
格布哈德·列博萊希特·馮·布呂歇爾（Gebhard Leberecht von Blücher）（1742年12月16日～1819年9月12日），是普魯...
早年經歷 歸隱田園 重返軍隊 耶拿戰役 孤軍奮戰 -
德累斯頓
德累斯頓還是一個重要的科研中心，擁有許多研究人員。 德累斯頓-巴洛克教堂德累斯頓是一個規模廣大的城市，不僅由於1990年代的合併。 1920年代以前，清...
概述 地理環境 政治 歷史 教育和科學 -
格爾利茨
格爾利茨（德語：，波蘭語：，索布語：，捷克語：）是德國最東部的一座城市，位於薩克森州的東端。它是薩克森第六大城市。這座城市的東邊部分（比較小的部分）在第...
歷史狀況 地理位置 行政區劃 周邊市縣 歷史 -
哈默定律
哈默定律--由西方石油公司董事哈默提出，說的是天下沒什麼壞買賣，只有蹩腳的買賣人。
哈默定律的由來 經典案例 管理啟示 -
阿爾芒·讓·迪普萊西·德·黎塞留[歷史人物]
阿爾芒·讓·迪普萊西·德·黎塞留（Armand Jean du Plessis de Richelieu，1585年9月9日－1642年12月4日）法王...
人生概述 生平經歷 社會影響 主要成就 人物評價 -
卡特琳娜·格蘭厄姆
卡特琳娜·格蘭厄姆（Kat Graham）1989年9月5日出生於瑞士日內瓦，美國影視女演員、製作人、原創歌手、舞者、模特，畢業於美國洛杉磯音樂學院 。...
早年經歷 演藝經歷 個人生活 主要作品 社會活動
