Hola, mi nombre es Dmitry Karlovsky. Y estás en Core Dump , donde tomamos varios temas de la informática y los deconstruimos en los estantes.
Y esta vez analizaremos el tema del "absurdo" - por qué ocurre y qué extrañas consecuencias conduce a su manejo descuidado. Demostremos que Santa no existe. Aprendamos a contar los gobernantes. Detengamos el ciclo del tiempo. Y superaremos elegantemente la crisis centenaria de los fundamentos de las matemáticas.
AsĂ que sube a la madriguera del conejo para vivir una breve pero emocionante aventura.
Puede ver una grabaciĂłn de video , abrirla en la interfaz de presentaciĂłn o leerla como un artĂculo ...
Lógica clásica
Comencemos con lo más básico. ¿Cuáles son las declaraciones?
Dentro del marco de la lógica clásica, son verdaderas o falsas. Vamos a designarlos respectivamente con colores verde y rojo.
LĂłgica multivalor
Sin embargo, es importante entender que el concepto de verdad es aplicable solo a enunciados correctos, es decir, a aquellos que tienen algĂşn significado.
, , . , . , 2 = +
? . A = B
, , , A
B
.
, — , , , — . , .
4 , ? , : .
, , . — , — "".
, , " ".
: 2*2 = 2+2
. ?
, . , 4=4
. , , . : . . .
? , . , 4=4
, . . . , , .
, , . , . " ". , , , . , . , . , .
, , , .
, , , . , , , , . , , . - , - .
, . , , : , , . , . " " , .
?
, , . . , , . — .
, , . , , . , " ". , , .
—
, , . , . " ".
, . , , . , , . .
, - . , . , , . . " ". , ..
, . , . — . , , , . . — . , , , .
, , , . , , . , ( ) .
, " ?" , . , — , . , , .
, , . "" , . , , ...
" " , , . — , , . .
, , , , , . . .
, , , , . , , "" , . . — , — .
, , . , , .
, , . 3 ..
, . , , . , , .
? ? ?
, , , , , , . ..
, , , . , , . , , … , . , .
, 3 . " " . , , . .
, , . . , , .
, : , . — , . , , , : " — , … ".
, . , , . , , — — . "" — , .
, . , , , , , .
, , . , , , . . , . , , .
, , . . . .
, , . ? ..
: . — . , , . .
, . , , , . , . , .
, . , , - . . .
, , "". . , : , , , , , .
, , , . ? , , , . : " , ".
, , , , () — , .
, . , . , , , , .
, , — , . — , .
, , , , . : " ". , , . , .
, , — . ? !
..
- .
- .
- .
- .
- .
- — .
- .
- . , . . , , , , , . , , , .
, , : " ? ? !". . . , , . . . , . ..
, . . .
..
-
. .