Альфред Тарский: как определить истину, не сойдя с ума

Понятие «истины» веками было уделом философов. Математики старались его не касаться, считая слишком размытым. Альфред Тарский изменил это в 1933 году.
Момент прорыва:
Тарский задался вопросом: можно ли дать строгое математическое определение истины для формального языка? Он понял, что если язык говорит о самом себе (как в парадоксе Лжеца), определение истины приводит к противоречиям.
Его гениальное решение — разделить язык объекта (на котором мы пишем формулы) и метаязык (на котором мы говорим об истинности этих формул). На метаязыке он дал знаменитое T-условие:
«Снег бел» истинно тогда и только тогда, когда снег бел.»
Это звучит как тавтология, но Тарский показал, как обобщить это на любые сложные логические формулы, сведя истинность сложного утверждения к истинности его простейших частей.
Наследие:
Тарский не просто решил техническую задачу. Он показал, что понятие истины может быть точным и научным, если правильно расставить уровни языка. Его работа стала фундаментом для современной семантики и теории баз данных.
«Понятие истины, как и понятие здоровья, принадлежит к числу тех, интуиция которых кажется совершенно ясной, но которые сопротивляются всякой точной дефиниции». Альфред Тарский доказал обратное.