Willard Van Orman Quine
来自维基百科，自由的百科全书
Found in articles
威拉德·范奥曼·蒯因（英語：Willard Van Orman Quine，/kwaɪn/；1908年6月25日—2000年12月25日；又译奎因），20世纪最有影响的美国哲学家、逻辑学家之一。出生於俄亥俄州阿克倫的富裕家庭，其父為一成功的實業家，其母則任職教師。1926年入欧柏林学院，1930年
自產生程式
自產生程式（英語：Quine），指的是輸出結果為程式自身源碼的程式。其英文名称以美國哲學家奎恩（Willard Van Orman Quine）命名， 能夠直接讀取自己源碼、讀入使用者輸入或空白的程式一般都不視為自產生程式。 这种编程思想在计算机刚刚兴起的时候就已出现。Paul Bratley发表的文章《Computer
哈佛学会
并对其领域的未来方向产生重大影响」，是「稀有而独立的天才」。 学会歷來為哈佛及其他大学培養众多知名學者，包括分析哲学家蒯因 (Willard Van Orman Quine)；第一位，也是目前為止唯一一位两次获得诺贝尔奖物理学奖的约翰·巴丁 (John Bardeen)；提出典範轉移學說的著名科学史家托马斯·库恩
全称实例化
着量词和与这些量词有关的一项陈述。但这个原理仅在惯例下成立，且词项必须实有所指。 普遍化，又称全称概括。 存在概括 存在列举 Willard Van Orman Quine; Roger F. Gibson. V.24. Reference and Modality. Quintessence. Cambridge
自然類
Inductive Inference and Its Natural Ground. MIT Press. 1993. Quine, Willard Van Orman. Natural Kinds. Nicholas Rescher (编). Essays in Honor of Carl G