deep-econom (deep_econom) wrote,
deep-econom
deep_econom

Category:

Что такое "существует" в математике?

Что такое "существует" в математике?

Существование в математике по сути означает непротиворечивость в непротиворечивой системе аксиом.

Пример. Математический объект может существовать только тогда, когда он не противоречит теории определяемой системой аксиом.

ps задали мне тут вопрос что такое "существование" в математике, вот ответил както так, хотя возможно какие-то тонкости не учел

противоречивость запрещает существование объектов, которые не удовлетворяют (противоречат) теории
а вот непротиворечивость дает возможность существования объектов, но не обязывает существование с необходимостью в рамках теории


upd буду дополнять кое-что дописанное в результате дискуссии в комментах

факт существования (или несуществования) решения уравнения или мат.объекта (или иной конструкции) мы может оформить ЛФ1 (логической формулой)
и тогда задача существования сводится к задаче совместной непротиворечивости
{ЛФ1} и аксиоматической системы {АС}

ну и получается, что существование эквивалентно непротиворечивости
(вроде как???!!!)
в нашем случае данное {ЛФ1, АС} множество логических формул непротиворечиво

---
тут один момент следует учесть
{ЛФ1, АС} может быть непротиворечиво
{не-ЛФ1, АС} может быть непротиворечиво
т.е. {ЛФ1} может быть независимой от {АС}

а про то, что мы не можем построить в рамках {АС}, мы не можем вообще ничего сказать, существует это или нет
Subscribe

  • Трейдинг. Инвестирование, некоторые тезисы по Баффету.

    Конспекты собраний акционеров компании Баффета — Berkshire Hathaway с 1986 по 2015 год. Книга Университет Berkshire Hathaway: 30-летний опыт…

  • Что такое аксиоматика?

    Аксиоматика (набор аксиом). Аксиоматика = система синтаксических уравнений определяющих свойства имён, которые входят в эту систему. Пояснение.…

  • Часы = частотомер.

    Неожиданно мысль в голову пришла как назвать приборы разных конструкций, которые называют часами. Наиболее правильно называть их счетчики изменений.…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic
  • 14 comments

  • Трейдинг. Инвестирование, некоторые тезисы по Баффету.

    Конспекты собраний акционеров компании Баффета — Berkshire Hathaway с 1986 по 2015 год. Книга Университет Berkshire Hathaway: 30-летний опыт…

  • Что такое аксиоматика?

    Аксиоматика (набор аксиом). Аксиоматика = система синтаксических уравнений определяющих свойства имён, которые входят в эту систему. Пояснение.…

  • Часы = частотомер.

    Неожиданно мысль в голову пришла как назвать приборы разных конструкций, которые называют часами. Наиболее правильно называть их счетчики изменений.…