deep-econom (deep_econom) wrote,
deep-econom
deep_econom

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

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

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

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    switch
    default userpic
    Help
  • 5 comments