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

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

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