Halo, nama saya Dmitry Karlovsky. Dan Anda berada di Core Dump , tempat kami mengambil berbagai topik dari ilmu komputer dan mendekonstruksinya di rak.
Dan kali ini kita akan menganalisis topik "absurditas" - mengapa hal itu muncul dan konsekuensi aneh apa yang ditimbulkan oleh penanganan yang ceroboh itu. Mari kita buktikan bahwa Sinterklas tidak ada. Mari belajar menghitung penggaris. Mari hentikan putaran waktu. Dan kami akan dengan elegan mengatasi krisis dasar-dasar matematika berusia seabad.
Jadi daki lubang kelinci untuk petualangan singkat tapi mengasyikkan.
Anda dapat menonton rekaman video , atau membukanya di antarmuka presentasi , atau membaca sebagai artikel ...
Logika klasik
Mari kita mulai dengan yang paling dasar. Apa pernyataannya?
Dalam kerangka logika klasik, mereka bisa benar atau salah. Mari tentukan masing-masing dengan warna hijau dan merah.
Logika multi-nilai
Namun, penting untuk dipahami bahwa konsep kebenaran hanya berlaku untuk pernyataan yang benar, yaitu pernyataan yang memiliki arti.
, , . , . , 2 = +
? . A = B
, , , A
B
.
, β , , , β . , .
4 , ? , : .
, , . β , β "".
, , " ".
: 2*2 = 2+2
. ?
, . , 4=4
. , , . : . . .
? , . , 4=4
, . . . , , .
, , . , . " ". , , , . , . , . , .
, , , .
, , , . , , , , . , , . - , - .
, . , , : , , . , . " " , .
?
, , . . , , . β .
, , . , , . , " ". , , .
β
, , . , . " ".
, . , , . , , . .
, - . , . , , . . " ". , ..
, . , . β . , , , . . β . , , , .
, , , . , , . , ( ) .
, " ?" , . , β , . , , .
, , . "" , . , , ...
" " , , . β , , . .
, , , , , . . .
, , , , . , , "" , . . β , β .
, , . , , .
, , . 3 ..
, . , , . , , .
? ? ?
, , , , , , . ..
, , , . , , . , , β¦ , . , .
, 3 . " " . , , . .
, , . . , , .
, : , . β , . , , , : " β , β¦ ".
, . , , . , , β β . "" β , .
, . , , , , , .
, , . , , , . . , . , , .
, , . . . .
, , . ? ..
: . β . , , . .
, . , , , . , . , .
, . , , - . . .
, , "". . , : , , , , , .
, , , . ? , , , . : " , ".
, , , , () β , .
, . , . , , , , .
, , β , . β , .
, , , , . : " ". , , . , .
, , β . ? !
..
- .
- .
- .
- .
- .
- β .
- .
- . , . . , , , , , . , , , .
, , : " ? ? !". . . , , . . . , . ..
, . . .
..
-
. .