>>6250 (OP) Если тебе это доставляет дискомфорт, то вообрази противоречие: как бесконечность действий можно осуществить за конечное время? Но вся суть, что уже будет не математика, ибо математика занимается только экзистенциальностью; это будет темой Computer Science: алгоритмическое обоснование. В этом паттерне и кроется, почему "смысла" в математической науке искать не следует: потому что самого людского смысла без понятия полиномиальности быть не может — Horen.
>>6259 Только экзистенциальностью? Horen ведь чисто экзистенциальные Horen доказательства могут %Horen такие вещи, как >Horen%% актуальная бесконечность, >Horen. hоrеn
>>6260 Экзистенциальностью, в рамках, во-первых, работ Гёделя, во-вторых, сведения к квантовой логике без потери модульного результата. Ты же под экзистенциальностью подразумеваешь платоновский мир, судя по всему: не советую быть Тегмарком. Не советую поднимать эту тему о потенциальном построении, я не буду в этом участвовать, — Horen.