孪生素数猜想的一个简单证明

对孪生素数猜想进行了探索性的测试和论证。借助Excel的计算功能,提出了一个数论IF函数。把孪生素数猜想的证明转化为IF函数的求值问题。运用Excel对IF函数值的增性(不减性)进行了测试性研究。初步证明了IF函数值的非零性与不减性。如果进一步采用数学机械证明,则有望成功解决孪生素数猜想问题。     

双生素数(P,P+N)的数量的计算公式--兼论双生素数有无限多对

利用文[1]的结果,给出一个孪生素数的计算公式,并证明此种孪生素数有无限多对.     

关于Dirac猜想的无效性

对含第一类约束的系统，导出了该系统的正则Noether第一定理和正则Noether第二定理(扩展正则Noether恒等式)。从正则Noether恒等式得到：与第一类束相联系的Lagrange乘子(约束乘子)不是任意的。这对Dirac猜想的提出产生了疑问，给出的反例表明Dirac猜想无效就很自然了。     

电磁加速黑洞的视界温度与宇宙监督假设

在荷电荷磁直线加速黑洞时空中得到了Ｄｉｒａｃ粒子的动力学方程在视界附近的渐近解,详细研究了这类黑洞在视界附近的温度函数,给出了宇宙监督假设的一种等价表述。     

关于丢番图方程x(x+1)=Dy6

设p为素数,本文证明了丢番图方程x(x+1)=Dy6在D=p时仅有正整数解(p,x,y)＝(2,1,1);在D=2p,p≠±1,士17,19(mod 72)时仅有解(p,x,y)=(3,2,1);在D=4p,p≠1,5,37,41(mod 72)时仅有正整数解(p,x,y)=(3,3,1);在D=8p时仅有解(p,x,y)=(7,7,1);在D=16p,p≠1,17(mod 72)和D=32p,p≠±1,31(mod 32)时均无正整数解.     

Goldbach猜想对于Peano公理组的条件独立性--对一些数论问题的逻辑讨论(Ⅰ)

用模型论方法证明了,在对于自然数系的Ｇｏｌｄｂａｃｈ猜想及一阶Ｐｅａｎｏ公理组的某种等 价表述下,前者在逻辑上独立于后者．此外,还宣布了一些其他结果．     

关于K arp猜想的一种新研究方法

关于图性质的Karp猜想是计算复杂性理论中的一个著名的悬而未决的问题，以往的研究方法仅仅是对某一种图性质进行研究，针对这一缺陷，给出了图性质的本质复杂性的概念，提出了以本质复杂性为基础的一种新的研究方法，这种方法的研究对象是一组满足某一特定条件的图性质，证明了只要其中一种图性质为诡的，这一组图性质均为诡的。     

两种形式的素数与挛生素数猜想

用模型论方法证明几乎一切形式为p2+4(p是素数)的数都是素数,几乎一切形式为2p+1(p是素数)的数也都是素数.并证明关于各种素数的挛生素数猜想.     

关于丢番图方程x~4+dy~4=z~2

利用分解法和无穷递降法研究了一类丢番图方程的解,结果证明了丢番图方程x4+dy4=z2,gcd(x,y)=1,这里d为整数且d≠0,在d=3n及n≡3(mod4)时,无正整数解。     

关于方程ф（x）＝ф（y）

设为Ｅｕｌｅｒ函数，Ｒ．Ｄ．Ｃａｒｍｉｃｈａｅｌ猜想：对每一正整数ｘ，存在不等于ｘ的正整数ｙ，使得作者给出方程的解的结构，利用这种结构得到探求解的算法以及Ｃａｒｍｉｃｈａｅｌ猜想的反例所满足的一些条件，Ａ．Ｓｃｈｉｎｚｅｌ猜想：对每个偶整数ｋ，方程有无穷多解．作者证明：如果存在无穷多个素数ｐ，使２ｐ－１仍为素数，则Ｓｃｈｉｎｚｅｌ猜想成立．