Просмотреть запись

Логико-философское обоснование гипотезы о формально-этической противоречивости формальной арифметики, исследованной К. Геделем

Электронный научный архив УРФУ

Информация об архиве | Просмотр оригинала
 
 
Поле Значение
 
Заглавие Логико-философское обоснование гипотезы о формально-этической противоречивости формальной арифметики, исследованной К. Геделем
Logical-philosophical substantiation of hypothesis about a formal-ethical inconsistency of the formal arithmetics, investigated by K. Gedel
 
Автор Лобовиков, В. О.
Lobovikov, V. O.
 
Тематика FORMAL-LOGICAL-(SEMANTIC)
FORMAL-ETHICAL
INCONSISTENCY
COMPLETENESS
ФОРМАЛЬНО-ЛОГИЧЕСКАЯ (СЕМАНТИЧЕСКАЯ)
ФОРМАЛЬНО-ЭТИЧЕСКАЯ
ПРОТИВОРЕЧИВОСТЬ
ПОЛНОТА
 
Описание 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.
Статья посвящена формально-этическому аспекту философии математики: выносит на обсуждение результаты исследования отношений между формально-логической (семантической) непротиворечивостью и формально-этической противоречивостью (последней в работе дается точное определение). Обосновывается гипотеза о формально-этической противоречивости формальной арифметики.
 
Дата 2013-05-16T13:10:13Z
2013-05-16T13:10:13Z
2011
 
Тип Article
Journal article (info:eu-repo/semantics/article)
Published version (info:eu-repo/semantics/publishedVersion)
 
Идентификатор Лобовиков В. О. Логико-философское обоснование гипотезы о формально-этической противоречивости формальной арифметики, исследованной К. Геделем / В. О. Лобовиков // Известия Уральского государственного университета. Сер. 3, Общественные науки. — 2011. — N 1 (88). — С. 14-28.
iuro11_no1_ss14_ad1
http://elar.urfu.ru/handle/10995/18368
https://elibrary.ru/item.asp?id=16163898
 
Язык ru
 
Связанные ресурсы Известия Уральского государственного университета. Сер. 3, Общественные науки. 2011. N 1 (88)
 
Формат application/pdf