Карта → город

Варшава

1 событие · 1 линия истории математики

1. 1
   1933

   Тарский: истина невыразима изнутри

   Математическая логика

   Что значит «высказывание истинно»? Тарский даёт первое строгое определение — и тут же доказывает, что внутри самого языка такое определение невозможно. Родная сестра теоремы Гёделя, объясняющая, почему у неполноты нет обходного пути.