Издревле люди размышляют об утверждении, противоречащем самому себе и называемом парадоксом лжеца. В одном из представлений его можно выразить как Это высказывание ложно
. Утверждение обросло огромным пластом рассуждений и, как утверждается, даже привело к нескольким смертельным исходам. И до сих пор оно составляет трудность для понимания, слишком часто способствующей ошибочным выводам. Их список так велик, что его перечисление составило бы значительную трудность.
В то же время вся проблематичность, по видимому, проистекает из избыточности и многослойности естественного языка, которая позволяет легко запутаться в размытых смыслах слов. Если же утверждение сформулировать с помощью языка программирования, то всё становится до неприличия простым.
