DennyQi's Blog

神经网络

下面我们要讨论称为“神经网络”(Neural Network)的非线性模型。

Read more »

Zorn's Lemma

Zorn's Lemma陈述如下:在偏序集中,如果的每一条链都有一个中元素作为上界,那么中存在极大元。

Read more »

哥德尔不完全性定理

在关于完备性的讨论中,我们最终得到了只要有成立,那么它当且仅当。也就是说,在一阶逻辑上,所有机械地在语法上证明成立的命题恰好就是在语义上可以由中的命题推出的。而我们意识到,有时(或等价地,)是否成立本身就是一个难以判定的问题。以自然数为例,对于自然数我们构建地非常完善的一个公理系统称为皮亚诺算术,它包括了六条基本的加法和乘法法则以及归纳法…

Read more »

© 2026 DennyQi