Большая электронная библиотека    Вкусные рецепты с фото    Интересно о танках
Главная Назад

Подкатегории:

Геометрия Алгебра
Основания математики и логика
Общая математика
Математический и функциональный анализ
История математики Теория чисел
Теория вероятностей, матстатистика,дискрет. анализ
Математическая кибернетика
Вычислительная математика
Автор: Фреге Г.
Название: Основоположения арифметики. Логик-математическое исследование о понятии числа
Описание: К середине XIX века усилиями ряда мыслителей стал, наконец, проясняться характер связи математики и логики, единство которых было предугадано ещё Г. Лейбницем. Осознание тесной связи пришло со стороны математиков. Первый шаг на этом пути был сделан трудами англичан А. де Моргана и Дж. Булля. Предложив алгебраическую интерпретацию логических отношений, они создали предпосылки для создания математизированной логики, которая нашла своё окончательное выражение в трудах немецкого математика Э. Шредера. Рассматриваемая как раздел алгебры, логика предстала здесь как совокупность вычислительных процедур, распространённых соотношений между переменными величинами на отношения между переменными содержаниями. Однако, несмотря на зримые достижения, такой подход таил одно парадоксальное следствие. С одной стороны, логика представлялась разделом математики; с другой стороны, понимаемая как наука об универсальных законах мышления, логика должна была оправдать, в том числе и математические рассуждения. Выход из ситуации был найден великим немецким логиком Г. Фреге, который взамен математизированной логики предложил логизированную математику.
Скачать


Krelib.com © 2007-2013