AT
Может лучше ufc?
лучше собачьи бои
Size: a a a
2020 December 06
AT
R
или петушиные
а всякие пруф ас ис тенты же помогают в познании учоным?
R
типа времени меньше на пруфанье все дела...
AT
а всякие пруф ас ис тенты же помогают в познании учоным?
пока только мешают ;)
на самом деле формальные доказательства имеют гигантский объем, но сейчас во многих областях математики пришли к тому, что неформальные доказательства тоже сильно разрослись и их почти никто проверить не может
на самом деле формальные доказательства имеют гигантский объем, но сейчас во многих областях математики пришли к тому, что неформальные доказательства тоже сильно разрослись и их почти никто проверить не может
AT
это тема для отдельного подкаста, на самом деле)
R
пока только мешают ;)
на самом деле формальные доказательства имеют гигантский объем, но сейчас во многих областях математики пришли к тому, что неформальные доказательства тоже сильно разрослись и их почти никто проверить не может
на самом деле формальные доказательства имеют гигантский объем, но сейчас во многих областях математики пришли к тому, что неформальные доказательства тоже сильно разрослись и их почти никто проверить не может
то есть из явных профитов — формализация доказательств? И что их потом проще систематизировать?
AT
то есть из явных профитов — формализация доказательств? И что их потом проще систематизировать?
систематизация, автоматизация, всякие штуки для обратной математики (ты знаешь все зависимости каждой леммы)
AT
в принципе развитие формальных систем на основе полученных формальных теорий
AT
иногда формализация даже подсказывает как нужно теорию строить
R
иногда формализация даже подсказывает как нужно теорию строить
ну это звучит как эвристика уже или интуиция с переводом в систему какую-нибудь
AT
ну это звучит как эвристика уже или интуиция с переводом в систему какую-нибудь
это один из профитов формализации)
AT
"показано практикой"
R
ну это хорошо да
R
блин, а как я эт овставлю в реферат
R
можно ли вставить ссылки на понв
KC
Берешь и вставляешь вот так