Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


Картотека статей - результаты поиска

Вид поиска
Электронный каталог НТГСПИ
Картотека газет и журналов
Картотека статей
Полнотекстовая база изданий НТГСПИ
Полнотекстовая база ВКР
Область поиска
в найденном
 Найдено в других БД:Электронный каталог НТГСПИ (13)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Математическая логика<.>)
Общее количество найденных документов : 12
Показаны документы с 1 по 10
 1-10    11-12 
1.


    Тейт, У.
    Еще одно изгнание из рая: счет становится безумным [Текст] / У. Тейт ; пер. с англ. В. В. Целищева // Философия науки. - 2007. - N 4. - С. 183-191 . - ISSN 1560-7488
УДК
^a167/168
^a510.6
ББК 87.252 + 22.12
Рубрики: Философия
   Философские вопросы и методология отдельных наук
   Математика
   Математическая логика
Кл.слова (ненормированные):
множества (математика) -- числа -- трансфинитные числа -- теория множеств
Аннотация: О теории трансфинитных чисел.


Доп.точки доступа:
Целищев, В. В. \.\; Кантор, Георг (немецкий математик ; 1845-1918) \г.\

Найти похожие
2.


    Николенко, Сергей.
    Истина в математике: от Египта к... Египту? [Текст] / С. Николенко // Знание-сила. - 2008. - N 6. - С. 63-69 . - ISSN 0130-1640
УДК
^a51(091)
^a510.6
ББК 22.1г + 22.12
Рубрики: Математика
   История математики
   Математическая логика
Кл.слова (ненормированные):
истина в математике -- математическая истина -- доказательства (математика)
Аннотация: О математической истине.


Найти похожие
3.


    Бессонов, А. В.
    Можно ли доказать тезис Черча? [Текст] / А. В. Бессонов, А. В. Хлебалин, В. В. Целищев // Философия науки. - 2008. - N 2. - С. 44-61. - Библиогр.: с. 60-61 (17 назв. ) . - ISSN 1560-7488
УДК
^a510.6
^a16
ББК 22.12 + 87.4
Рубрики: Логика
   Математика
   Математическая логика
   Общие вопросы логики
Кл.слова (ненормированные):
вычислимость (понятие) -- Тезис Черча -- Черча Тезис -- вычислимые функции -- рекурсивные функции -- алгоритмы (понятие) -- математическое доказательство
Аннотация: Целью данной статьи является обсуждение вопроса, возможно ли математическое доказательство тезиса Черча.


Доп.точки доступа:
Хлебалин, А. В.; Целищев, В. В.; Черч, Алонзо (американский логик и математик) \а.\

Найти похожие
4.


    Черепанов, Е. М.
    Простота как критерий убедительности доказательства [Текст] / Е. М. Черепанов // Философия науки. - 2010. - N 1. - С. 91-101. - Библиогр.: с. 101 (10 назв. ) . - ISSN 1560-7488
УДК
^a16
^a510.6
ББК 87.42 + 22.12
Рубрики: Логика
   Логические формы и законы
   Математика
   Математическая логика
Кл.слова (ненормированные):
доказательства (математика) -- поиски простейшего доказательства -- убедительность доказательства -- simplicity -- complexity -- proving -- algorithm
Аннотация: В работе предложены методы измерения структурной и прагматической сложности доказательств в исчислении первого порядка.


Найти похожие
5.


    Самохвалов, К. Ф.
    Физический тезис Черча [Текст] / К. Ф. Самохвалов // Философия науки. - 2010. - N 2. - С. 34-61. - Библиогр.: с. 60-61 (25 назв. ) . - ISSN 1560-7488
УДК
^a16
^a510.6
ББК 87.4 + 22.12
Рубрики: Логика
   Общие вопросы логики
   Математика
   Математическая логика
Кл.слова (ненормированные):
сверхзадачи -- Черча Тезис -- Тезис Черча -- гипервычисление
Аннотация: В статье дается методологический анализ физического тезиса Черча.


Доп.точки доступа:
Черч, Алонзо (американский логик и математик) \а.\

Найти похожие
6.


    Белякин, Н. В.
    Об основных критериях убедительности доказательства [Текст] / Н. В. Белякин, Е. М. Черепанов // Философия науки. - 2010. - N 3. - С. 31-44. - Библиогр.: с. 43-44 (8 назв. ) . - ISSN 1560-7488
УДК
^a16
^a510.6
ББК 87.42 + 22.12
Рубрики: Логика
   Логические формы и законы
   Математика
   Математическая логика
Кл.слова (ненормированные):
доказательства (математика) -- убедительность -- убедительность доказательства -- формализуемость -- компьютерные доказательства -- полнимание доказательства -- обозримость доказательства -- простота доказательства
Аннотация: В статье рассматриваются основные понятия, которые чаще всего связываются с критериями убедительности доказательства, а также отношения между этими критериями.


Доп.точки доступа:
Черепанов, Е. М.

Найти похожие
7.


    Анкин, Д. В.
    К эпистемологической интерпретации семантики [Текст] / Д. В. Анкин // Философия науки. - 2012. - № 3. - С. 29-35. - Библиогр.: с. 35 (5 назв. ) . - ISSN 1560-7488
УДК
^a1
^a510.6
ББК 87.25 + 22.12
Рубрики: Философия
   Философия науки
   Математика
   Математическая логика
Кл.слова (ненормированные):
эпистемология -- интерпретации -- истина -- семантика -- теория истины -- истины теория -- логика
Аннотация: В статье обосновывается тезис, согласно которому эпистемологическая интерпретация собственных результатов в духе корреспондентной (классической) теории истины, которую предлагает Тарский, вовсе не является обязательной.


Доп.точки доступа:
Тарский, Альфред (польско-американский математик; логик ; 1901-1983) \а.\

Найти похожие
8.


    Ладов, В. А.
    "Principia Mathematica" о природе логических парадоксов [Текст] / В. А. Ладов // Философия науки. - 2012. - № 3. - С. 36-44. - Библиогр.: с. 43-44 (7 назв. ) . - ISSN 1560-7488
УДК
^a1
^a510.6
ББК 87.25 + 22.12
Рубрики: Философия
   Философия науки
   Математика
   Математическая логика
Кл.слова (ненормированные):
логика -- парадоксы -- основания -- порочные круги -- классы -- принципы
Аннотация: Статья посвящена исследованию природы логических парадоксов. Утверждается, что принцип порочного круга, который авторы "Principia Mathematica" рассматривали как универсальное основание парадоксальности, не является таковым по отношению по крайней мере к некоторым парадоксам. В частности, парадокса класса всех стандартных классов, сформулированный Б. Расселом, имеет иную природу и должен получить объяснение своего появления исходя из иного основания, отличного от принципа порочного круга.


Доп.точки доступа:
Рассел, Бертран Артур Уильям (английский математик; философ ; 1872-1970) \б.\

Найти похожие
9.


    Ламберов, Л. Д.
    Дефляционизм и неконсервативность: проблема релевантности? [Текст] / Л. Д. Ламберов // Философия науки. - 2012. - № 3. - С. 45-52. - Библиогр.: с. 51-52 (16 назв. ) . - ISSN 1560-7488
УДК
^a1
^a510.6
ББК 87.25 + 22.12
Рубрики: Философия
   Философия науки
   Математика
   Математическая логика
Кл.слова (ненормированные):
дефляционизм -- истина -- неконсервативность -- адекватность -- теория истины -- истины теория
Аннотация: Статья посвящена рассмотрению дефляционных теорий истины и проблемы неконсервативности. Ставится вопрос о релевантности аргументов от неконсервативности при рассмотрении дефляционизма.


Найти похожие
10.


    Лобовиков, В. О.
    Применение аппарата логических исчислений для анализа традиционных проблем философии права [Текст] : формально-этический закон контрапозиции правового закона в двузначной алгебре естественного права / В. О. Лобовиков // Философия науки. - 2012. - № 3. - С. 53-64. - Библиогр.: с. 63-64 (18 назв. ) . - ISSN 1560-7488
УДК
^a1
^a510.6
^a34
ББК 87.25 + 22.12 + 67
Рубрики: Философия
   Философия науки
   Математика
   Математическая логика
   Право
   Право. Юридические науки в целом
Кл.слова (ненормированные):
алгебра логики -- принцип двойственности -- алгебра естественного права -- морально-правовая ценностная переменная -- морально-правовая ценностная функция -- морально-этическая эквивалентность -- закон естественного права -- естественного права закон -- закон позитивного права -- позитивного права закон -- закон контрапозиции -- контрапозиции закон
Аннотация: В статье исследуется дискретная математическая модель формально-этического аспекта взаимоотношения систем естественного и позитивного права. На уровне модели дается точное определение, во-первых, того отношения, в котором системы естественного и позитивного права различны и подлежат разделению и, во-вторых, того отношения и условия, в котором они тождественны.


Найти похожие
 1-10    11-12 
 
Стандартный
Расширенный
Профессиональный
По словарю
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)