罗素-一流百科

类型理论的历史

类型理论的历史类型理论最初是为了避免各种形式逻辑和重写系统中的悖论而产生的。后来，类型理论指的是一类形式系统，其中一些可以作为天真的集合理论的替代...

词条百科

可还原性公理

简介可还原性公理是由伯特兰-罗素在20世纪初提出的，作为他的类型的ramified理论的一部分。罗素设计并介绍了公理，试图管理的矛盾，他已经发现在他的分析集合...

词条百科

类型理论

简介在数学、逻辑学和计算机科学中，类型理论是对特定类型系统的正式表述，一般来说，类型理论是对类型系统的学术研究。一些类型理论作为集合理论的替代品，...

词条百科

J.S.Investment

JS INVESTMENT简介JS Fund起源于北美，其创始团队和管理团队均有罗素大学联盟和常青藤联盟名校的教育背景。JS的投资人主要来自于全球性机构投资人，大学捐赠...

企业百科