Extensions of the Constructivist Real Number System

来源 :理论数学进展(英文) | 被引量 : 0次 | 上传用户:wdq007
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
The paper reviews the most consequential defects and rectification of traditional mathematics and its foundations. While this work is only the tip of the iceberg, so to speak, it gives us a totally different picture of mathematics from what we have known
其他文献
The least squares method is one of the most fundamental methods in Statistics to estimate correlations among various data. On the other hand, Deep Learning is t
以Nb2O5和NaOH为原料,KOH为矿化剂,在200℃,浓度为1mol/L或2.5mol/L的碱性溶液中用水热法制备了具有正交晶系结构的NaNbO3粉体.采用XRD和FTIR对产物结构进行了表征,用SEM观察了粉体的
In this note, we discuss the definition of the S1-convexity Phenomenon. We first make use of some results we have attained for?? in the past, such as those cont
浅薄空心的禾穗才会高傲地举头向天,而丰富充实的禾穗则低头向着大地,凭一项技术领跑一个行业的株洲南方阀门股份有限公司董事长黄靖显然属于后者。从富于幻想的青年学生到脚踏
1992年12月,珠海国家高新技术产业开发区(简称珠海高新区)经国务院批准成立。16年来,区内高新技术产业快速发展,自主创新能力不断增强,为珠海市优化产业结构,推动经济社会又好又快发
Let F be a number field and p be a prime. In the successive approximation theorem, we prove that, for each integer n ≥ 1, finitely many candidates for the Galo
This paper, divided into three parts (Part II-A, Part II-B and Part II-C), contains the detailed factorizational theory of asymptotic expansions of type (?)?, ,
After developing the concept of displaced squeezed vacuum states in the non-unitary approach and establishing the connection to the unitary approach we calculat
在合肥高新区内,有一个孵化梦想、凝聚智慧的摇篮,在这里将美好的愿景和盛世蓝图变成现实的案例不胜枚举,这就是合肥国家大学科技园。
The main purpose of this article is to define the super characteristic classes on a super vector bundle over a superspace. As an application, we propose the exa