Информация об изменениях

Сообщение Самопроверяющиеся теории от 05.03.2020 5:37

Изменено 05.03.2020 5:38 Эйнсток Файр

Самопроверяющиеся теории
На странице
https://ru.wikipedia.org/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D0%B4%D0%BE%D0%BA%D0%B0%D0%B7%D0%B0%D1%82%D0%B5%D0%BB%D1%8C%D1%81%D1%82%D0%B2
упомянуты "самопроверяющиеся теории".

Где бы про это почитать по-подробнее, с увязкой к современным языкам программирования?
Самопроверяющиеся теории
На странице
Теория доказательств"
упомянуты "самопроверяющиеся теории".

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