собственно вопрос в том, какого ляда мы мочим друг друга не выведя формулу, что это таки надо. а вывод формулы на формальном языке. вдруг оно все разрешимо в рамках формальной логики (на формальных языках)?
начнем с того, что материализм — логически несостоятелен, ибо противоречив. достаточно упомянуть небольшой парадокс который на просторах данного форума звучал давно.
да все забыли. и вот первые нотки данного эссе будут звучать (да что там уже звучат) так же здесь.
П.С. странно то, что его (парадокса) не хватило, чтобы увлечь умы. надо было ждать (никогда бы не подумал — фильма матрица). жуть