陈抱一

相关

• 形式系统在逻辑与数学中，一个形式系统（英语：Formal system）是由两个部分组成的，一个形式语言加上一个推理规则或转换规则的集合。大卫·希尔伯特在1921年推动以形式系统来描述数学知识 。
• 尾张国尾张国（日语：尾張国〔尾張國〕／おわりのくに〔をはりのくに〕  */?），日本古代的令制国之一，属东海道，亦称“尾州”（びしゅう），其国领约为现在爱知县的西部。
• 邓宏魁邓宏魁，男，中国生命科学家，北京大学生命科学学院教授。1984年毕业于武汉大学，获理学学士学位。1987年毕业于上海第二医科大学，获理学硕士学位。1990年至1995年在美国加州大学洛杉
• 刘毓中刘毓中（1896年－1984年），字秀山，男，陕西临潼人，中国秦腔表演艺术家，西安市秦腔剧院原副院长，第三届全国人大代表。
• 来路不明的火车《来路不明的火车》（法语：Le Train de Nulle Part，英语：The Train from Nowhere）是一部在2004年出版，由法文写成的小说。此书共223页，最大的特点是全书没有动词，作者米歇尔．塔莱（Miche
• 怀感怀感，唐朝佛教净土宗高僧，善导之徒，为日本净土宗尊为四祖（本土净土宗四祖为善道）。怀感起初在长安千福寺修行，学习唯识与戒律。后拜谒善导，善导强劝其入道场精勤念佛。撰有《释净土
• 台风桑卡 (2011年) 台风桑卡（英语：Typhoon Sonca，联合台风警报中心：19W，国际编号：1116）为2011年太平洋台风季第16个
• 查伊萨拉·瓦塔纳楠颖查伊萨拉·瓦塔纳楠颖 （泰语：ชยิสรา วัฒนะนาวิน，1998年4月2日－），出生地泰国曼谷，绰号 Jenny，为泰国的新生代女演员及模特。现为泰国第7电视台旗下艺人。Jenny于1998年4月2日出生于泰国宋卡，2019年Jenny于泰国超模大赛《Thai Supermodel Contest》获得冠军，随后加入泰国第7电视台成为旗下艺人。现就读于兰实大学建筑学系。
• 西经179度线所有坐标的地图 - OSM所有坐标的地图 - Google所有上至200个坐标的地图 - Bing西经179度线是定义于本初子午线以西179度的一条经线，其与地球另一侧的东经1度线组成一个大圆。该经线自北极点起，向南依次经过北冰洋、亚欧大陆、太平洋、南冰洋与南极洲，至南极点为终，所经之处大部分为海洋。从北极点至南极点，西经179度线向南依次经过下列地区：
• 哈马达·马迪哈马达·马迪·博莱罗（法语：Hamada Madi Boléro，1965年－）是科摩罗政治家，曾经担任过科摩罗总理和临时科摩罗总统等职位。