Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://elar.urfu.ru/handle/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://elar.urfu.ru/handle/10995/18368 |
Идентификатор РИНЦ: | https://elibrary.ru/item.asp?id=16163898 |
Источники: | Известия Уральского государственного университета. Сер. 3, Общественные науки. 2011. N 1 (88) |
Располагается в коллекциях: | Tempus et Memoria |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
iuro-2011-88-02.pdf | 196,85 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.