пеано
61История математики — История науки …
62Длина кривой — (или, что то же, длина дуги кривой) в метрическом пространстве числовая характеристика протяжённости этой кривой[1]. Исторически вычисление длины кривой называлось спрямлением кривой (от лат. rectificatio, спрямление). Если длина кривой… …
63Универсальный язык — (всеобщий язык; лат. lingua generalis)  язык, система терминов, определенных строго и однозначно, а потому допускающих над собой чисто формальные операции. Такой язык позволил бы заменить все логические рассуждения исчислением,… …
64Жорданова кривая — Кривая или линия геометрическое понятие, определяемое в разных разделах геометрии различно. Содержание 1 Элементарная геометрия 2 Параметрические определения 3 Кривая Жордана …
65Арифметика Пресбургера — Арифметика Пресбургера  это теория первого порядка описывающая натуральные числа со сложением, но в отличие от арифметики Пеано, исключающая высказывания относительно умножения. Названа в честь польского математика Мозеса Пресбургера,… …
67Список статей по математической логике —   Это служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не ус …
68Coq — (фр. coq  петух)  интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… …
69Метод математической индукции — Математическая индукция в математике один из методов доказательства. Используется, чтобы доказать истинность некоего утверждения для всех натуральных чисел. Для этого сначала проверяется истинность утверждения с номером 1 база индукции, а затем… …
70Жордана кривая — Кривая или линия геометрическое понятие, определяемое в разных разделах геометрии различно. Содержание 1 Элементарная геометрия 2 Параметрические определения 3 Кривая Жордана …
