Доказать неразрешимость

Время создания: 24.06.2020 10:16

Раздел: Заметки - Творчество - Доказательство неразрешимости

Запись: xintrea/mytetra_db_consp11/master/data/base/1592983008no2f7au6gr/text.html на raw.githubusercontent.com

При доказательстве неразрешимости часто можно найти контрпример

При доказательстве важно использовать только формальные методы. Определиться с правилами вывода и аксиомами

MyTetra Share v.0.59