на пост Ивана Николаева от 15:26
Вы знаете, я не думаю, что сюда, к этой метафизике относится математика. Математика замкнутая формальная система. Она использует метафизику - логику, но не более того. Тут все глубже и, если хотите, хуже ) Я думаю, что Поппер пришел к выводам, что получить полностью верифицируемую систему, "до самого дна", невозможно. Поскольку требуется, так сказать, "верификация верификаторов" - а любая достаточно сложная система либо неполна, либо противоречива - именно за счет автореференций. И здесь не важно, что мы заменяем логику истинно-ложно на логику верифицируемо-неверифицируемо (опровержимо-неопровержимо). С упоминанием Геделя у Поппера я встречался, но пока это было вскользь, но, мне кажется, будет что-то подобное.