1. Мир как утверждение
Катастрофа на кухне
Представьте, что вы купили новейшего домашнего робота. Он идеально знает физику, но совсем не понимает человеческих намеков. Вы даёте ему команду:
«Сделай мне хороший чай»
Робот зависает, дымится или заваривает чай в ледяной воде. Почему?
Потому что «хороший» — это не точная инструкция. Для робота (и для математики) это пустой звук. Ваш «хороший» чай может быть сладким, а для друга — без сахара.
Как нам общаться с миром и технологиями так, чтобы нас понимали однозначно? Если мы строим мост, запускаем ракету или пишем программу, мы не можем использовать слова «нормальный», «красивый» или «немного».
Нам нужен язык, в котором не бывает споров.
Математика начинается не с чисел, а с умения отсекать лишнее. Чтобы превратить хаос жизни в порядок, мы используем высказывания (утверждения).
Высказывание — это такое предложение, про которое можно абсолютно точно сказать: это правда (Истина) или это неправда (Ложь). Третьего не дано.
Как проверить, является ли фраза математическим утверждением? Попробуйте представить, что вы — судья, который должен вынести вердикт прямо сейчас.
В математике утверждение похоже на выключатель света. Он либо включён, либо выключен. Нет состояния «немножко горит».
Переходим от слов к символам. Математики ленивы и не любят писать длинные слова «Истина» или «Ложь».
Мы обозначаем утверждение любой латинской буквой. Например, A.
A = «Сейчас идет дождь»У A есть значение истинности:
- Если дождь идёт, A = 1 (или True, Истина).
- Если дождь не идёт, A = 0 (или False, Ложь).
Это — бит информации. Фундамент, на котором стоит вся цифровая вселенная.
Главная мысль
Математика начинается там, где исчезает двусмысленность. Мир состоит не из эмоций, а из фактов, которые могут быть либо истинными (1), либо ложными (0). Всё остальное — это просто шум.