Машина Гёделя https://metamodeling.livejournal.com/12029.html
ИИ — Гедель против Тьюринга или критика искусственного разума. Точка зрения технаря
https://habr.com/post/149291/
Гёдель против Гентцена https://akuklev.livejournal.com/1113891.html
о комбинаторах https://akuklev.livejournal.com/1121384.html
Гёдель против Гентцена https://akuklev.livejournal.com/1113891.html
о комбинаторах https://akuklev.livejournal.com/1121384.html
"универсальная логическая машина" и теоремы Гёделя
https://falcao.livejournal.com/25710.html
формальные системы имеют свои ограничения
https://deep-econom.livejournal.com/276960.html
GÖDEL MACHINE HOME PAGE
http://people.idsia.ch/~juergen/goedelmachine.html