Comments | deep_econom: Ликбез. Теория моделей. Теории, формальные системы.

deep_econom

Ликбез. Теория моделей. Теории, формальные системы.

Aug 12, 2021 15:34

Ликбез. Литература ( Read more... )

Comments 4

deep_econom September 4 2021, 13:03:14 UTC

Нормальные алгорифмы Маркова
тренажер для изучения универсального исполнителя
https://kpolyakov.spb.ru/prog/nma.htm

Машина Тьюринга
тренажер для изучения универсального исполнителя
https://kpolyakov.spb.ru/prog/turing.htm

Машина Поста
тренажер для изучения универсального исполнителя
https://kpolyakov.spb.ru/prog/post.htm

deep_econom January 2 2023, 19:53:51 UTC

Формализация математической теории
http://mathhelpplanet.com/static.php?p=formalizatsiya-matematicheskoy-teorii

тут про теоремы Геделя в простой форме

deep_econom January 2 2023, 19:54:31 UTC

Введение в математическую логику
Мех-мат МГУ, 1-й курс, весна 2008 г.
Л.Д. Беклемишев∗

deep_econom January 6 2023, 13:54:29 UTC

Теорема Геделя в простых доступных формах.
https://deep-econom.livejournal.com/1068403.html