машина Геделя, машина Тьюринга, вывод Гентцена

заметки на обработку

Машина Гёделя 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