ИСТИНА |
Войти в систему Регистрация |
|
ИПМех РАН |
||
Г.Грассман один из первых предложил использовать для обоснования формальных систем так называемый генетический метод. Попутно он вводит такие алгебраические системы, как группы, а также использует рекурсивные (индуктивные) определения.