Теорема Геделя о неполноте

Abstract

Один из наиболее интересных и непонятных законов математики - это теорема Геделя. Эта книгапоможет вам понять, что в действительности утверждает эта теорема, приводит её доказательство, а также некоторые интересные следствия этой теоремы. В конце книги обсуждается связанная с теоремой Геделя теория алгоритмов, а также рассказывается об ещё одной подобной теореме - теореме Тарского.