Hello, my name is Dmitry Karlovsky. And you're on Core Dump , where we take various topics from computer science and deconstruct them on the shelves.

And this time we will analyze the topic of "absurdity" - why it occurs and what strange consequences the careless handling of it leads to. Let's prove that Santa doesn't exist. Let's learn to count the rulers. Let's stop the time loop. And we will elegantly overcome the century-old crisis of foundations of mathematics.

So climb the rabbit hole for a short but exciting adventure.

You can either watch a video recording , or open it in the presentation interface , or read as an article ...

Classical logic

Let's start with the very basics. What are the statements?

Within the framework of classical logic, they are either true or false. Let's designate them respectively with green and red colors.

Multi-valued logic

However, it is important to understand that the concept of truth is applicable only to correct statements, that is, those that have some meaning.

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

, — , , , — . , .

4 , ? , : .

, , . — , — "".

, , " ".

: 2*2 = 2+2. ?

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

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

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

, , , .

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

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

?

, , . . , , . — .

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

—

, , . , . " ".

, . , , . , , . .

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

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

, , , . , , . , ( ) .

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

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

" " , , . — , , . .

, , , , , . . .

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

, , . , , .

, , . 3 ..

, . , , . , , .

? ? ?

, , , , , , . ..

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

, 3 . " " . , , . .

, , . . , , .

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

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

, . , , , , , .

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

, , . . . .

, , . ? ..

: . — . , , . .

, . , , , . , . , .

, . , , - . . .

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

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

, , , , () — , .

, . , . , , , , .

, , — , . — , .

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

, , — . ? !

..

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

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

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

• /
• /
• : , /

, . . .

..

-

. , . , . , . , , .

. .