Словарик философствующего информатика: различия между версиями

Неформализуемое понятие — понятие, смысл которого
зависит от контекста и меняется таким образом, что противоречит любой его
[[#формализации|формализации]]. В жизни это такие понятия, как любовь, добро, в
математике — теория множеств (как её ни формализуй, обязательно найдется
необходимое для математических построений свойство, которое не выполнено).
481

правка