Логико-философское обоснование гипотезы о формально-этической противоречивости формальной арифметики, исследованной К. Геделем
Электронный научный архив УРФУ
Информация об архиве | Просмотр оригиналаПоле | Значение | |
Заглавие |
Логико-философское обоснование гипотезы о формально-этической противоречивости формальной арифметики, исследованной К. Геделем
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
|
|