共查询到20条相似文献,搜索用时 31 毫秒
1.
十九世纪二十年代,德国数学家高斯、匈牙利数学家亚·鲍耶和俄国数学家罗巴切夫斯基分别独立地创立了非欧几何,其中以罗巴切夫斯基所发表的内容最完善,因此取名为罗氏几何学。1854年,德国数学家黎曼创立了黎曼几何。十九世纪末,德国数学家闵可夫斯基发展 相似文献
2.
4.
自古以来,大多数哲学家都十分关注数学的哲学问题,他们中有些本人就是数学家(如笛卡儿、莱布尼兹、罗素等),有些虽不是数学家,但对数学却有着十分精辟的论述(如柏拉图、康德、维特根什坦等)。另外,几乎所有重要的数学家也有哲学的兴趣,他们的数学成就往往与他们的哲学观点不可分割(如彭加勒、康托尔、希尔伯特、外尔、哥德尔、冯·诺伊曼等),他们的论述也应该予以足够的重视。本文试图对现代数学的发展及其哲学意义作一概括的介绍,不过现代数学门类繁多,挂一漏万,在所难免。 相似文献
5.
分析中国古代数学史上重要的数学著作可以看出,《周易》往往被古代数学家们视作数学发展最早的源头,而且在一些重要的数学著作中,数学家们运用《周易》中的有关概念表述数学问题,对《周易》中的数学问题及其相关问题进行深入的研究,取得了重要的数学成就。这一切足以表明《周易》对于古代数学发展具有非常重要的影响。 相似文献
6.
7.
数理逻辑是古典形式逻辑的发展,它是用数学的方法研究推论有效性的判定方法和原则的科学,也被称为符号逻辑、现代逻辑。数理逻辑的创立起源于十七世纪的数学家莱布尼兹所提出的宏大构想:建立一个“普通的符号语言”,即类似数学符号的“通用语言”,利用它来进行“思维的演算”。十九世纪初,英国数学家布尔发表了《逻辑的数学分析》一书,他用代数方法处理逻辑问题,建立了逻辑代数。 相似文献
8.
9.
早在一百多年前,法国数学家庞加莱就提出了一个著名的猜想,其简单含义是,任何一个封闭式的三维空间,如果内部的所有封闭曲线收缩成为—个点,那么 相似文献
10.
11.
12.
13.
14.
15.
由贵州大学计算机科学与信息学院主办的“国际逻辑会议LOGIC2009”于2009年9月22日在贵州大学南校区南园接待中心隆重召开。20多位逻辑学家、数学家和计算机科学家参加了会议,他们分别来自贵州大学、贵州民族学院、新加坡国立大学、中国科学院、北京师范大学、四川大学、南开大学、南京大学、 相似文献
16.
国内非线性科学哲学研究综述 总被引:7,自引:0,他引:7
非线性科学是研究非线性现象共性的一门新兴的交叉学科,产生于20世纪60—70年代,其标志是,1963年美国气象学家E.N.洛伦茨发表的“确定论的非周期流”论文,揭示确定性非线性方程存在混沌;1965年数学家N.J.查布斯基和D.克鲁斯卡尔通过电子计算机的数值实验发现孤立子;1975年美籍数学家B.B.曼德布罗特发表《分形:形态、机遇和维数》一书,创立了分形几何。它们分别表示非线性现象的三大普适类,构成非线性科学三大理论。非线性科学的产生标志着人类认识由线性现象领域进入非线性现象领域,这是人类认识史上的一次巨大飞跃。非线性科学揭示出来… 相似文献
17.
一个与卢卡西维兹不同的亚里士多德三段论形式系统 总被引:2,自引:0,他引:2
30多年前,波兰数学家、逻辑学家卢卡西维兹首次用现代逻辑的方法对亚氏三段论进行形式化的研究,并建立了亚氏三段论的形式系统(以下简称LS)。LS使用4条公理和14个断定命题(即命题逻辑的定理)。4条公理是: 相似文献
18.
19.