Только в конце XIX века сложился стандарт требований к логической строгости развития математических теорий. Этот стандарт основан на теоретико-множественной концепции строения любой математической теории. С этой точки зрения любая математическая теория имеет дело с дискретным множеством объектов, связанных между собой некоторыми логическими отношениями. Новый стандарт позволил не только обосновать многие математические теории, но и систематизировать их. Однако вопрос цели в математике по-прежнему оставался открытым, вызывая головную боль у философски думающих математиков.
Тем не менее, в конце XIX века определился круг интересов так называемой дискретной (конечной) математики, основные разделы которой (теория матриц, теория групп, теория множеств, математическая логика, теория вероятностей, теория алгоритмов и т. д.) разрабатывались еще в XVII–XVIII веках одновременно с элементами непрерывной математики.
Более того, элементы дискретной математики возникли в глубокой древности. Типичными для того периода были задачи, связанные со свойствами целых чисел – Диофант (3 век), и приведшие затем к созданию теории чисел – Л. Эйлер (1707–1783), К. Гаусс (1777–1855).
Позже, в основном в связи с игровыми задачами, появились элементы комбинаторного анализа и дискретной теории вероятностей – Б. Паскаль (1623–1662), П. Ферма (1601–1665). Затем возникли важнейшие понятия алгебры, такие как группа, поле, кольцо и др. – Ж. Лагранж (1763–1813), Э. Галуа (1811–1832), имевшие, по существу, дискретную природу.
В середине 19 века Л. Эйлер заложил основы теории графов, которая в дальнейшем привела к созданию эффективных методов решения транспортных задач. Тогда же появилась теория матриц – У. Гамильтон (1805–1865), А. Кэлли (1821–1895), К. Вейерштрасс (1815–1897).
Теорию множеств разработал Г. Кантор (1845–1918), которая встретила со стороны его современников резкое сопротивление, но впоследствии оказала большое влияние на развитие математики. Теория множеств является фундаментом ряда новых математических дисциплин. Постепенно теоретико-множественные методы находят все большее применение и в классических частях математики: дифференциальные уравнения, вариационное исчисление, теория вероятностей и др. Однако в вопросах обоснования математики, теория множеств сама нуждается в обосновании применяемых в ней методов рассуждения. Более того, все логические трудности, связанные с обоснованием математического учения о бесконечности, при переходе на точку зрения общей теории множеств, приобретают лишь большую остроту.
СКАЧАТЬ