‘философия науки’

Методика фундаментальных научных исследований

Носов А.В.   Предлагается основанный на математической логике вариант формальной методики проведения фундаментальных исследований, общей для всех областей знания.

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

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

Thanx: Hip-hoper