Подробное описание документа

Карпенко А. С.
   Логики Лукасевича и простые числа / Карпенко А. С. ; Российская академия наук, Институт философии. - М. : Наука, 2000. - V, C.11-318  : ил. - Библиогр.: с. 283-308. - ISBN 5-02-013048-6.

В книге впервые в мировой литературе устанавливается прямая связь между логикой и простыми числами. Хотя многозначные логики Лукасевича явились результатом опровержения фаталистического аргумента Аристотеля, их функциональные свойства имеют чисто теоретико-числовую природу. Изучение этого факта позволило дать определение понятия простого числа в логических терминах. Появилась реальная возможность выявить структуру последних. В итоге простые числа можно представить в виде корневых деревьев. Комбинирование различных логических определений простого числа приводит к построению алгоритма для порождения классов простых чисел. Как для этого, так и для построения корневых деревьев разработаны компьютерные программы. Приводятся различные таблицы чисел, публикуемые впервые.
Для философов, логиков, математиков.