希尔伯特：论无穷 | 齐民友译 / 开普饭

元逻辑( metalogic)以形式化的逻辑系统为研究对象的一门学科.主要研究形式语言.形式系统和逻辑演算的语法和语义.其特征就是采用公理化的方法:在给出了原始符号.构成项和合式公式的形成规则.对词项 ...

现代逻辑发展史佚名现代逻辑的主流是数理逻辑,此外也包括非经典的逻辑.现代归纳逻辑和自然语言逻辑也属于现代逻辑的范围. 数理逻辑数理逻辑是一门边缘性的科学.它一方面应用数学方法研究逻辑问题,另一方 ...

数学哲学的基础问题一直是维特根斯坦(以下简称维氏)所关注的核心领域之一,无论是在其早期的<战时笔记>及<逻辑哲学论>.中期的<哲学评论>及<哲学语法>, ...

本文摘自<数学教育学报>(2015年5月),原文题目齐民友先生对数学教育若干问题的看法--齐民友先生访谈录作者为王尚志,胡典顺. 采访简介齐民友教授是中国著名的数学家,历任武汉大 ...

自问:赵之谦起始是研习何绍基的书法,为什么何绍基是圆笔而赵之谦是方笔呢? 齐白石最开始是研习吴昌硕的国画,为什么吴昌硕是圆笔而齐白石是方笔呢? 出于好奇心,我特意从今日开始讲述书法赏评! 自叙: (以 ...

原创作者:马尚元|甘肃省民勤县<望海潮·七齐> <民勤沧海>民勤沧海,巴丹腾域.古来牧场迤霓.乡野政清,民风古朴.勤劳塞外和怡.沙柳伴乌骊.紫驼跨天路,苏武传奇.虐地开荒,毁糟 ...

赵之谦 (1829-1884),会稽人,工诗文书画.书法初学颜真卿,篆隶法邓石如,后自成一格,奇倔雄强,别出时俗.篆刻一扫旧习,所作苍秀雄浑.青年时代即以才华横溢而名满海内.他在书法方面的造诣是多方面 ...

前言我们的祖国自古"以农立国",经过悠久历史岁月的积累,集中了各族人民的智慧,形成了一个先进.丰富.完备的农业生产技术科学知识体系,是我们祖先为人类创造的宝贵遗产之一.纵观历史 ...

<淮南子>卷18修务训诗解2帝王齐民公侯利民题文诗: 奉一爵酒,不知于色;挈一石尊,白汗交流; 而又况赢,天下之忧,海内事乎?远重于尊. 且夫圣人,不耻身贱,愧道不行;不忧命短, 忧百姓 ...

<齐民要术译注>(修订本) 中国古代科技名著译注丛书 [北朝] 贾思勰著缪启愉缪桂龙译注上海古籍出版社 2020年9月出版定价:96元内容介绍 <齐民要术>为 ...

赵之谦 (1829-1884),会稽人,工诗文书画.书法初学颜真卿,篆隶法邓石如,后自成一格,奇倔雄强,别出时俗.篆刻一扫旧习,所作苍秀雄浑.青年时代即以才华横溢而名满海内.他在书法方面的造诣是多方 ...

赵之谦 (1829-1884),会稽人,工诗文书画.书法初学颜真卿,篆隶法邓石如,后自成一格,奇倔雄强,别出时俗.篆刻一扫旧习,所作苍秀雄浑.青年时代即以才华横溢而名满海内.他在书法方面的造诣是多方 ...

希尔伯特：论无穷 | 齐民友译