发布求助
文献互助 智能选刊 最新文献

Epistemology versus Ontology最新文献

筛选
英文 中文
Real and Ideal in Constructive Mathematics 建构数学中的实与理想
Epistemology versus Ontology Pub Date : 1900-01-01 DOI: 10.1007/978-94-007-4435-6_4
G. Sambin
{"title":"Real and Ideal in Constructive Mathematics","authors":"G. Sambin","doi":"10.1007/978-94-007-4435-6_4","DOIUrl":"https://doi.org/10.1007/978-94-007-4435-6_4","url":null,"abstract":"","PeriodicalId":131402,"journal":{"name":"Epistemology versus Ontology","volume":"86 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122731949","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
The "Middle Wittgenstein" and Modern Mathematics “中期维特根斯坦”与现代数学
Epistemology versus Ontology Pub Date : 1900-01-01 DOI: 10.1007/978-94-007-4435-6_7
Sören Stenlund
{"title":"The \"Middle Wittgenstein\" and Modern Mathematics","authors":"Sören Stenlund","doi":"10.1007/978-94-007-4435-6_7","DOIUrl":"https://doi.org/10.1007/978-94-007-4435-6_7","url":null,"abstract":"","PeriodicalId":131402,"journal":{"name":"Epistemology versus Ontology","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132171529","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Normativity in Logic 逻辑中的规范性
Epistemology versus Ontology Pub Date : 1900-01-01 DOI: 10.1007/978-94-007-4435-6_12
J. Girard
{"title":"Normativity in Logic","authors":"J. Girard","doi":"10.1007/978-94-007-4435-6_12","DOIUrl":"https://doi.org/10.1007/978-94-007-4435-6_12","url":null,"abstract":"","PeriodicalId":131402,"journal":{"name":"Epistemology versus Ontology","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114067203","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 17
Machine Translation and Type Theory 机器翻译与类型理论
Epistemology versus Ontology Pub Date : 1900-01-01 DOI: 10.1007/978-94-007-4435-6_14
Aarne Ranta
{"title":"Machine Translation and Type Theory","authors":"Aarne Ranta","doi":"10.1007/978-94-007-4435-6_14","DOIUrl":"https://doi.org/10.1007/978-94-007-4435-6_14","url":null,"abstract":"","PeriodicalId":131402,"journal":{"name":"Epistemology versus Ontology","volume":"93 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115578938","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Kant and Real Numbers 康德与实数
Epistemology versus Ontology Pub Date : 1900-01-01 DOI: 10.1007/978-94-007-4435-6_1
M. Atten
{"title":"Kant and Real Numbers","authors":"M. Atten","doi":"10.1007/978-94-007-4435-6_1","DOIUrl":"https://doi.org/10.1007/978-94-007-4435-6_1","url":null,"abstract":"","PeriodicalId":131402,"journal":{"name":"Epistemology versus Ontology","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123908621","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Evolution and Logic 进化与逻辑
Epistemology versus Ontology Pub Date : 1900-01-01 DOI: 10.1007/978-94-007-4435-6_6
Jan M. Smith
{"title":"Evolution and Logic","authors":"Jan M. Smith","doi":"10.1007/978-94-007-4435-6_6","DOIUrl":"https://doi.org/10.1007/978-94-007-4435-6_6","url":null,"abstract":"","PeriodicalId":131402,"journal":{"name":"Epistemology versus Ontology","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117228644","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Epistemology versus Ontology - Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf 认识论与本体论-论哲学和数学基础的论文在Per荣誉Martin-Löf
Epistemology versus Ontology Pub Date : 1900-01-01 DOI: 10.1007/978-94-007-4435-6
P. Dybjer, Sten Lindström, Erik Palmgren, B. G. Sundholm
{"title":"Epistemology versus Ontology - Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf","authors":"P. Dybjer, Sten Lindström, Erik Palmgren, B. G. Sundholm","doi":"10.1007/978-94-007-4435-6","DOIUrl":"https://doi.org/10.1007/978-94-007-4435-6","url":null,"abstract":"","PeriodicalId":131402,"journal":{"name":"Epistemology versus Ontology","volume":"73 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132493845","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 20
Second Order Logic, Set Theory and Foundations of Mathematics 二阶逻辑、集合论和数学基础
Epistemology versus Ontology Pub Date : 1900-01-01 DOI: 10.1007/978-94-007-4435-6_17
J. Väänänen
{"title":"Second Order Logic, Set Theory and Foundations of Mathematics","authors":"J. Väänänen","doi":"10.1007/978-94-007-4435-6_17","DOIUrl":"https://doi.org/10.1007/978-94-007-4435-6_17","url":null,"abstract":"","PeriodicalId":131402,"journal":{"name":"Epistemology versus Ontology","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130538502","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信