Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://hdl.handle.net/10995/18368
Название: Логико-философское обоснование гипотезы о формально-этической противоречивости формальной арифметики, исследованной К. Геделем
Другие названия: Logical-philosophical substantiation of hypothesis about a formal-ethical inconsistency of the formal arithmetics, investigated by K. Gedel
Авторы: Лобовиков, В. О.
Lobovikov, V. O.
Дата публикации: 2011
Библиографическое описание: Лобовиков В. О. Логико-философское обоснование гипотезы о формально-этической противоречивости формальной арифметики, исследованной К. Геделем / В. О. Лобовиков // Известия Уральского государственного университета. Сер. 3, Общественные науки. — 2011. — N 1 (88). — С. 14-28.
Аннотация: Статья посвящена формально-этическому аспекту философии математики: выносит на обсуждение результаты исследования отношений между формально-логической (семантической) непротиворечивостью и формально-этической противоречивостью (последней в работе дается точное определение). Обосновывается гипотеза о формально-этической противоречивости формальной арифметики.
The paper deals with a formal-ethical aspect of philosophy of mathematics. It submits results of investigation of relations between the formal-logical (semantic) non-contradiction and a formal-ethical contradiction (the formal-ethical one is defined precisely). The paper's scientific novelty is made up by proving the formal-ethical inconsistency of the formal arithmetic.
Ключевые слова: ФОРМАЛЬНО-ЛОГИЧЕСКАЯ (СЕМАНТИЧЕСКАЯ)
ФОРМАЛЬНО-ЭТИЧЕСКАЯ
ПРОТИВОРЕЧИВОСТЬ
ПОЛНОТА
FORMAL-LOGICAL-(SEMANTIC)
FORMAL-ETHICAL
INCONSISTENCY
COMPLETENESS
URI: http://hdl.handle.net/10995/18368
Идентификатор РИНЦ: http://elibrary.ru/item.asp?id=16163898
Источники: Известия Уральского государственного университета. Сер. 3, Общественные науки. 2011. N 1 (88)
Располагается в коллекциях:Известия Уральского федерального университета. Серия 3, Общественные науки

Файлы этого ресурса:
Файл Описание РазмерФормат 
iuro-2011-88-02.pdf196,85 kBAdobe PDFПросмотреть/Открыть


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.