1. Электронный научный архив УрФУ
  2. 00. Общеуниверситетские коллекции
  3. Периодические и продолжающиеся издания
  4. Tempus et Memoria
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://elar.urfu.ru/handle/10995/18368
Полная запись метаданных
Поле DCЗначениеЯзык
dc.contributor.authorЛобовиков, В. О.ru
dc.contributor.authorLobovikov, V. O.en
dc.date.accessioned2013-05-16T13:10:13Z-
dc.date.available2013-05-16T13:10:13Z-
dc.date.issued2011-
dc.identifier.citationЛобовиков В. О. Логико-философское обоснование гипотезы о формально-этической противоречивости формальной арифметики, исследованной К. Геделем / В. О. Лобовиков // Известия Уральского государственного университета. Сер. 3, Общественные науки. — 2011. — N 1 (88). — С. 14-28.ru
dc.identifier.otheriuro11_no1_ss14_ad1ru
dc.identifier.urihttp://elar.urfu.ru/handle/10995/18368-
dc.description.abstractThe 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.en
dc.description.abstractСтатья посвящена формально-этическому аспекту философии математики: выносит на обсуждение результаты исследования отношений между формально-логической (семантической) непротиворечивостью и формально-этической противоречивостью (последней в работе дается точное определение). Обосновывается гипотеза о формально-этической противоречивости формальной арифметики.ru
dc.format.mimetypeapplication/pdfen
dc.language.isoruen
dc.relation.ispartofИзвестия Уральского государственного университета. Сер. 3, Общественные науки. 2011. N 1 (88)ru
dc.subjectFORMAL-LOGICAL-(SEMANTIC)en
dc.subjectFORMAL-ETHICALen
dc.subjectINCONSISTENCYen
dc.subjectCOMPLETENESSen
dc.subjectФОРМАЛЬНО-ЛОГИЧЕСКАЯ (СЕМАНТИЧЕСКАЯ)ru
dc.subjectФОРМАЛЬНО-ЭТИЧЕСКАЯru
dc.subjectПРОТИВОРЕЧИВОСТЬru
dc.subjectПОЛНОТАru
dc.titleЛогико-философское обоснование гипотезы о формально-этической противоречивости формальной арифметики, исследованной К. Геделемru
dc.title.alternativeLogical-philosophical substantiation of hypothesis about a formal-ethical inconsistency of the formal arithmetics, investigated by K. Gedelen
dc.typeArticleen
dc.typeinfo:eu-repo/semantics/articleen
dc.typeinfo:eu-repo/semantics/publishedVersionen
dc.identifier.rsihttps://elibrary.ru/item.asp?id=16163898-
local.issue1 (88)-
Располагается в коллекциях:Tempus et Memoria

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





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