Был такой дядька по фамилии Байес, был он английским попом-математиком..
Главным его достижением его считается введение понятия условной вероятности и формулы его определения, вот эта формула и называется формулой Байеса, хотя его достижения были забыты и продолжение работ в данной области осуществил Лаплас..
Условная вероятность - это вероятность некого события, при условии, что произойдёт другое событие, т.е. события должны быть статистически зависимы..
Формула Байеса учитывает априорное распределение (т.е. предположения, которые выдвигаются до опыта), эти распределения обычно опираются на некие теоретические предпосылки..
Есть известное изречение Евклида: «Если теорему так и не смогли доказать, она становится аксиомой». Евклид – древнегреческий математик (III в. до н. э.). Аксиома - это исходное, принимаемое БЕЗ ДОКАЗАТЕЛЬСТВА положение теории. И уже на основе принятых аксиом доказываются последующие теоремы. Например, одна из самых известных в математике аксиом – параллельные прямые никогда не пересекаются. Эту «теорему» так и не смогли доказать, поэтому она стала аксиомой. Из этой аксиомы вытекает математика Евклида, которая и изучается в школе. Если принять, что прямые линии где-то пересекаются, получим математику Лобачевского. Например, наша вселенная, скорее всего, евклидова. По Лобачевскому же лучи света движутся по «кривым» линиям и через много лет снова возвращаются к своему источнику. То есть это «искривленная замкнутая вселенная». Есть ещё и математика по Риману. Здесь «параллельные» прямые никогда не пересекаются, но уходят в бесконечность и удаляются друг от друга, и обратно не возвращаются. Такая вселенная тоже будет «искривленной», но бесконечной. И только опыт нам скажет, в какой вселенной мы живем. Пока кажется, что мы живем в евклидовой вселенной. Но окончательно не «доказано».
Часто аксиомы трактовались как вечные и непреложные истины, известные до всякого опыта и не зависящие от него. Но как доказать, что аксиома правильная? Многие теоремы доказываются на основе аксиомы. Если эти теоремы подтверждаются на опыте, то и аксиома считается правильной.
Абсолютно надуманная и бесполезная в реальной жизни проблема.
Суть её в том, что в 1852 году товарищ Ф. Гатри, мучаясь от безделья (а может, и с похмелья), подумал - а можно ли раскрасить карту Англии так, чтобы использовать только 4 цветных карандаша? И чтобы любые 2 соседние области, имеющие между собой общую границу (в виде линии, а не точки), были окрашены в разные цвета?
Англию-то, он вроде бы как, покрасил, но мощный гидроудар диуретической жидкости в голову установил перед ним новые горизонты - а можно ли также, исключительно четырьмя карандашами, окрасить любую другую карту с любым произвольным количеством областей? Самостоятельно решить проблему не получилось, и он скинул её на хрупкие плечи физика и математика Гамильтона, который также не сумел победить в играх разума и запустил эту мулю в последующие поколения любителей математики.
В итоге, абсолютно точно, проблему доказали для 25,27,35 или 39 участков карты, а для бесконечного множества участков - нет. Правда, в 1977 году, пара продвинутых компьютерных юзеров с математическим образованием доказала на компьютере решение этой проблемы, но с ним многие не согласились, так как проверить вручную это доказательство не является возможным (слишком большой объём информации), а слепо доверять только компьютерным алгоритмам - вроде бы как, нелогично.
В задаче рассматриваются точки на плоскости.
Теорема утверждает, что если есть 5 точек, никакие три из которых не лежат на одной прямой, то можно выбрать 4 точки, образующие выпуклый 4-угольник.
Известна также как теорема Эрдёша-Секереша о выпуклых 4-угольниках.
Названа так Эрдёшем потому, что решение этой задачи привело к тому, что его друг Секереш женился.
Великий немецкий математик Карл Вейерштрасс (жил и умер в 19 веке) один из "отцов" современного математического анализа в том современном виде, в котором мы к нему привыкли. Имя, которое слышал любой студент ВУЗа. Однако не у всех получится сразу ответить на такой вопрос. Теоремы, в которых используется имя Вейерштрасса находятся в разных уголках математических знаний. Приведем их список и посчитаем. Вот перечень теорем, в которых фигурирует имя Карла Вейерштрасса.
Сначала 5 теорем, где фигурирует только его имя и ничье другое:
См. также 3 теоремы, где фигурирует имя Карла Вейерштрасса с именами других математиков.
Всего получилось 8 теорем. Правильный ответ - 8.