论文部分内容阅读
在本文中,我们用模型论方法证明:几乎一切Mersenne数与Fermat数都是素数.
几乎一切Mersenne数与Fermat数都是素数
【摘 要】
：
在本文中,我们用模型论方法证明:几乎一切Mersenne数与Fermat数都是素数.
【机 构】
：
北京师范大学数学学院,中央财经大学人文与传媒学院,南开大学哲学系
【出 处】
：
前沿科学
【发表日期】
：
2009年3期
其他文献
本文提出了依靠科技创新,搞好节约型制造的措施和目标.指出要从节约资源,节约能源,再循环、再制造、再利用等几个方面入手,逐步完成节约型制造的预定目标,为全面建设节约型社
2000年,日本政府在第二期科学技术基本计划中提出了"50年内产生30名左右的诺贝尔奖获得者"的目标.此目标一经提出,在日本国内引起巨大反响.其中不乏反对之声.为了实现目标,日
期刊
实数的可计算函数是一个非常重要的概念,定义可计算实数函数有两个途径,第一个途径是先定义可计算实数的指标.一个可计算实数的指标是一个计算该实数的Turing机的Godel数.一
近日，中国计量科学研究院、中国科学院地质与地球物理研究所及香港科技大学展开的一项联合研究，完成了对单晶硅摩尔质量准确测量，并提出准确测量化学组成的基本原理——物质的量
文章就电子结构、电与磁现象的本质等问题进行探究,文中以正、负电子与光子可以互相转化的现象以及电磁波的相关性质等为基础,提出电子是电磁场波旋转结构的假说,且构建电子
美国普渡大学的研究人员开发出一种基于热映像的计算机图像分割算法,可使计算机迅速识别出物体的外形,即便其发生扭曲或轻度变形也不会受到影响。该技术将使机器视觉与人类视觉更加接近,可广泛应用于图像搜索、医疗影像以及