alexey_rom (alexey_rom) wrote,
alexey_rom
alexey_rom

Category:
  • Mood:

Пара обзорных статей по теоремам Гёделя

Л.Д. Беклемишев (2010). Теоремы Гёделя о неполноте и границы их применимости. I.
B. Buldt (2014). The scope of Gödel’s first incompleteness theorem

Классика тут, конечно, книга Torkel Franzén Gödel's Theorem: An Incomplete Guide to Its Use and Abuse (предназначенная для широкой публики), а эти статьи описывают современную ситуацию с т.Г. и их обобщениями в первую очередь для математиков.
Tags: логика, математика
Subscribe
  • Post a new comment

    Error

    Comments allowed for friends only

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 1 comment