您好，我叫Dmitry Karlovsky。您在Core Dump上，我们从计算机科学中提取各种主题，然后在架子上对它们进行解构。

这次我们将分析“荒谬”的主题-它为什么会发生，以及对它的粗心处理会带来什么奇怪的后果。让我们证明圣诞老人不存在。让我们学习计算统治者。让我们停止时间循环。我们将优雅地克服百年历史的数学基础危机。

因此，爬兔子洞进行短暂但令人兴奋的冒险。

您既可以观看视频录像，也可以在演示界面中将其打开，或者作为文章阅读...

古典逻辑

让我们从最基础的内容开始。有哪些陈述？

在古典逻辑的框架内，它们是对还是错。让我们分别用绿色和红色指定它们。

多值逻辑

但是，重要的是要理解，真理的概念仅适用于正确的陈述，即具有一定意义的陈述。

, , . , . , 2 = +? . A = B , , , A B .

, — , , , — . , .

4 , ? , : .

, , . — , — "".

, , " ".

: 2*2 = 2+2. ?

, . , 4=4 . , , . : . . .

? , . , 4=4 , . . . , , .

, , . , . " ". , , , . , . , . , .

, , , .

, , , . , , , , . , , . - , - .

, . , , : , , . , . " " , .

?

, , . . , , . — .

, , . , , . , " ". , , .

—

, , . , . " ".

, . , , . , , . .

, - . , . , , . . " ". , ..

, . , . — . , , , . . — . , , , .

, , , . , , . , ( ) .

, " ?" , . , — , . , , .

, , . "" , . , , ...

" " , , . — , , . .

, , , , , . . .

, , , , . , , "" , . . — , — .

, , . , , .

, , . 3 ..

, . , , . , , .

? ? ?

, , , , , , . ..

, , , . , , . , , … , . , .

, 3 . " " . , , . .

, , . . , , .

, : , . — , . , , , : " — , … ".

, . , , . , , — — . "" — , .

, . , , , , , .

, , . , , , . . , . , , .

, , . . . .

, , . ? ..

: . — . , , . .

, . , , , . , . , .

, . , , - . . .

, , "". . , : , , , , , .

, , , . ? , , , . : " , ".

, , , , () — , .

, . , . , , , , .

, , — , . — , .

, , , , . : " ". , , . , .

, , — . ? !

..

• .
• .
• .
• .
• .
• — .
• .

- . , . . , , , , , . , , , .

, , : " ? ? !". . . , , . . . , . ..

• /
• /
• : , /

, . . .

..

-

. , . , . , . , , .

. .