Поисковый запрос: (<.>S=Математическая логика<.>) |
Общее количество найденных документов : 12
Показаны документы с 1 по 10 |
|
1. 
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Тейт У.
Заглавие : Еще одно изгнание из рая: счет становится безумным
Серия: Научная жизнь
Место публикации : Философия науки. - 2007. - N 4. - С.183-191. - ISSN 1560-7488. - ISSN 1560-7488
УДК : 167/168 + 510.6
ББК : 87.252 + 22.12
Предметные рубрики: Философия
Философские вопросы и методология отдельных наук
Математика
Математическая логика
Ключевые слова (''Своб.индексиров.''): множества (математика)--числа--трансфинитные числа--теория множеств
Аннотация: О теории трансфинитных чисел.
Найти похожие
|
2.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Николенко, Сергей
Заглавие : Истина в математике: от Египта к... Египту?
Место публикации : Знание-сила. - 2008. - N 6. - С.63-69. - ISSN 0130-1640. - ISSN 0130-1640
УДК : 51(091) + 510.6
ББК : 22.1г + 22.12
Предметные рубрики: Математика
История математики
Математическая логика
Ключевые слова (''Своб.индексиров.''): истина в математике--математическая истина--доказательства (математика)
Аннотация: О математической истине.
Найти похожие
|
3.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Бессонов А. В., Хлебалин А. В., Целищев В. В.
Заглавие : Можно ли доказать тезис Черча?
Серия: Проблемы логики и методологии науки
Место публикации : Философия науки. - 2008. - N 2. - С.44-61. - ISSN 1560-7488. - ISSN 1560-7488
Примечания : Библиогр.: с. 60-61 (17 назв. )
УДК : 510.6 + 16
ББК : 22.12 + 87.4
Предметные рубрики: Логика
Математика
Математическая логика
Общие вопросы логики
Ключевые слова (''Своб.индексиров.''): вычислимость (понятие)--тезис черча--черча тезис--вычислимые функции--рекурсивные функции--алгоритмы (понятие)--математическое доказательство
Аннотация: Целью данной статьи является обсуждение вопроса, возможно ли математическое доказательство тезиса Черча.
Найти похожие
|
4.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Черепанов Е. М.
Заглавие : Простота как критерий убедительности доказательства
Серия: Проблемы логики и методологии науки
Место публикации : Философия науки. - 2010. - N 1. - С.91-101. - ISSN 1560-7488. - ISSN 1560-7488
Примечания : Библиогр.: с. 101 (10 назв. )
УДК : 16 + 510.6
ББК : 87.42 + 22.12
Предметные рубрики: Логика
Логические формы и законы
Математика
Математическая логика
Ключевые слова (''Своб.индексиров.''): доказательства (математика)--поиски простейшего доказательства--убедительность доказательства--simplicity--complexity--proving--algorithm
Аннотация: В работе предложены методы измерения структурной и прагматической сложности доказательств в исчислении первого порядка.
Найти похожие
|
5.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Самохвалов К. Ф.
Заглавие : Физический тезис Черча
Серия: Проблемы логики и методологии науки
Место публикации : Философия науки. - 2010. - N 2. - С.34-61. - ISSN 1560-7488. - ISSN 1560-7488
Примечания : Библиогр.: с. 60-61 (25 назв. )
УДК : 16 + 510.6
ББК : 87.4 + 22.12
Предметные рубрики: Логика
Общие вопросы логики
Математика
Математическая логика
Ключевые слова (''Своб.индексиров.''): сверхзадачи--черча тезис--тезис черча--гипервычисление
Аннотация: В статье дается методологический анализ физического тезиса Черча.
Найти похожие
|
6.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Белякин Н. В., Черепанов Е. М.
Заглавие : Об основных критериях убедительности доказательства
Серия: Проблемы логики и методологии науки
Место публикации : Философия науки. - 2010. - N 3. - С.31-44. - ISSN 1560-7488. - ISSN 1560-7488
Примечания : Библиогр.: с. 43-44 (8 назв. )
УДК : 16 + 510.6
ББК : 87.42 + 22.12
Предметные рубрики: Логика
Логические формы и законы
Математика
Математическая логика
Ключевые слова (''Своб.индексиров.''): доказательства (математика)--убедительность--убедительность доказательства--формализуемость--компьютерные доказательства--полнимание доказательства--обозримость доказательства--простота доказательства
Аннотация: В статье рассматриваются основные понятия, которые чаще всего связываются с критериями убедительности доказательства, а также отношения между этими критериями.
Найти похожие
|
7.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Анкин Д. В.
Заглавие : К эпистемологической интерпретации семантики
Серия: Проблемы логики
Место публикации : Философия науки. - 2012. - № 3. - С.29-35. - ISSN 1560-7488. - ISSN 1560-7488
Примечания : Библиогр.: с. 35 (5 назв. )
УДК : 1 + 510.6
ББК : 87.25 + 22.12
Предметные рубрики: Философия
Философия науки
Математика
Математическая логика
Ключевые слова (''Своб.индексиров.''): эпистемология--интерпретации--истина--семантика--теория истины--истины теория--логика
Аннотация: В статье обосновывается тезис, согласно которому эпистемологическая интерпретация собственных результатов в духе корреспондентной (классической) теории истины, которую предлагает Тарский, вовсе не является обязательной.
Найти похожие
|
8.
|
Вид документа : Статья из журнала
Шифр издания : 1/Л 154
Автор(ы) : Ладов В. А.
Заглавие : "Principia Mathematica" о природе логических парадоксов
Серия: Проблемы логики
Место публикации : Философия науки. - 2012. - № 3. - С.36-44. - ISSN 1560-7488. - ISSN 1560-7488
Примечания : Библиогр.: с. 43-44 (7 назв. )
УДК : 1 + 510.6
ББК : 87.25 + 22.12
Предметные рубрики: Философия
Философия науки
Математика
Математическая логика
Ключевые слова (''Своб.индексиров.''): логика--парадоксы--основания--порочные круги--классы--принципы
Аннотация: Статья посвящена исследованию природы логических парадоксов. Утверждается, что принцип порочного круга, который авторы "Principia Mathematica" рассматривали как универсальное основание парадоксальности, не является таковым по отношению по крайней мере к некоторым парадоксам. В частности, парадокса класса всех стандартных классов, сформулированный Б. Расселом, имеет иную природу и должен получить объяснение своего появления исходя из иного основания, отличного от принципа порочного круга.
Найти похожие
|
9.
|
Вид документа : Статья из журнала
Шифр издания : 1/Л 213
Автор(ы) : Ламберов Л. Д.
Заглавие : Дефляционизм и неконсервативность: проблема релевантности?
Серия: Проблемы логики
Место публикации : Философия науки. - 2012. - № 3. - С.45-52. - ISSN 1560-7488. - ISSN 1560-7488
Примечания : Библиогр.: с. 51-52 (16 назв. )
УДК : 1 + 510.6
ББК : 87.25 + 22.12
Предметные рубрики: Философия
Философия науки
Математика
Математическая логика
Ключевые слова (''Своб.индексиров.''): дефляционизм--истина--неконсервативность--адекватность--теория истины--истины теория
Аннотация: Статья посвящена рассмотрению дефляционных теорий истины и проблемы неконсервативности. Ставится вопрос о релевантности аргументов от неконсервативности при рассмотрении дефляционизма.
Найти похожие
|
10.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Лобовиков В. О.
Заглавие : Применение аппарата логических исчислений для анализа традиционных проблем философии права
: формально-этический закон контрапозиции правового закона в двузначной алгебре естественного права
Серия: Проблемы логики
Место публикации : Философия науки. - 2012. - № 3. - С.53-64. - ISSN 1560-7488. - ISSN 1560-7488
Примечания : Библиогр.: с. 63-64 (18 назв. )
УДК : 1 + 510.6 + 34
ББК : 87.25 + 22.12 + 67
Предметные рубрики: Философия
Философия науки
Математика
Математическая логика
Право
Право. Юридические науки в целом
Ключевые слова (''Своб.индексиров.''): алгебра логики--принцип двойственности--алгебра естественного права--морально-правовая ценностная переменная--морально-правовая ценностная функция--морально-этическая эквивалентность--закон естественного права--естественного права закон--закон позитивного права--позитивного права закон--закон контрапозиции--контрапозиции закон
Аннотация: В статье исследуется дискретная математическая модель формально-этического аспекта взаимоотношения систем естественного и позитивного права. На уровне модели дается точное определение, во-первых, того отношения, в котором системы естественного и позитивного права различны и подлежат разделению и, во-вторых, того отношения и условия, в котором они тождественны.
Найти похожие
|
|
|
|
Главная
Описание
Шлюз Z39.50
Электронный каталог НТГСПИ
Стандартный