AM
Точно паста. Но вкус незнакомый
Size: a a a
2021 June 11
Oℕ
Переслано от Brenoritvrezorkre
* задаёт вопрос об ординальном анализе логик *
Oℕ
Переслано от Brenoritvrezorkre
Задавал, к слову
Oℕ
Переслано от Brenoritvrezorkre
В итоге статей не нахожу, но еле как нахожу статьи, по которым можно самому что-нибудь где-то как сделать; не факт, что будет возможен ординальный анализ
Oℕ
Переслано от Brenoritvrezorkre
И не сказать чтобы я какой-то умный, что дошёл до таких вопросов, до которых не дошли другие, или, слабее, до которых не дошёл в некотором смысле общий прогресс, эм, знаний вещей интеррогативного характера в данной области как логика и теория доказательств
Oℕ
Переслано от Brenoritvrezorkre
По-моему, я задаю очень простые вопросы, простые в их очевидности, а если посмотреть статьи, которые можно найти по теории доказательств, то они отнюдь не такие уж и простые
Oℕ
Переслано от Brenoritvrezorkre
Возможно, я задаю вопросы, которые не многим интересны, а может быть, что об этих вопросах все и так знают, но пока нет цельной теории, чтобы на них ответить
Oℕ
Переслано от Brenoritvrezorkre
Вот и в этих чатах, я уверен, многие задают вопросы такого же рода
Oℕ
Переслано от Brenoritvrezorkre
Если бы я был умным, я бы знал теорию доказательств как свои пять пальцев; увы, я могу сказать, что я не знаю её практически вообще.
Oℕ
Переслано от [BRM]White Rabbit
если б ты был глупым, тыб тут не сидел
AM
Боже, это кто блядь
A
Впечатляет.
TT
KS
Опять Олег из каких-то гумоноидных чатов притащил
AM
Почему это не в ебанатике?
AM
Ну, гумоноид, что с него взять
VM
очередной преисполнившийся вселенским знанием?
ᛒ
ты в левенчате был?
AM
Был, там было скучно и тихо
AM
Я немножко посмотрел и как-то ушел, попробовал запустить троллеркостер-другой, но они как-то даже не пукнули в ответ