词条 数理逻辑

数理逻辑

数理逻辑是数学的一个分支,其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。

数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑(相对于哲学逻辑),又称元数学,后者的使用现已局限于证明论的某些方面。

数理逻辑相关文献
数理逻辑
历史“数理逻辑”的名称由皮亚诺首先给出,他又称其为符号逻辑。数理逻辑在本质上依然是亚里士多德的逻辑学,但从记号学的观点来讲,它是用抽象代数来记述的。某些哲学倾向浓厚的数学家对用符号或代数方法来处理形式逻辑作过一些尝试,比如说莱布尼兹和朗伯(JohannHeinrichLambert);但他们的工作鲜为人知,后继无人。直到19世纪中叶,乔治·布尔和其后的奥古斯都·德·摩根才提出了一种处理逻辑问题的系统性的数学方法(当然不是定量性的)。亚里士多德以来的传统逻辑得到改革和完成,由此也得到了研究数学基本概念的合适工具。虽然这并不意味着1900年至1925年间的有关数学基础的争论已有了定论,但这“新”逻辑在很大程度上澄清了有关数学的哲学问题。传统的逻辑研究(参见逻辑论题列表)较偏重于“论证的形式”,而当代数理逻辑的态度也许可以被总结为对于内容的组合研究。它同时包括“语法”(例如,从一形式语言把一个文...
查看全文
数理逻辑相关标签
逻辑
数理逻辑
规则
学科&术语
家族谱大览
河南西华理氏族谱 _ 元圣裔理氏数码族谱
原书: [出版地不详] : 理氏联谊会族谱编纂委员会, 2014年. 1册(约439页) : 彩色插图, 世系表, 肖像. 注 : 理氏由姬姓,东野复姓及李姓演变而来. 最初来自官职, 理官. 因商纣王时,理姓家族面临灭族之灾,因以改姓. 其后子孙有李姓,亦有改回理姓之族人. 东野氏始祖 : 伯禽. 姓姬,亦称禽父. 西华始祖(一世) : (元末明初) 李永新. 为东野氏第69世. 原山东曲阜人,因避战乱迁居山西洪洞,后又迁至河南西华县. 永新公下三派 : 理伯玉(长门) ; 理志刚(二门) ; 理荣(三门). 伯玉公下一房(3世) : 理真. 下有二子 : 理贤 ; 理贯. 九世祖 : (明) 理鬯和,字卿云,号寒石. 芳林公之子. 伯玉公之裔. 受提拔为太子傅,并改李为理,回归本意. 志刚公下一房(3世) : 理观. 下有二子 : 理中 ; 理和. 荣公下四房(3世) : 理景(下一子 : 理芳) ; 理介(下一子 : 理英) ; 理方(下一子 : 理珍春) ; 理量(迁居开封). 理氏辈份字 : 应维勤效 习学乐平 端身安道 敏业成功 豪志德耀 尊凯禄颂. 东野氏字辈 : 枝兴衍崇绪 隆茂庆传长 广生忠厚嗣 永远贞正方 至德开宏运 达孝毓福祥 礼教培家训 信义作宝章. 散居地 : 河南省西华县等地. 书名据书衣题编目. 版心题 : 西华理氏数码族谱.
浏览:100
河南西华理氏族谱 : 元圣裔理氏数码族谱
原书: [出版地不详] : 理氏联谊会族谱编纂委员会, 2014年. 1册(约439页) : 彩色插图, 世系表, 肖像. 注 : 理氏由姬姓,东野复姓及李姓演变而来. 最初来自官职, 理官. 因商纣王时,理姓家族面临灭族之灾,因以改姓. 其后子孙有李姓,亦有改回理姓之族人. 东野氏始祖 : 伯禽. 姓姬,亦称禽父. 西华始祖(一世) : (元末明初) 李永新. 为东野氏第69世. 原山东曲阜人,因避战乱迁居山西洪洞,后又迁至河南西华县. 永新公下三派 : 理伯玉(长门) ; 理志刚(二门) ; 理荣(三门). 伯玉公下一房(3世) : 理真. 下有二子 : 理贤 ; 理贯. 九世祖 : (明) 理鬯和,字卿云,号寒石. 芳林公之子. 伯玉公之裔. 受提拔为太子傅,并改李为理,回归本意. 志刚公下一房(3世) : 理观. 下有二子 : 理中 ; 理和. 荣公下四房(3世) : 理景(下一子 : 理芳) ; 理介(下一子 : 理英) ; 理方(下一子 : 理珍春) ; 理量(迁居开封). 理氏辈份字 : 应维勤效 习学乐平 端身安道 敏业成功 豪志德耀 尊凯禄颂. 东野氏字辈 : 枝兴衍崇绪 隆茂庆传长 广生忠厚嗣 永远贞正方 至德开宏运 达孝毓福祥 礼教培家训 信义作宝章. 散居地 : 河南省西华县等地. 书名据书衣题编目. 版心题 : 西华理氏数码族谱.
浏览:0
理氏族谱(全集上下卷)
原书: [出版地不详] : 理氏族谱编辑委员会, 2007年. 合1册 : 彩色插图, 世系表, 肖像. 注 : 此谱页数及派系众多繁杂,详请查阅影像号第3页目录表. 理姓的最初来源是官职,理官. 后因商纣王时,理姓家族面临灭族之灾,因以改姓. 后代子孙有李姓,也有改回理姓之族人. 西华始祖(一世) : (元末明初) 李永新. 为东野氏第69世. 原山东曲阜人,因避战乱迁居山西洪洞,后又迁至河南西华县. 永新公下三派 : 理伯玉(长门) ; 理志刚(二门) ; 理荣(三门). 伯玉公下一房(3世) : 理真. 下有二子 : 理贤 ; 理贯. 九世祖 : (明) 理鬯和,字卿云,号寒石. 芳林公之子. 伯玉公之裔. 受提拔为太子傅,并改李为理,回归本意. 志刚公下一房(3世) : 理观. 下有二子 : 理中 ; 理和. 荣公下四房(3世) : 理景(下一子 : 理芳) ; 理介(下一子 : 理英) ; 理方(下一子 : 理珍春) ; 理量(迁居开封). 字派(19-42世) : 应为勤效 习学乐平 端身安道 敏业成功 豪志德耀 尊凯禄颂. 散居地 : 河南省西华县等地. 书名据书衣题编目.
浏览:0
理氏族谱, 1, 1369-2006
原书: [出版地不详] : 理氏族谱编辑委员会, 2007年. 合1册 : 彩色插图, 世系表, 肖像. 注 : 此谱页数及派系众多繁杂,详请查阅影像号第3页目录表. 理姓的最初来源是官职,理官. 后因商纣王时,理姓家族面临灭族之灾,因以改姓. 后代子孙有李姓,也有改回理姓之族人. 西华始祖(一世) : (元末明初) 李永新. 为东野氏第69世. 原山东曲阜人,因避战乱迁居山西洪洞,后又迁至河南西华县. 永新公下三派 : 理伯玉(长门) ; 理志刚(二门) ; 理荣(三门). 伯玉公下一房(3世) : 理真. 下有二子 : 理贤 ; 理贯. 九世祖 : (明) 理鬯和,字卿云,号寒石. 芳林公之子. 伯玉公之裔. 受提拔为太子傅,并改李为理,回归本意. 志刚公下一房(3世) : 理观. 下有二子 : 理中 ; 理和. 荣公下四房(3世) : 理景(下一子 : 理芳) ; 理介(下一子 : 理英) ; 理方(下一子 : 理珍春) ; 理量(迁居开封). 字派(19-42世) : 应为勤效 习学乐平 端身安道 敏业成功 豪志德耀 尊凯禄颂. 散居地 : 河南省西华县等地. 书名据书衣题编目.
浏览:100
1.阳逻徐氏宗谱
原书: [出版地不详] : 东海堂, 民国年间[19--?]. -- 40双叶. 残存卷四. 卷端题: 徐氏宗谱. 散居地不可考.
浏览:100
1.阳逻徐氏宗谱
原书: [出版地不详] : 东海堂, 民国年间[19--?]. -- 40双叶. 残存卷四. 卷端题: 徐氏宗谱. 散居地不可考.
浏览:100