- интуиционистски-приемлемый
-
интуиционистски-приемлемый
Слитно или раздельно? Орфографический словарь-справочник. — М.: Русский язык. Б. З. Букчина, Л. П. Какалуцкая. 1998.
Слитно или раздельно? Орфографический словарь-справочник. — М.: Русский язык. Б. З. Букчина, Л. П. Какалуцкая. 1998.
БАР-ИНДУКЦИЯ — индуктивный способ рассуждения, используемый в интуиционистской математике (см. Интуиционизм). и состоящий в следующем. Пусть на конечных кортежах натуральных чисел заданы нек рые свойства такие, что: 1) свойство Rразрешимо, т. е. для всякого… … Математическая энциклопедия