Самопроверяющиеся теории

	От:	Эйнсток Файр
	Дата:	05.03.20 05:37
	Оценка:	17 (1)

На странице "Теория доказательств" упомянуты "самопроверяющиеся теории".

Где бы про это почитать по-подробнее, с увязкой к современным языкам программирования?

Отредактировано 05.03.2020 5:39 Эйнсток Файр . Предыдущая версия . Еще …

Отредактировано 05.03.2020 5:38 Эйнсток Файр . Предыдущая версия .

Переместить
Удалить
Выделить ветку

Пока на собственное сообщение не было ответов, его можно удалить.

Заголовок: