Математическая энциклопедия - изоль
Связанные словари
Изоль
рекурсивной эквивалентности тип изолированного (т. е. конечного или иммунного) множества натуральных чисел. Множество всех И. континуально и является полукольцом относительно операций сложения и умножения, определяемых для произвольных типов рекурсивной эквивалентности. Это полукольцо наз. арифметикой И. Последняя обладает рядом свойств арифметики натуральных чисел, в частности в ней выполнены все универсальные хорновские формулы, элементарные подформулы к-рых представляют собой равенство так наз. комбинаторных функций. Примером такой формулы является закон сокращения: X+Z= Y+ZХ=Y. И. рассматриваются как рекурсивные аналоги мощностей конечных по Дедекинду множеств, т. е. множеств, не равномощных никакому своему собственному подмножеству.
А. Л. Семенов.
Математическая энциклопедия. — М.: Советская энциклопедия
И. М. Виноградов
1977—1985
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 551 | |
2 | 478 | |
3 | 475 | |
4 | 469 | |
5 | 451 | |
6 | 434 | |
7 | 434 | |
8 | 430 | |
9 | 420 | |
10 | 420 | |
11 | 417 | |
12 | 410 | |
13 | 400 | |
14 | 372 | |
15 | 370 | |
16 | 368 | |
17 | 362 | |
18 | 360 | |
19 | 359 | |
20 | 358 |