Алонзо Чёрч

Совокупность представленных в каталоге произведений автора, рассматриваемая как единый содержательный корпус.

Основная идея

Математическое рассуждение может быть полностью описано как формальная система с помощью строго определенных правил вывода в символических языках.

Описание

Представленный корпус работает с областью формальных языков, логических исчислений и математических рассуждений. Центральной проблемой корпуса является соотношение между содержательным математическим рассуждением и его представлением в виде формальной системы с точно заданными правилами. Содержание организуется как последовательный переход от синтаксиса символических языков к построению формальных исчислений и анализу их свойств. Единство корпуса обеспечивается использованием строгих определений, правил вывода и доказательств теорем в рамках символических систем.

Произведения

Произведения, входящие в авторский корпус.

1 произведение

Портрет авторского корпуса

Распределения профиля и классификации, а также теговая структура произведений автора.

Профиль авторского корпуса

Наиболее частый полный профиль1 · 100 %

Тип реальности

метафизическая1100 %

Модель человека

рациональная1100 %

Тип воздействия

объяснение1100 %

Уровень рассмотрения

системный1100 %

Классификация авторского корпуса

Наиболее частая комбинация классификации1 · 100 %

Базовый тип текста

оригинальная модель1100 %

Тип знания

теоретическое1100 %

Уровень знания

теоретический1100 %

Культурный контекст

западная традиция1100 %

Традиция

Заполнено: 0 из 1.

Значения не указаны.

Функция текста

исследовательская1100 %

Статус текста

базовый текст1100 %

Форма изложения

учебник1100 %

Теги корпуса

Уникальных тегов: 1

Частые теги
ТегПроизведений
Математическая логика1

Характерные теги рассчитываются для корпуса от 3 произведений.

Концепты

Концепты, раскрываемые произведениями авторского корпуса.

18 концептов
КонцептПроизведений
Аксиоматический метод1
Высказывание1
Интерпретация1
Исчисление высказываний1
Исчисление предикатов1
Квантификация1
Логическая истинность1
Логический вывод1
Математическое доказательство1
Модель теории1
Непротиворечивость1
Полнота1
Разрешимость1
Семантика1
Синтаксис1
Теория типов1
Формальная система1
Формальный язык1

Соавторы

Авторы, с которыми есть совместные произведения в каталоге.

0 соавторов

Совместные произведения с другими авторами отсутствуют.

Серии

Серии, в которые входят произведения авторского корпуса.

0 серий

Произведения автора не входят в серии.

Семантически близкие авторы

Авторы с близкими устойчивыми содержательными инвариантами собственных содержательных описаний: по основной идее, характеру корпуса, содержательному инварианту, организации и механизму смыслового единства.

5 похожих авторов