Самопроверяющиеся теории
От: Эйнсток Файр Мухосранск  
Дата: 05.03.20 05:37
Оценка: 17 (1)
На странице "Теория доказательств" упомянуты "самопроверяющиеся теории".

Где бы про это почитать по-подробнее, с увязкой к современным языкам программирования?
Отредактировано 05.03.2020 5:39 Эйнсток Файр . Предыдущая версия . Еще …
Отредактировано 05.03.2020 5:38 Эйнсток Файр . Предыдущая версия .
Отредактировано 05.03.2020 5:38 Эйнсток Файр . Предыдущая версия .
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.