×

找到98个文档(结果1-98)

维特根斯坦的数学哲学。基于对康托证明实数不可数性的批评的重新评估。(Wittgensteins Philosophie der Mathematik。Eine Neubeertung im Ausgang von der Kritik and Cantors Beweis der U berabzählbarkeit der reellen Zahlen。) (德语) Zbl 1467.03002号

徽标9.法兰克福:Ontos Verlag(ISBN 978-3-11-032387-0/hbk;978-3-12-032420-4/电子书)。第366页。(2006).
MSC公司:03-02 03A05号 00A30型
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

绝对普遍性。 (英语) Zbl 1374.03007号

牛津:克拉伦登出版社,牛津大学出版社(ISBN 978-0-19-927642-4/hbk;978-0-19-1927643-1/pbk)。第396页。(2006).
PDF格式BibTeX公司 XML格式引用

想象力和严谨性:在测量模糊性和做其他奇怪事情的过程中,它们之间的相互作用。 (英语) Zbl 1169.03322号

塞蒂莫·特米尼(编辑),《想象与严谨》。关于爱德华多·卡亚尼埃洛科学遗产的论文。米兰:施普林格(ISBN 978-88-470-0320-0/gbk)。157-176 (2006).
PDF格式BibTeX公司 XML格式引用

盲点。逻辑课程。一、关于完美。(Le point aveugle.Cours de logique.I.完美版。) (法语) Zbl 1243.00003号

科学愿景。巴黎:赫尔曼,《科学与艺术编辑》(ISBN 978-2-7056-6633-8)。十六、280页。(2006).
PDF格式BibTeX公司 XML格式引用

数学、思想和真实物理。雅克·劳特曼(Jacques Lautman)提出,费尔南多·扎拉米亚(Fernando Zalamea)进行研究。(《数学与体质》。) (法语) Zbl 1153.00008号

问题与争议。巴黎:图书馆哲学J.Vrin(ISBN 2-7116-1861-7/pbk)。315页。(2006).
PDF格式BibTeX公司 XML格式引用

等号:皮尔士观点。 (英语) Zbl 1175.00027号

Löwe,Benedikt(ed.)等人,《形式科学基础》IV.形式科学概念的历史。第四届会议论文,FotFS IV,德国波恩,2003年2月14-17日。伦敦:国王学院出版(ISBN 1-904987-29-X/pbk)。《逻辑研究》(伦敦)3,199-216(2006)。
PDF格式BibTeX公司 XML格式引用

希腊哲学中的逻辑、物理和预测:(x)发生了,但(y)? (英语) Zbl 1149.01003号

Löwe,Benedikt(ed.)等人,《形式科学基础》IV.形式科学概念的历史。第四届会议论文,FotFS IV,德国波恩,2003年2月14-17日。伦敦:国王学院出版物(ISBN 1-904987-29-X/pbk)。逻辑研究(伦敦)3125-142(2006)。
PDF格式BibTeX公司 XML格式引用

中世纪逻辑作为一门形式科学。调查。 (英语) Zbl 1142.01003号

Löwe,Benedikt(ed.)等人,《形式科学基础》IV.形式科学概念的历史。第四届会议论文,FotFS IV,德国波恩,2003年2月14-17日。伦敦:国王学院出版(ISBN 1-904987-29-X/pbk)。《逻辑研究》(伦敦)3,103-123(2006)。
MSC公司:01A35型 03-03 00A30型
PDF格式BibTeX公司 XML格式引用

对理解数学真理和逻辑科学感到困惑。 (英语) Zbl 1167.03003号

Löwe,Benedikt(ed.)等人,《形式科学基础》IV.形式科学概念的历史。第四届会议论文,FotFS IV,德国波恩,2003年2月14-17日。伦敦:国王学院出版社(ISBN 1-904987-29-X/pbk)。《逻辑研究》(伦敦)3,27-50(2006)。
MSC公司:03A05号 00A30型 03-03
PDF格式BibTeX公司 XML格式引用

数学中的无限。一个规范性的想法? (英语) Zbl 1156.00007号

Löwe,Benedikt(ed.)等人,《形式科学基础》IV.形式科学概念的历史。第四届会议论文,FotFS IV,德国波恩,2003年2月14-17日。伦敦:国王学院出版(ISBN 1-904987-29-X/pbk)。《逻辑研究》(伦敦)3,17-26(2006)。
MSC公司:00A30型 03A05号
PDF格式BibTeX公司 XML格式引用

正式科学领域独立性的来源。 (英语) Zbl 1151.03316号

Löwe,Benedikt(ed.)等人,《形式科学基础》IV.形式科学概念的历史。第四届会议论文,FotFS IV,德国波恩,2003年2月14-17日。伦敦:国王学院出版(ISBN 1-904987-29-X/pbk)。《逻辑研究》(伦敦)3,1-15(2006)。
MSC公司:03A05号
PDF格式BibTeX公司 XML格式引用

德德金理想理论发展过程中的方法论和形而上学。 (英语) Zbl 1164.00001号

费雷罗斯(Ferreirós)、何塞(José)等人,《现代数学的架构》。历史和哲学论文。牛津:牛津大学出版社(ISBN 0-19-856793-6/hbk)。159-186 (2006).
PDF格式BibTeX公司 XML格式引用

弗雷格和历史阐释的作用:方法论和数学基础。 (英语) Zbl 1126.01014号

费雷罗斯(Ferreirós)、何塞(José)等人,《现代数学的架构》。历史和哲学论文。牛津:牛津大学出版社(ISBN 0-19-856793-6/hbk)。47-66 (2006).
MSC公司:01A60型 00A30型 03-03
PDF格式BibTeX公司 XML格式引用

皮尔士对21世纪的贡献。 (英语) Zbl 1194.03002号

Schärfe,Henrik(编辑)等人,《概念结构:灵感与应用》。2006年7月16日至21日,第14届概念结构国际会议,2006年国际概念结构大会,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(ISBN 3-540-35893-5/pbk)。计算机科学4068课堂讲稿。人工智能课堂讲稿,54-69(2006)。
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

将对话语用学自然化。 (英语) 邮编1123.03006

van Benthem,Johan(编辑)等人,《替代逻辑的时代》。今天评估逻辑和数学哲学。基于2002年9月30日至10月4日在法国南希举行的逻辑和数学哲学见解会议。多德雷赫特:施普林格(ISBN 978-1-4020-5011-4/hbk;978-1-4020-5012-7/电子书)。《逻辑、认识论和科学的统一》3,285-297(2006)。
MSC公司:03A05号 00A30型
PDF格式BibTeX公司 XML格式引用

作为一个框架的范畴理论在re中数学结构主义的解释。 (英语) 兹比尔1122.18001

van Benthem,Johan(编辑)等人,《替代逻辑的时代》。今天评估逻辑和数学哲学。基于2002年9月30日至10月4日在法国南希举行的逻辑和数学哲学见解会议。多德雷赫特:施普林格出版社(ISBN 978-1-4020-5011-4/hbk;978-1-4020-5012-7/电子书)。《逻辑、认识论和科学的统一》3,163-179(2006)。
PDF格式BibTeX公司 XML格式引用

什么是绝对结构主义? (英语) Zbl 1124.18001号

van Benthem,Johan(编辑)等人,《替代逻辑的时代》。今天评估逻辑和数学哲学。基于2002年9月30日至10月4日在法国南希举行的逻辑和数学哲学见解会议。多德雷赫特:施普林格(ISBN 978-1-4020-5011-4/hbk;978-1-4020-5012-7/电子书)。《逻辑、认识论和科学的统一》3,151-161(2006)。
PDF格式BibTeX公司 XML格式引用

换位。 (英语) 邮编1122.00009

van Benthem,Johan(编辑)等人,《替代逻辑的时代》。评估当今的逻辑和数学哲学。基于2002年9月30日至10月4日在法国南希举行的逻辑和数学哲学见解会议。多德雷赫特:施普林格(ISBN 978-1-4020-5011-4/hbk;978-1-4020-5012-7/电子书)。《逻辑、认识论和科学的统一》3,75-86(2006)。
MSC公司:00A30型 03A05号
PDF格式BibTeX公司 XML格式引用

预测的逻辑。 (英语) Zbl 1119.03016号

Goncharov,S.S.(编辑)等人,《亚洲数理逻辑》。第九届亚洲逻辑会议记录,俄罗斯新西伯利亚,2005年8月16-19日。新泽西州哈肯萨克:世界科学(ISBN 978-981-270-045-2/hbk)。263-276 (2006).
PDF格式BibTeX公司 XML格式引用

哥德尔对有效可计算性的相互冲突的方法。 (英语) Zbl 1145.03302号

Beckmann,Arnold(编辑)等人,《计算障碍的逻辑方法》。2006年6月30日至7月5日在英国斯旺西举行的第二届欧洲可计算性会议,CiE 2006。诉讼程序。柏林:施普林格出版社(ISBN 3-540-35466-2/pbk)。计算机科学课堂讲稿3988,536-537(2006)。
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

Jaakko Hintikka的哲学。 (英语) Zbl 1119.03003号

生活哲学家图书馆30。伊利诺伊州芝加哥:公开法庭出版公司(ISBN 978-0-8126-9463-5/pbk;978-0-8226-9462-8/hbk)。第24、971页。(2006).
PDF格式BibTeX公司 XML格式引用

比混乱更大。通过概率理解复杂性。 (英语) Zbl 1114.37001号

马萨诸塞州剑桥:哈佛大学出版社(ISBN 0-674-02259-9/pbk)。十六、413页。(2006).
PDF格式BibTeX公司 XML格式引用

数学和美学。古老亲缘关系的新方法。基于2001年4月在加拿大金斯顿举行的关于美与数学野兽的会议。 (英语) Zbl 1110.00002号

CMS数学书籍/SMC数学手册25.纽约州纽约市:施普林格出版社(ISBN 978-0-387-30526-4/hbk;978-0-3807-38145-9/电子书)。xv,第288页。(2006).
PDF格式BibTeX公司 XML格式引用

维特根斯坦的数学哲学。从对康托证明实数不可数性的批评开始,走向重新评估。(Wittgensteins Philosophie der Mathematik。Eine Neubeertung im Ausgang von der Kritik and Cantors Beweis der U berabzählbarkeit der reellen Zahlen。) (德语) 兹比尔1117.03001

Studien zur Logik、Sprachphilose和Metaphyck 9。美因河畔法兰克福:Ontos Verlag(ISBN 3-938793-31-7/hbk)。第366页。98.00欧元/hbk;22.50欧元/本电子书(2006年)。
PDF格式BibTeX公司 XML格式引用

莱布尼茨-纽顿论战中的空间、时间和神学。 (英语) Zbl 1103.01007号

过程思维6。法兰克福a.M.:Ontos Verlag(国际标准图书编号3-938793-26-0/hbk)。x、 157页。69.00欧元/hbk;20.00欧元/本电子书(2006年)。
MSC公司:01A50号 00A30型 03-03
PDF格式BibTeX公司 XML格式引用

在欧几里得之后。视觉推理和图表的认识论。 (英语) Zbl 1104.00010号

CSLI课堂讲稿175.加利福尼亚州斯坦福:CSLI出版物(ISBN 1-57586-510-6/pbk;1-57586-509-2/hbk)。xii,176页。(2006).
PDF格式BibTeX公司 XML格式引用

无穷。为一个想法而奋斗的数学家。第二次修订版。(Das Unendliche.Mathematiker ringen um einen Begriff) (德语) 兹比尔1101.00006

柏林:施普林格出版社(ISBN 3-540-25797-7/pbk)。九、141页。(2006).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

现代数学的体系结构。历史和哲学论文。 (英语) 1089.00004赞比亚比索

牛津:牛津大学出版社(ISBN 0-19-856793-6/hbk)。xii,第442页。(2006).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

软件