Записи с меткой ‘математическая логика’

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

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

Модель человеческого сознания: предпосылки, структура, применение

Большаков Н.Н., Носов А.В. Аннотация: В данной статье кратко изложены промежуточные результаты продолжающегося исследования по теоретическому описанию человеческого сознания – его устройства, свойств и использования.

Логическая модель человеческого сознания

Носов А.В. Аннотация. В статье представлена модель сознания, учитывающая материальную природу носителя сознания. Анализ модели выявил шесть качественно различных методов мышления. Рассмотрены свойства и способы формирования методов мышления. Определена нематериальность структур сознания, выполняющих наиболее сложные операции. Рассмотрено взаимодействие разных методов мышления; исследовано возникновение новой информации. Модель служит основанием для построения структурной и функциональной моделей, дающих […]

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

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

Thanx: Avdeev