L. Fregimus Vacerro (fregimus) wrote,
L. Fregimus Vacerro
fregimus

Categories:

Гедель у falcao

falcao пишет о Геделевой теореме о полноте (обсуждать здесь). Мне было интересно коснуться логики и полноты формальных систем только в прикладном (к вопросам о сознании) аспекте; falcao же — математик-теоретик и наиопытнейший преподаватель, и, несомненно, его математическое изложение будет одновременно и глубже, и проще для понимания, чем мое.
Tags: math, scipop
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic
  • 6 comments