Записи с меткой ‘Первая теорема Геделя о неполноте’

Доказательство Первой теоремы Гёделя без применения енумерации

Предложенное самим К. Гёделем доказательство его первой теоремы о неполноте до сих пор вызывает споры. В частности, довольно часто встречаются утверждения о ее применимости исключительно в математике. Я полагаю, что предложенное доказательство может прекратить эти споры Данная статья для удобства чтения представлена в формате PDF: Gedel_teory

Thanx: Avdeev