论文部分内容阅读
本文用模型论方法证明了关于素数的几个定理.
关于素数的几个定理
【摘 要】
：
本文用模型论方法证明了关于素数的几个定理.
【机 构】
：
北京师范大学数学学院,中央财经大学现代逻辑研究所
【出 处】
：
前沿科学
【发表日期】
：
2010年4期
其他文献
在本文中,逻辑系统(或者谓词系统)L(≤w;≤w,Qx,complete)被提出,并且一些性质被证明
澳大利亚科学家在人体免疫系统中发现了一种新的细胞类型，新发现有望让科学家研发出新药和疫苗，强化身体免疫系统针对特定可传染病菌的微生物的免疫反应。相关研究发表在最新出
来自美国加州理工学院、贝克曼研究院等机构的科研人员研发了一种新技术，能帮助科学家们获得同时具有高分辨率、高穿透深度，以及高成像速度的活体生物样品光学成像图片。这对于
近几十年来,生命科学出现了一个重要的新方向--"种内适应性差异的比较研究". 它主要发端于生活史进化生态学、行为对策生态学、逆境与协迫生物学、表型可塑性研究和进化病理
用巨大的镜子把阳光反射回太空是目前科学家正在考虑的众多用来抵御气候变化的方法之一。联合国科研组织外泄的文件显示,这些正在考虑用于地球工程学的方法,将于下周在秘鲁举
本文系统地介绍了新型生物可降解高分子材料--γ-聚谷氨酸的性质及其研究进展.同时针对国内γ-聚谷氨酸生产成本高及发酵中试放大难的问题,介绍了本研究所如何实现微生物发酵
石永进与李建华二位同志在本刊2010年第2期发表了对我们'几乎一切Mersene数与Fermat数都是素数'一文的质疑.二位同志的质疑精神是很好的!二位是从事素数研究的工作者
期刊
千百年来,人们普遍认为"耳听为虚、眼见为实".然而,事实并非如此!时空哲学在扬弃传统世界观的基础上,创立了一套全新的自然哲学体系,科学地解释了"人类通过眼睛观察到的关于
在狭义相对论文发表后,运动物体的电磁感应被认为是检验狭义相对论的重要部分.当测量这种电磁感应的精度不高时,在目前关于这些实验还没有进一步的报告.为此我们发展了一个新
加拿大科学家在茫茫太空中首次探查到了巴基球(buckyball)C60及C70的踪迹.新发现发表在7月23日出版的<科学>杂志上.自从25年前C60偶然在实验室被发现后,科学家就认为,巴基球
期刊