April 15th, 2018

Pygar

(no subject)

Теорема — утверждение, выводимое в рамках рассматриваемой теории из множества аксиом посредством использования конечного множества правил вывода.

Аксиомы, правила вывода... То есть они хотят сказать, что теоремы встречаются только в формальных системах.

Однако был в истории литературы, по крайней мере, один автор, который не постеснялся применить теоремы (причем с доказательствами!) к описанию реального мира и даже всевозможных страстей.

Э.jpg

Возражают, что это никакие не теоремы на самом деле, а всего лишь художественная форма, но все равно: вот с кого стоит брать пример по части стройности мысли.