【毕导】这个视频里说的都是真的，但你却永远无法证明

质数有无穷多个，如何算哥德尔数？

这里面会用到“数”这个词，指自然数。

我在这里会先以文字的形式 一层层整理出来，整理到最后，再转化成字母。

—— —— —— —— ——

第1层：不存在最大的质数

第2层：不存在质数p

p的条件：对任意一个质数q，都有p≥q

第3层：不存在质数p

p的条件：不存在质数q

q的条件：p<q

—— —— —— —— ——

专栏1：“逗号”和“且”的区别是什么？

我自己推测，“逗号”会用在：存在一个 有多个条件的数时，描述 这一个数的多个条件 之间的并列。

比如说：存在一个数a。a的条件：存在一个数b，且 a=0。这里面的“且”就会被替换为“逗号”

“且”应该就是一般的“且”

—— —— —— —— ——

专栏2：什么是质数？

质数没有除1和自身以外的因数

质数s可以表达成：

存在一个数s

s的条件：不存在数m，且 存在数n

m的条件：1<m<s

n的条件：m×n=s

—— —— —— —— ——

第4层：不存在数p，且 不存在数q，且 存在数v

p的条件：不存在数m，且 存在数n

m的条件：1<m<p

n的条件：m×n=p

q的条件：不存在数k，且 存在数l

k的条件：1<k<q

l的条件：k×l=q

v的条件：q=p+v

—— —— —— —— ——

专栏3：如何表达>、<、且？

a>b：存在数x。x的条件：a=b+x

a<b：存在数y。y的条件：b=a+y

且：非（非c 或 非d）

（这一段应该是摆烂了，照抄视频的）

（讲到这里，毕导就不讲了，接下来是我自己写的）

—— —— —— —— ——

第5层：非(存在数p，或 存在数q，或 不存在数v)

p的条件：不存在数m，且 存在数n（这里可以用“逗号”来替换“且”）

m的条件：存在数x, y

x的条件：m=1+x

y的条件：p=m+y

n的条件：m×n=p

q的条件：不存在数k，且 存在数l（这里可以用“逗号”来替换“且”）

k的条件：存在数z, w

z的条件：k=1+z

w的条件：q=k+w

l的条件：k×l=p

v的条件：q=p+v

—— —— —— —— ——

啊哈！！写完了！！！！！

接下来就只是把这一堆文字转成字母了！

正文：

~(∃p(~(∃m)(∃x(m=1+x),∃y(p=m+y)),∃n(m×n=p)),∃q(~(∃k)(∃z(k=1+z),∃w(q=k+w)),∃l(k×l=q)),∃v(q=p+v))

—— —— —— —— ——

就是这样，写完了，哥德尔数懒得算了。

逻辑学真是太有意思了.jpg