Во-первых, вы совершаете очень распространенную ошибку: если мир т.н. непознаваемый, то это нельзя установить. Если это нельзя установить, то спор об это - религиозный) Математика/логика же оставляет нам возможность познать мир как минимум на любом наперед заданном уровне описания и как максимум - полностью, что бы это ни значило =) Бессмысленная дискуссия выйдет щас, имхо.
Во-вторых вы путаете "логики" и "формальные системы". Формальных систем действительно можно построить бесконечно много - с разными правилами вывода, аксиомами и так далее. А логика - она одна, по построению.
#реал #природа
*врывается в блоги в шапке-ушанке и с балалайкой*
Вчера на нашем Северном челнинском полюсе прямо поверх зелёных деревьев и цветущих яблонь повалил густой мокрый снег. Медвед не был бы медведом, если бы не пофоткал весь этот апокалиптец.
Вот вам немного заснеженных городских аллей:
Одинокое дерево:
И сирень, уже собравшаяся было зацвести, когда вдруг что-то пошло не так:
Медвед пришёл домой похожим на сугроб. А сегодня уже снова солнышко, от снега - ни следа, на улице +8, и до конца недели случится +20.