Публікація: О теории действительных чисел
Завантаження...
Дата
2010
Назва журналу
ISSN журналу
Назва тома
Видавництво
ХНУРЭ
Анотація
Предпринимается попытка формального описания категории количества. С этой целью на языке алгебры подстановочных операций дается аксиоматическая характеристика понятий натурального числа, счета, сложения, умножения и порядка на множестве натуральных чисел. Идентифицируются первичные понятия теории положительных и произвольных рациональных чисел. Средствами логической математики проводится аксиоматическая характеризация понятий теории действительных чисел и арифметических действий над ними. В статье развиваются идеи, сформулированные в работах [1, 2].
Опис
Ключові слова
действительное число, аксиоматическая теория, алгебра подстановочных операций
Бібліографічний опис
О теории действительных чисел / М. Ф. Бондаренко и другие // Бионика интеллекта : науч.-техн. журн. – Х. : Изд-во ХНУРЭ, 2010. – Вып. 2 (73). – С. 150-158.