Что такое информация?. Эдуард Казанцев
Чтение книги онлайн.

Читать онлайн книгу Что такое информация? - Эдуард Казанцев страница 6

Название: Что такое информация?

Автор: Эдуард Казанцев

Издательство: Автор

Жанр:

Серия:

isbn:

isbn:

СКАЧАТЬ логического обоснования математики, то есть необходимо было критически пересмотреть ее исходные положения (аксиомы). Как мы уже отмечали, критерием правильности математики может быть только ее непротиворечивость. Однако до сих пор идет сильное отставание математики в строгом логическом обосновании многих математических методов, широко применяемых в современной теоретической физике, где много ценных результатов получается при помощи незаконных математических приемов.

      Только в конце 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), которая встретила со стороны его современников резкое сопротивление, но впоследствии оказала большое влияние на развитие математики. Теория множеств является фундаментом ряда новых математических дисциплин. Постепенно теоретико-множественные методы находят все большее применение и в классических частях математики: дифференциальные уравнения, вариационное исчисление, теория вероятностей и др. Однако в вопросах обоснования математики, теория множеств сама нуждается в обосновании применяемых в ней методов рассуждения. Более того, все логические трудности, связанные с обоснованием математического учения о бесконечности, при переходе на точку зрения общей теории множеств, приобретают лишь большую остроту.

СКАЧАТЬ