Please use this identifier to cite or link to this item:
http://elar.urfu.ru/handle/10995/18368
Title: | Логико-философское обоснование гипотезы о формально-этической противоречивости формальной арифметики, исследованной К. Геделем |
Other Titles: | Logical-philosophical substantiation of hypothesis about a formal-ethical inconsistency of the formal arithmetics, investigated by K. Gedel |
Authors: | Лобовиков, В. О. Lobovikov, V. O. |
Issue Date: | 2011 |
Citation: | Лобовиков В. О. Логико-философское обоснование гипотезы о формально-этической противоречивости формальной арифметики, исследованной К. Геделем / В. О. Лобовиков // Известия Уральского государственного университета. Сер. 3, Общественные науки. — 2011. — N 1 (88). — С. 14-28. |
Abstract: | 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. Статья посвящена формально-этическому аспекту философии математики: выносит на обсуждение результаты исследования отношений между формально-логической (семантической) непротиворечивостью и формально-этической противоречивостью (последней в работе дается точное определение). Обосновывается гипотеза о формально-этической противоречивости формальной арифметики. |
Keywords: | FORMAL-LOGICAL-(SEMANTIC) FORMAL-ETHICAL INCONSISTENCY COMPLETENESS ФОРМАЛЬНО-ЛОГИЧЕСКАЯ (СЕМАНТИЧЕСКАЯ) ФОРМАЛЬНО-ЭТИЧЕСКАЯ ПРОТИВОРЕЧИВОСТЬ ПОЛНОТА |
URI: | http://elar.urfu.ru/handle/10995/18368 |
RSCI ID: | https://elibrary.ru/item.asp?id=16163898 |
Origin: | Известия Уральского государственного университета. Сер. 3, Общественные науки. 2011. N 1 (88) |
Appears in Collections: | Tempus et Memoria |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
iuro-2011-88-02.pdf | 196,85 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.