再次申明我证明了哥德巴赫猜想成立

qhdwwh · 发表于 2024-8-28 09:37

上面的发文是用[5.1260000]区间素数97182个，用WHS筛法，筛出15个连续偶数的哥德巴赫分拆数，证明这些偶数哥德巴赫猜想成立。当然，用WHS筛法，可以证明之后的连续偶数，哥德巴赫猜想也成立。
人们能够验证很多，比如1.3亿个偶数哥德巴赫猜想成立，但是人们无法肯定下一个偶数也这样。有了WHS筛法，就可以肯定，下一个偶数哥德巴赫猜想肯定成立。
因为，只要继续用WHS筛法实践一下，科学数据就能有力证明，下一个偶数的哥德巴赫猜想成立。
用[5.1260000]区间素数97182个，能证明[10.1260008]区间63万个连续偶数哥德巴赫猜想成立。
证明1260008这个偶数哥德巴赫猜想成立，有210000个素数和合数的组合形式，共分四个类型：1，“1+1”2，“1+0”3，“0+1”4，“0+0”。其中只有“1+1”符合哥德巴赫猜想定义，即偶数只要找到一组“1+1”，则该偶数哥德巴赫猜想成立。一个区间偶数哥德巴赫猜想成立，则该偶数区间的全部偶数，都能找到至少一组“1+1”。
而其它三种组合“1+0”，“0+1”，“0+0”。的存在，证明了布朗筛法是正确的。
陈氏定理曾经是证明哥德巴赫猜想的顶峰，其意义包括“1+1”和“1+0”，其中“1+0”的0，是指p*q。
哥德巴赫猜想是指“1+1”，用WHS筛法证明，要比证明“1+1”和“1+0”，要容易和简单的多。
下面是有关摘录：
1937年，苏联数学家维诺格拉多夫证明了充分大的奇数可以表示为3个奇质数之和，这使欧拉设想中的奇数部分有了结论，剩下的只有偶数部分的命题了
1938年我国数学家华罗庚证明了几乎所有偶数都可以表示为一个质数和另一个质数的方幂之和
1938年到1956年，苏联数学家又相继证明了（5+5），（4+4），（3+3）
1957年我国数学家王元证明了（2+3）
1962年我国数学家潘承洞与苏联数学家巴尔巴恩各自独立证明了（1+5）
1963潘承洞、王元和巴尔巴恩又都证明了（1+4）
1965年，几位数学家同时证明了（1+3）
1966年，我国青年数学家陈景润在对筛选法进行了重要改进之后，终于证明了（1+2）
他的证明震惊中外，被誉为“推动了群山，”并被命名为“陈氏定理”。他证明了如下的结论：任何一个充分大的偶数，都可以表示成两个数之和，其中一个数是质数，别一个数或者是质数，或者是两个质数的乘积。
现在的证明距离最后的结果就差一步了。而这一步却无比艰难。很多年过去了，还没有能迈出这一步。许多科学家认为，要证明（1+1）以往的路走不通了，必须要创造新方法。
布朗筛法的成功，包含在WHS筛法的“1+0”“0+1”“0+0”中。
其中的0+0代表了（5+5），（4+4），（3+3），（2+3）
WHS筛法的“1+0”“0+1”代表了布朗筛法的（1+5）
（1+4）（1+3）（1+2）。

qhdwwh · 发表于 2024-8-29 09:02

      1260004       G2=5303
      p             q
1       101       1259903
2       131       1259873
3       227       1259777
4       401       1259603
5       461       1259543
6       467       1259537
7       761       1259243
8       773       1259231
9       881       1259123
10       947       1259057
11       953       1259051
12       971       1259033
...       ...       ...


      1260006       G2=11709
      p             q
1       23       1259983
2       29       1259977
3       53       1259953
4       107       1259899
5       239       1259767
6       257       1259749
7       263       1259743
8       269       1259737
9       317       1259689
10       347       1259659
11       353       1259653
12       443       1259563
13       467       1259539
14       479       1259527
15       593       1259413
16       617       1259389
17       677       1259329
18       719       1259287
19       827       1259179
20       863       1259143
21       929       1259077
22       953       1259053
23       977       1259029
24       1013       1258993
25       1103       1258903
26       1187       1258819
27       1223       1258783
28       1283       1258723
29       1289       1258717
30       1367       1258639
31       1409       1258597
32       1523       1258483
33       1583       1258423
34       1709       1258297
35       1787       1258219
36       1823       1258183
37       1907       1258099
38       1979       1258027
39       2129       1257877
40       2153       1257853
41       2417       1257589
42       2447       1257559
...       ...       ...


      1260008       G2=4912
      p             q
1       31       1259977
2       109       1259899
3       157       1259851
4       241       1259767
5       271       1259737
6       307       1259701
7       331       1259677
8       349       1259659
9       439       1259569
10       457       1259551
11       499       1259509
12       619       1259389
13       691       1259317
14       709       1259299
15       829       1259179
16       991       1259017
17       1171       1258837
18       1237       1258771
19       1291       1258717
20       1297       1258711
21       1327       1258681
22       1381       1258627
23       1567       1258441
24       1579       1258429
25       1741       1258267
26       1789       1258219
27       1801       1258207
28       1831       1258177
29       1867       1258141
30       2131       1257877
31       2179       1257829
32       2221       1257787
33       2287       1257721
34       2551       1257457
35       2677       1257331
36       2767       1257241
37       3019       1256989
38       3121       1256887
39       3187       1256821
40       3271       1256737
41       3301       1256707
42       3391       1256617
43       3559       1256449
44       3847       1256161
45       3967       1256041
46       4177       1255831
47       4261       1255747
48       4357       1255651
49       4441       1255567
50       4651       1255357
51       4729       1255279
52       4759       1255249
53       4861       1255147
54       4969       1255039
55       4987       1255021
56       5011       1254997
57       5101       1254907
58       5347       1254661
59       5431       1254577
60       5479       1254529
61       5581       1254427
62       5641       1254367
63       5791       1254217
64       5851       1254157
65       5857       1254151
66       6121       1253887
67       6247       1253761
68       6271       1253737
69       6421       1253587
70       6451       1253557
71       6529       1253479
72       6571       1253437
73       6607       1253401
74       6661       1253347
75       6841       1253167
76       6871       1253137
77       6949       1253059
78       6961       1253047
79       6997       1253011
80       7297       1252711
81       7369       1252639
82       7741       1252267
83       7789       1252219
84       7879       1252129
85       7951       1252057
86       8089       1251919
87       8101       1251907
88       8167       1251841
89       8221       1251787
90       8287       1251721
91       8311       1251697
92       8431       1251577
93       8581       1251427
94       8599       1251409
95       8707       1251301
96       8761       1251247
97       8887       1251121
98       8971       1251037
99       9091       1250917
100       9397       1250611
101       9511       1250497
102       9547       1250461
103       9601       1250407
104       9859       1250149
105       9901       1250107
106       10009       1249999
107       10069       1249939
108       10159       1249849
109       10267       1249741
110       10477       1249531
111       10531       1249477
112       10597       1249411
113       10687       1249321
114       10867       1249141
115       10909       1249099
116       11149       1248859
117       11161       1248847
118       11251       1248757
119       11287       1248721
120       11311       1248697
121       11317       1248691
122       11437       1248571
123       11617       1248391
124       11779       1248229
125       12007       1248001
126       12049       1247959
127       12211       1247797
128       12241       1247767
129       12409       1247599
130       12451       1247557
131       12589       1247419
132       12637       1247371
133       12739       1247269
134       12799       1247209
135       12841       1247167
136       12889       1247119
137       12907       1247101
138       12919       1247089
139       13297       1246711
...       ...       ...

qhdwwh · 发表于 2024-9-2 12:17

哈佛大学教授布莱迪说过：
（在https://www.bilibili.com/哔哩哔哩
网站发表的一个视频
一个尚未解决的数论难题：哥德巴赫猜想- Numberphile的摘录：）

我不知道是否有任何已知或猜测的下限，也没有人能够证明出来，但所有这些都很可能成立。
我那些做分析数字理论朋友们为证出哥德巴赫猜想拼了老命，你可能会认为我真的在研究它，你可能会认为我是个疯子，但是，因为没有人真正知道如何攻克它，有时在他们的小房间里有时在他们的阁
楼上。我相信我的很多朋友都想证明这一点，所以秘密地，所以我们在谈论哥德巴赫猜想，数学界真正的老生常谈之一。
任意给的一个大数，是有很多方法写为二个素数之和，我与之交谈的某个人说，也许这就是为什么很难证明。如果有唯一的方式，那么也许你可以找到它，你可以找出它的公式，但如果只是随便选一种，那么你将如何在大海中捞针呢，这是非常具有启发性的。对吧。
在这次小讨论中，没有证明什么，只是做了一个猜测。但事实证明这是个很好的猜测，并且有人将这些东西制成表格，写成二个素数之和的方法。

有一种叫做哥德巴赫彗星图，绘制出每一个整数可能写成二个素数之和的方法。而它的增长正如所期望的那样。...我不知道是否有任何已知或猜测的下限，也没有人能够证明出来，但所有这些都很可能成立。所以一直以来它都没有得到证明，人们已经证明了其它事情，人们围绕着它做了其它猜想。我那些做分析数字理论朋友们为证出哥德巴赫猜想拼了老命，这真的是将是一个伟大的奖项，一个伟大的革新。
你知道专业人士都避开这个话题，如果我跟你谈起哥德巴赫，你可能会认为我真的在研究它，你可能会认为我是个疯子，但是，因为没有人真正知道如何攻克它，我认为，但尽管如此，人们确实在努力，而且有时在他们的小房间里有时在他们的阁楼上，我相信我的很多朋友都想证明这一点所以秘密地。
我发誓我从来没有研究过哥德巴赫猜想，对天发誓。
......。
上面的摘录概述了哥德巴赫猜想研究的现状，哥德巴赫猜想从提出至今已经280年了，成为数学界真正的老生常谈之一。
因为任意给的一个大偶数，可以有很多方法写为二个素数之和，如果有唯一的方式，那么你可以找到它。但如果只是随便选一个偶数，那么你如何在大海中捞针呢？。
我原创的WHS筛法，因为能筛出自然数的素数集合，又能用代数方法解析筛出偶数写为二个素数之和的大海中捞针，能够成为证明哥德巴赫猜想成立的新数学方法，新的数学工具。
WHS筛法，建立在埃拉托斯特尼筛法原理和现代科学计算技术的基础上。用逻辑推理得到包括素数，合数的数学模型，应用数理逻辑的数学形式。筛出任意偶数的“1+1”集合。完全符合哥德巴赫猜想的定义。
科学共同体给出大于2的任何偶数，用WHS筛法，都能证明偶数哥德巴赫猜想成立。
没有计算机技术就没有WHS筛法。WHS筛法，是利用计算机技术的新数学方法，证明了哥德巴赫猜想成立。

WHS筛法，可以用来辅助证明“3X+1”猜想（考拉兹猜想）成立，这个猜想在上世纪30年代提出，至今已经有90年了。

qhdwwh · 发表于 2024-9-17 06:46

数学家对任意给定的一个大数，是有很多方法写为二个素数之和，，也许这就是为什么很难证明。如果有唯一的方式，数学家们想那么也许你可以找到它，你可以找出它的公式，但如果只是随便选一种，那么你将如何在大海中捞针呢，这是非常具有启发性的。
数学家们的想法是错误的。找出它的公式，即数学表达式却是做不到的，因为素数的出现没有规律性，为此，人类研究了280多年，归于失败。
我原创的WHS筛法，因为能筛出自然数的素数集合，又能用代数方法解析筛出偶数写为二个素数之和的大海中捞针，能够成为证明哥德巴赫猜想成立的新数学方法，新的数学工具。
WHS筛法，用逻辑推理得到包括素数，合数的数学模型，应用数理逻辑的数学形式。筛出任意偶数的“1+1”集合。完全符合哥德巴赫猜想的定义。
全部偶数包含在三个等差数列中，即an=6n-2, an=6n, an=6n+2, 式中 n=1，2，3，...n。
大于2的任何偶数都可以用用逻辑推理得到包括素数，合数的数学模型，应用数理逻辑的数学形式。筛出任意偶数的“1+1”集合。证明偶数的哥德巴赫猜想成立。
我用WHS筛法，用正确的科学数据找到了任意的偶数的“1+1”集合。证明这些偶数哥德巴赫猜想成立。这样的证明可以无限证明下去。证明偶数的“1+1”集合存在，每个偶数的“1+1”集合都具有确定性，唯一性。
这是用数学表达式不可能证明的数学难题。
却是用WHS筛法，能够证明哥德巴赫猜想成立具有确定性，唯一性的新数学方法。

qhdwwh · 发表于 2024-9-21 06:37

数学中国论坛主管单位是中国数学会
中国数学会是中国数学工作者的学术性法人社会团体，是中国科学技术协会的组成部分，属于副部级。
中国数学会的主要职责是组织国内外学术交流活动、编辑出版数学刊物、举办数学竞赛、组织促进数学教育改革的活动等。
中国数学会具有数学研究的软件﹑硬件﹑和人才优势。
哥德巴赫猜想是世界跨世纪的数学难题，逾280多年仍然未被攻克。
WHS筛法，因为能筛出自然数的素数集合，又能用代数方法解析，筛出大于2偶数都能写为二个素数之和，能够成为证明哥德巴赫猜想成立的新数学方法，新的数学工具。
WHS筛法，用逻辑推理得到包括素数，合数的数学模型，应用数理逻辑的数学形式。筛出大于2的任意偶数的“1+1”集合。以完全符合哥德巴赫猜想的定义，证明偶数哥德巴赫猜想成立。

素数除素数2，素数3以外，其余素数都包含在二个等差数列中：即1）an=6n-1, 2）an=6n+1, 式中 n=1，2，3，...n。
全部偶数包含在三个等差数列中，：即1）an=6n-2, 2）an=6n, 3） an=6n+2, 式中 n=1，2，3，...n。
大于2的任何偶数都可以用用逻辑推理得到包括素数，合数的数学模型，应用数理逻辑的数学形式。筛出任意偶数的“1+1”集合。
如证明1260004，1260006，1260008个偶数哥德巴赫猜想成立。
我们只要用[5，1259999]和[1259999，5]二个数学模型进行复制，用图灵机（计算机）得到210000个新的排列组合，用数理逻辑的乘，就能得到偶数1260004的哥德巴赫分拆数5303。
用相同的方法，能够筛出1260006的哥德巴赫分拆数为11709。证明偶数1260008的哥德巴赫分拆数为4912。哥德巴赫猜想成立。
大于2的任意偶数，用WHS筛法都能筛出素数“1+1”集合，只要将WHS筛法进行下去。

∵欧几里得证明了素数无上限，由素数定理，偶数哥德巴赫猜想成立同理无上限，
∴哥德巴赫猜想成立。

qhdwwh · 发表于 2024-9-24 11:13

哥德巴赫猜想是世界跨世纪的数学难题，已逾280多年。
虽然我申明证明了哥德巴赫猜想成立，并且给出很多偶数哥德巴赫猜想成立的实例。证明WHS筛法是正确的证明哥德巴赫猜想成立的数学方法。但是未被数学界肯定﹑承认。
作为个人，只能继续坚持，我坚信真理是不会被埋没的。实践是检验真理的标准是千真万确的。
只要中国数学会提出任何偶数，我用WHS筛法就能找到偶数的素数“1+1”集合，证明偶数哥德巴赫猜想成立。
哥德巴赫猜想是世界跨世纪的数学难题，应该被世界数学界认可，我愿意接受世界数学界的严格审查，请国际数学联盟参与进行审查，直到无异议为止。
审查是繁重的系统工程，希望得到数学界的支持和帮助，并表示诚挚的感谢。

qhdwwh · 发表于 2024-9-27 09:34

用数学逻辑推理可以得到素数和相关合数排列的数学模型，用数理逻辑的数学形式可以得到任意大于2的偶数写成素数“1+1”集合，证明偶数的哥德巴赫猜想成立。全部数学过程都符合数学逻辑推理，因此是正确的﹑唯一的。
欧几里得证明了素数无上限，因此哥德巴赫猜想成立也没有上限，由高斯素数定理，和WHS筛法能得到任意大于2的偶数都可以表示成二个素数之和。这，只要复制相关数学模型就能做到。
可见，哥德巴赫猜想成立既能够证明，又能用实践进行验证。
中国数学会，只要参与实践，就能肯定或否定这个数学新方法（不需要很长时间）。但相当长时间过去了，未见任何反响。
我的观点发表在数学中国论坛。如果国外数学界能见到，也请发表意见或质疑，本人表示感谢！。

qhdwwh · 发表于 2024-9-30 06:40

摘自：图灵机工作原理，《虚实世界》P52页《千禧年难题PNP的逻辑证明》
摘要":图灵的图灵机工作原理。这个装置包含一条无限长的磁带，上面划有小格，每一格上包含符号0或1，另有一个能够呈几种状态的读写头。读写头可以沿着磁带逐格移动，每一步执行下列行为中一项:在当前格子中书写1，在当前格子中书写0，向左移动一格，向右移动一格，将当前状态改写为另一状态，保持当前状态，停机。
就这样，读写头的每一步仅有这7种可能性。但图灵指出，对上述有限行为进行组合的机器，能够计算任何可被计算的过程。"由天气预报的逻辑真值表可构成P，NP关系的逻辑架构，将图灵机读写头的移动和状态直接用0，1逻辑代数表达式表达运算，可得出P，NP关系的逻辑真值表。
结论:由逻辑真值表可得出，存在前提S=1，则至少有一个P问题等于NP问题即P←→NP(P=NP)，对所有的类P及类NP问题，则有P=NP，也有P≠NP
NP就是Non-deterministic Polynomial的问题，也即是多项式复杂程度的非确定性问题。假设P ≠ NP的图解。若P = NP则三类相同。而如果任何一个NP问题都能通过一个多项式时间算法转换为某个NP问题，那么这个NP问题就称为NP完全问题(Non-deterministic Polynomial complete problem)。NP完全问题也叫做NPC问题。
有些计算问题是确定性的，比如加减乘除之类，你只要按照公式推导，按部就班一步步来，就可以得到结果。但是，有些问题是无法按部就班直接地计算出来。比如，找大质数的问题。有没有一个公式，你一套公式，就可以一步步推算出来，下一个质数应该是多少呢?这样的公式是没有的。再比如，大的合数分解质因数的问题，有没有一个公式，把合数代进去，就直接可以算出，它的因子各自是多少?也没有这样的公式。
这种问题的答案，是无法直接计算得到的，只能通过间接的"猜算"来得到结果。这就是非确定性问题。而这些问题的通常有个算法，它不能直接告诉你答案是什么，但可以告诉你，某个可能的结果是正确的答案还是错误的。这个可以告诉你"猜算"的答案正确与否的算法，假如可以在多项式时间内算出来，就叫做多项式非确定性问题。而如果这个问题的所有可能答案，都是可以在多项式时间多流水线调度实际上是一个NP完全问题内进行正确与否的验算的话，就叫完全多项式非确定问题。
完全多项式非确定性问题可以用穷举法得到答案，一个个检验下去，最终便能得到结果。但是这样算法的复杂程度，是指数关系，因此计算的时间随问题的复杂程度成指数的增长，很快便变得不可计算了。
人们发现，所有的完全多项式非确定性问题，都可以转换为一类叫做满足性问题的逻辑运算问题。既然这类问题的所有可能答案，都可以在多项式时间内计算，人们于是就猜想，是否这类问题存在一个确定性算法，可以在多项式时间内直接算出或是搜寻出正确的答案呢?这就是著名的NP=P?的猜想。
解决这个猜想，是找到一个这样的算法，找到素数和其它素数相加得到偶数，即“1+1”只要针对特定NP完全问题找到一个算法，

笔者：这个算法用WHS筛法做到了。对确定的偶数用WHS筛法找到素数和其它素数相加得到该偶数，即“1+1”集合。
这是针对特定NP完全问题找到的一个算法，
所有这类问题都可以迎刃而解了，因为他们可以转化为同一个问题。
对上述有限行为进行组合的机器，能够计算任何可被计算的过程。"由哥德巴赫猜想定义逻辑真值表可构成P，NP关系的逻辑架构，将计算机输入状态直接用0，1逻辑代数表达式表达运算，可得出P，NP关系的逻辑真值表。
结论:由逻辑真值表可得出，存在前提S=1，则至少有一个P问题等于NP问题即P←→NP(P=NP)，对所有的类P及类NP问题，则有P=NP，也有P≠NP
NP就是Non-deterministic Polynomial的问题，也即是多项式复杂程度的非确定性问题。

现在，更先进计算机取代了图灵机。对类P及类NP问题，有P=NP。
WHS筛法可以快速﹑正确﹑唯一给出大于2的任何偶数都能表示成二个素数之和的科学数据，这个数学新方法确实能证明哥德巴赫猜想成立。
中国数学会，国际数学联盟如果审查这个数学新方法，一定会被该方法的简单，有效，容易理解接受而感动，一个数学新方法，能用来证明280多年的数学难题，证明了创新才是科学发展之路的正确。

qhdwwh · 发表于 2024-10-3 09:59

实践是检验真理的唯一标准。
用WHS筛法能够证明哥德巴赫猜想成立。
哥德巴赫猜想的定义：
（1）任何一个大于2的偶数都可以表示为两个素数之和；
（2）任何一个大于5的奇数是3个素数之和。
哥德巴赫猜想从提出至今已近280多年了。在人类已经涉及到的素数，和将要研究的素数范围内，用WHS筛法可以实践证明﹑验证哥德巴赫猜想成立.证明符合逻辑推理，数理逻辑的数学形式能筛出偶数的1+1素数集合构成，且完全符合逻辑推理，∴是正确﹑简单﹑唯一的。
证明哥德巴赫猜想成立，这不只是人们的愿望，而是能够实际做到的事情，是人类的科学系统工程。

首先，应该选择：是用实践证明﹑验证WHS筛法是正确的数学方法，能够证明哥德巴赫猜想成立。还是理论脱离实际继续空想下去。这一切都取决于科学共同体的决定。
中国数学会﹑国际数学联盟﹑美国克雷数学研究所等，可以提出任何偶数，我用WHS筛法给出这些偶数哥德巴赫猜想成立的正确答案。证明WHS筛法是正确的数学新方法。
科学真理的长河没有穷尽，但是人类可以证明长河的任何一段确实客观存在。而且可以证明后面的真理长河依然客观存在。
用WHS筛法能够证明偶数哥德巴赫猜想成立，并且能给出偶数哥德巴赫猜想成立的确定性，但确定性不是用数学表达式得到的，而是用数学新方法WHS筛法得到的。
∴哥德巴赫猜想成立。

qhdwwh · 发表于 2024-10-6 18:45

本人与chatGPT4.0的交流内容。

chatGPT4.0的回复：
如果您找到一种数学方法，能够证明对于任何大于2的偶数，哥德巴赫猜想都能成立，那么这确实算是对哥德巴赫猜想的正式证明。
解释：
1.普遍适用性：数学证明要求对所有符合条件的情况都成立。在哥德巴赫猜想中，这意味您的方法必须适用于所有大于2的偶数，而不仅仅是某些特定的偶数。
2.逻辑的严谨性：证明需要基于严密的逻辑推理和数学定理，不能依赖未验证的假设或经验性的观察。
3.超越计算验证：与有限范围内的计算验证不同，数学证明提供了一种一般性的论证，确保在无限集合中每个元素都满足特定性质。
结论：
如果您成功构建了这样一个普遍适用且逻辑严谨的数学方法，并证明哥德巴赫猜想对所有大于2的偶数都成立，那么这将被数学界承认为对该猜想的正式证明。这将是数学史上的一项重大突破。
建议：
*发表您的成果：如果您认为自己完成了这样的证明，建议您将提交给权威的数学期刊进行同行评议。
*咨询专家：您也可以与专业的数论学家交流，获取对您证明的反馈和建议。

chatGPT4.0认为：能找到一种数学方法，能够证明对于任何大于2的偶数，哥德巴赫猜想都成立，那么这确实算是对哥德巴赫猜想的正式证明。
WHS筛法，能够证明对于任何大于2的偶数，哥德巴赫猜想都成立，如对10的8次方...96次方...充分大偶数的1000多次方...等等。
WHS筛法的任何过程都严格符合逻辑推理，数理逻辑筛出偶数“1+1”的素数集合，给出了哥德巴赫猜想成立的充分﹑正确﹑唯一的证明。同样符合逻辑推理。
符合逻辑推理的证明都是对的。
数学方法正确，用这样的方法得出的数学结果同样正确。因为，只要用实践检验结论正确自明。
只要数学界认为有必要，用WHS筛法，可以方便，正确证明哥德巴赫猜想成立。
哥德巴赫猜想是数学界存在280多年的难题，有了发达的计算科学技术，哥德巴赫猜想的证明才有可能，科学无国界。

		自动登录	找回密码
密码			注册