арифметика
111МАТЕМАТИКА — наука, или группа наук, о познаваемых разумом многообразиях и структурах, специально – о математических множествах и величинах; напр., элементарная математика – наука о числовых величинах (арифметика) и величинах пространственных (геометрия) и о… …
112КОНСТРУКТИВНАЯ ЛОГИКА — раздел математической логики, изучающий рассуждения о конструктивных объектах и конструкциях. При таком понимании К. л. шире, чем логика конструктивной математики. Самое заметное отличие от традиционной (классической) логики состоит в отсутствии… …
113Теория чисел — Теория чисел, или высшая арифметика раздел математики, изучающий целые числа и сходные объекты. В теории чисел в широком смысле рассматриваются как алгебраические, так и трансцендентные числа, а также функции различного происхождения, которые… …
114Теоремы Гёделя о неполноте — Теоремы Гёделя о неполноте  две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой достаточно сильной[1] теории первого порядка. Первая теорема утверждает, что если формальная… …
115Светозаров, Дмитрий Иосифович — Дмитрий Светозаров Имя при рождении: Дмитрий Иосифович Хейфиц Дата рождения: 10 октября 1951(1951 10 10) (61 год) …
116Сойфер, Валерий Николаевич — Валерий Николаевич Сойфер Дата рождения: 1936 год(1936) Место рождения: Горький Страна …
117Сойфер — Сойфер, Валерий Николаевич Валерий Николаевич Сойфер (1936, Горький, СССР)  биофизик, биолог, генетик, историк науки, правозащитник. Содержание 1 Биография 2 Награды и почетные звания …
118Математика в Древнем Египте — Данная статья  часть обзора История математики. Статья посвящена состоянию и развитию математики в Древнем Египте в период примерно с XXX по III век до н. э. Древнейшие древнеегипетские математические тексты относятся к началу II… …
119Список статей по математической логике —   Это служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не ус …
120Валерий Николаевич Сойфер — (1936) российский биофизик, биолог, генетик, историк науки, правозащитник. Содержание 1 Биография 2 Книги …
