Компью́тер — функциональное устройство, способное выполнять значительный объём вычислений, включая многочисленные арифметические и логические операции, без вмешательства человека. Компьютер может быть как отдельным блоком, так и состоять из нескольких взаимосвязанных устройств. Является синонимом терминов «электронная вычислительная машина», «вычислительная система».
Го́тфрид Ви́льгельм Ле́йбниц — немецкий философ, логик, математик, механик, физик, юрист, историк, дипломат, изобретатель и языковед. Основатель и первый президент Берлинской Академии наук, член Лондонского королевского общества (1673), иностранный член Французской Академии наук.
Язы́к программи́рования — формальный язык, предназначенный для записи компьютерных программ. Язык программирования определяет набор лексических, синтаксических и семантических правил, определяющих внешний вид программы и действия, которые выполнит исполнитель под её управлением.
Алгори́тм — совокупность точно заданных правил решения некоторого класса задач или набор инструкций, описывающих порядок действий исполнителя для решения определённой задачи. В старой трактовке вместо слова «порядок» использовалось слово «последовательность», но по мере развития параллельности в работе компьютеров слово «последовательность» стали заменять более общим словом «порядок». Независимые инструкции могут выполняться в произвольном порядке, параллельно, если это позволяют используемые исполнители.
Иску́сственные языки́ — языки, созданные для воплощения некой цели: иллюстрации философской концепции, проведения экспериментов, международного общения, использования в художественном произведении или в качестве хобби. Искусственные языки противопоставляются естественным, которые возникают в сообществе, не ставящем себе целью разработку языка. Искусственных языков существует более тысячи, постоянно создаются новые. На них выходит периодика, публикуют литературу, создают музыку.
Умбе́рто Э́ко — итальянский учёный, философ, специалист по семиотике и средневековой эстетике, теоретик культуры, литературный критик, писатель, публицист.
Бесконе́чность — категория человеческого мышления, используемая для характеристики безграничных, беспредельных, неисчерпаемых предметов и явлений, для которых невозможно указание границ или количественной меры. Используется в противоположность конечному, исчисляемому, имеющему предел. Систематически исследуется в математике, логике и философии, также изучаются вопросы о восприятии, статусе и природе бесконечности в психологии, теологии, физике соответственно. Бесконечность обозначается символом 
.
Ло́гика (др.-греч. λογική — «наука о правильном мышлении»; «способность к рассуждению»; от λόγος «учение, наука») — философская дисциплина и нормативная наука о законах, формах и приёмах интеллектуальной деятельности.
Сэр Исаа́к Нью́то́н — английский физик, математик, механик и астроном, один из создателей классической физики и математического анализа.
Метапрограммирование — вид программирования, связанный с созданием программ, которые порождают другие программы как результат своей работы. Первое позволяет получать программы при меньших затратах времени и усилий на кодирование, чем если бы программист писал их вручную целиком, второе позволяет улучшить свойства кода.
Линкос — искусственный язык, созданный Хансом Фройденталем, профессором математики, для общения с внеземным разумом.
Иога́нн Берну́лли — швейцарский математик, механик, врач и филолог-классицист, самый знаменитый представитель семейства Бернулли, младший брат Якоба Бернулли, отец Даниила Бернулли.
Математи́ческая структу́ра — название, объединяющее понятия, общей чертой которых является их применимость к множествам, природа которых не определена. Для определения самой структуры задают отношения, в которых находятся элементы этих множеств. Затем постулируют, что данные отношения удовлетворяют неким условиям, которые являются аксиомами рассматриваемой структуры.
Анализ бесконечно малых — историческое название математического анализа, раздела высшей математики, изучающего пределы, производные, интегралы и бесконечные ряды, и составляющего важную часть современного математического образования. Состоит из двух основных частей: дифференциального исчисления и интегрального исчисления, которые связаны между собой формулой Ньютона — Лейбница.
Спор Ньютона и Лейбница о приоритете — спор о приоритете открытия дифференциального и интегрального исчисления между Исааком Ньютоном (1642—1727) и Готфридом Вильгельмом Лейбницем (1646—1716). Свою версию теории Ньютон создал ещё в 1665—1666 годах, однако не публиковал её до 1704 года. Независимо от него Лейбниц разработал свой вариант дифференциального исчисления, хотя первоначальный толчок, вероятно, его мысль получила из слухов о том, что такое исчисление у Ньютона уже имеется, а также благодаря научным беседам в Англии и переписке с Ньютоном. В отличие от Ньютона, Лейбниц сразу опубликовал свою версию и в дальнейшем, вместе с Якобом и Иоганном Бернулли, широко пропагандировал это открытие по всей Европе. Большинство учёных на континенте не сомневались, что анализ открыл Лейбниц. Когда Ньютон решил опубликовать свои труды на эту тему, возник вопрос о приоритете совершённого открытия. Ожесточённый спор не завершился со смертью Лейбница и продолжался усилиями сторонников основных участников, прекратившись только со смертью Ньютона.
Философский язык — априорный язык, предложенный Джоном Уилкинсом в своем произведении «Опыт о подлинной символике и философском языке» (1668). Философский язык Уилкинса не заимствовал элементы из существующих языков, а строился по принципу пазиграфии. В основу языка было положено разделение всего сущего на сорок категорий, каждая из которых имеет дальнейшее иерархическое деление. Таким образом модель Уилкинса систематизировала мир от общего к частному.
В 1675 году произошли различные научные и технологические события, некоторые из которых представлены ниже.
В 1678 году произошли различные научные и технологические события, некоторые из которых представлены ниже.
Новый метод максимумов и минимумов — первая изданная работа по математическому анализу. Она была опубликована Готфридом Лейбницем в немецком научном журнале «Acta Eruditorum» в октябре 1684 года. Считается, что эта работа положила начало исчислению бесконечно малых.
