Bonjour, je m'appelle Dmitry Karlovsky. Et vous êtes sur Core Dump , où nous prenons divers sujets de l'informatique et les déconstruisons sur les étagères.

Et cette fois, nous analyserons le thème de l '«absurdité» - pourquoi cela se produit et quelles sont les conséquences étranges de sa manipulation imprudente. Prouvons que le Père Noël n'existe pas. Apprenons à compter les dirigeants. Arrêtons la boucle temporelle. Et nous surmonterons élégamment la crise centenaire des fondements des mathématiques.

Alors grimpez au terrier du lapin pour une aventure courte mais passionnante.

Vous pouvez soit regarder un enregistrement vidéo , soit l' ouvrir dans l'interface de présentation , soit le lire comme un article ...

Logique classique

Commençons par les bases. Quelles sont les déclarations?

Dans le cadre de la logique classique, elles sont soit vraies soit fausses. Désignons-les respectivement avec des couleurs vertes et rouges.

Logique à valeurs multiples

Cependant, il est important de comprendre que le concept de vérité ne s'applique qu'aux déclarations correctes, c'est-à-dire à celles qui ont un sens.