Hardprob/Minimum Length Equivalent Frege Proof — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Доказательство Фреге <em>π</em> для некоторой тавтого…») |
StasFomin (обсуждение | вклад) |
||
| Строка 1: | Строка 1: | ||
<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> | <!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> | ||
| − | * Доказательство Фреге <em>π</em> для некоторой тавтогологии <em>φ</em>. | + | * [https://en.wikipedia.org/wiki/Frege_system Доказательство Фреге] <em>π</em> для некоторой тавтогологии <em>φ</em>. |
* Найти более короткое доказательство Фреге <em>π'</em> для <em>φ</em>, более короткое чем <em>π</em>, т.е. содержащая не больше символов чем <em>π</em>. | * Найти более короткое доказательство Фреге <em>π'</em> для <em>φ</em>, более короткое чем <em>π</em>, т.е. содержащая не больше символов чем <em>π</em>. | ||
* Минимизировать число символов в <em>π'</em>. | * Минимизировать число символов в <em>π'</em>. | ||
Текущая версия на 23:30, 13 апреля 2023
- Доказательство Фреге π для некоторой тавтогологии φ.
- Найти более короткое доказательство Фреге π' для φ, более короткое чем π, т.е. содержащая не больше символов чем π.
- Минимизировать число символов в π'.
Задача в лаб22 (рид-онли просмотр)