威拉德·范奥曼·蒯因 编辑
威拉德·范奥曼·蒯因，20世纪最有影响的美国哲学家、逻辑学家之一。出生于俄亥俄州阿克伦的富裕家庭，其父为一成功的实业家，其母则任职教师。1926年入欧柏林大学，1930年得数学与哲学学士，1932即于哈佛大学取得哲学博士学位。奎因在哈佛大学任教时为全校薪金最高的教职员。
4
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
在数理逻辑中，新基础集合论是公理化集合论的一种，由威拉德·范奥曼·蒯因构想出来作为对《数学原理》中类型论的简化。蒯因1937年于《数理逻辑的新基础》一文中首次提及NF。请注意，此条目大多是在谈论NFU，这是Jensen于1969年所提出，并由Holmes于1998年阐述的一重要变体。
在数理逻辑中，新基础集合论是公理化集合论的一种，由威拉德·范奥曼·蒯因构想出来作为对《数学原理》中类型论的简化。蒯因1937年于《数理逻辑的新基础》一文中首次提及NF。请注意，此条目大多是在谈论NFU，这是Jensen于1969年所提出，并由Holmes于1998年阐述的一重要变体。