Википедия:К созданию/Математика
preview
Моё мнение про оформление
- Определения любой статьи делятся на три раздела - основное определение (определение) (допускает несколько различных формулировок), частные случаи и связанные определения (например, для окружности - её радиус, связанные не в смысле "похожие", а в смысле "необходимые для понимания выводов про основной предмет статьи и прямо вытекающие преимущественно из него). В разделе вариации и обобщения, соответственно, остаются вариации и обобщения. По возможности хорошо бы разбивать на вариации и обобщения.
- Жирным шрифтом выделяется каждый термин по теме статьи, наиболее подробно рассматриваемый именно в ней или являющийся прямым порождением основной темы, и по большей части именно неё, то есть основной термин, частные случаи и связанные определения, и все они выделяются жирным во всех определениях и только в них. Во всех остальных местах они выделяются курсивом (если читатель увидит неизвестное ему выделенное курсивом слово, то поймёт, что нужно мотать вверх). Пожалуй, внутри разделов с большим количеством повторений одного и того же слова, не включающих его определение, можно выделять его курсивом только в первый раз. Ну и, конечно, каждый термин должен впервые встречаться в собственных определениях.
- Жирный курсив выглядит противненько, да и не нужен особо. (Зачем? Остального и так хватает, см. систему выше.)
- Далее свойства, применения и тому подобное (возможно, не под такими названиями - зависит от специфики предмета статьи).
- Раздел примечания имеет два подраздела: комментарии - для того, что не смотрится в основном тексте (шаблон {{примечания|group=комментарий}}, сноска - <ref group="комментарий">) и источники (шаблон {{примечания|group=ссылка}}, сноска - <ref group="ссылка">). Литература - для литературы, ссылки - для видео, интерактивных сайтов и прочих ресурсов. Могут дублировать источники. Наилучший порядок расположения - ссылки первыми, примечания последними. В первую очередь читатель должен иметь возможность изучить материалы, к которым можно перейти мгновенно. Во вторую очередь он должен обратить внимания на ирл-материалы, которые автор статьи тоже счёл полезными, и только потом изучать дополнительные запрятанные штучки, из которых сведения добывались не в обязательном порядке.
Моё мнение про доказательства
Нужны везде, где не школьная программа.) Ну или планы со списком используемых методов, если сами доказательства длинные.
Что почитать
- Василиск Роко (не беспокойтесь, до этого слишком далеко, чтобы он восстановил ваше сознание -- но я вот решил на всякий случай...))
- Гипотеза лингвистической относительности (гипотеза Сепира — Уорфа) (повод не переходить всем миром на английский)
- Когнитивные искажения
- Планируемое устаревание
- Пещера кристаллов
- Муравьиные круги
- Крысиный король
- Онода, Хироо
- Уэйн, Луис Уильям
- Унабомбер
- Фотографическая мозаика
- Танцевальная чума 1518 года
- Здесь был Килрой
- Виртуальное государство
- Эвкалипт радужный
- Гапакс
- Ложные друзья переводчика
- Категория:Картины Сальвадора Дали
- Эшер, Мауриц Корнелис
- Звук падающего дерева в лесу
- Вавилонская библиотека
- Земля-снежок
- Мушки летающие
- Пресвитер Иоанн
- Брокенский призрак
- Геоглиф
- Письма счастья
- Роопкунд
- Серая слизь
- Веннинджер, Магнус
- (486958) Аррокот
- Шигирский идол
- Движения растений
- Стигматы
- Памуккале
- Бонсай
- HeLa
- Джерримендеринг
- Биосфера-2
- Зловещая долина
- Пандо (дерево)
- 25-й кадр
- Обманка
- Шри-янтра
- Образовательный ценз
- Парейдолия
- Поедатель грехов
- Эзотерический язык программирования
- Уорхол, Энди - ни в коем случае не поддерживаю, но забавно
- Проклятие размерности
- Карго-культ
- Кетцалькоатль (птерозавр)
- Ляпалиссиада
- Криптофазия
- Послы (картина Гольбейна) (все знают, но на всякий случай)
- Шотландская книга
- Великая Моравия
- Папесса Иоанна
- Храм всех религий
- Геоглифы Наски
- Мультиокулярная О
- Хартманн, Эрих Альфред
- Иллюзия резиновой руки
- WikiLeaks
- Эволюция китообразных
- Тихоходки
- Маргиналии
- Сучья война
Из физики
- Принцип Ландауэра
- Фигуры Хладни
- CPT-инвариантность
- Магические числа (физика)
- Таблица изотопов
- Геометрическая фрустрация
- Пузырь Алькубьерре
- Скорость гравитации
- Топологическая цензура
- Квазичастица
- Великий аттрактор
- Троянские астероиды
- Орбитальный резонанс
- Природный ядерный реактор в Окло
- Колесо Аристотеля
- Тезис Дюэма — Куайна
Из математики
Полезно в зарубежные аналоги заглядывать тоже.
- Открытые математические проблемы
- Тезис Чёрча — Тьюринга
- Метаматематика, Металогика
- Конвей, Джон Хортон
- Хроногеометрия
- Множество Мандельброта, Множество Жюлиа, Классификация компонент множества Фату (отечественный аналог практически не существует)
- Постоянная Эйлера — Маскерони, Константа Майсселя — Мертенса
- Цепная дробь, Постоянная Хинчина, Гипотеза Зарембы
- Связанное: Числа Лагранжа, Спектр Маркова[англ.] - константа Фейнмана ням, Числа Салема
- Число Хегнера
- Теорема сумм-произведений, Проблема Гольдбаха, Счастливое число (lucky number) (у простых чисел обнаружились клоны)
- Гомотопические группы сфер, Экзотическая сфера
- Константа Миллса
- Задача Хееша
- Последовательность Гийсвита, Последовательность «Посмотри-и-скажи» (почему-то все корни многочлена Конвея около единичной окружности! сам многочлен гигантский)
- Тенсегрити
- Гёмбёц, Кельтский камень
- Аксиома Вольфрама
- Гипотеза Келлера
- Энциклопедия центров треугольника
- Ацтекский бриллиант
- Самопорождённые числа — последовательность соединений.
- Поверхность Морина
- Роза (плоская кривая), Синусоидальная спираль
- Теорема Тарского о невыразимости истины
- Конец топологического пространства
- Уравнения Дена — Соммервиля
- q-аналог (пока больше рекомендуется англоязычная страница Список q-аналогов)
- Задача о покрытии полосками
- Закон Бенфорда
- Галактический алгоритм
- Равноугольные прямые
- Теорема Мардена
- FRACTRAN
- Тор Клиффорда - изометрично (с сохранением расстояний между точками по поверхности) вкладывается в трёхмерное пространство, но то ли фрактально, то ли почти фрактально!
- Многозначная логика, Троичная логика - во второй статье особо интересен раздел "Функциональный подход". Критерий Поста - классика. Такая философски бессмысленная формализация ответа на базовый вопрос о базовом свойстве нашего мира (булевой логике) ужасает.
- Закон Ципфа (хотя тут не всё так однозначно: с одной стороны, "Объяснение закона Ципфа, основанное на корреляционных свойствах аддитивных марковских цепей (со ступенчатой функцией памяти), было дано в 2005 году", а с другой, "Американский специалист по биоинформатике Вэньтянь Ли предложил статистическое объяснение закона Ципфа, доказав, что случайная последовательность символов также подчиняется этому закону. Автор делает вывод, что закон Ципфа, по-видимому, является чисто статистическим феноменом, который не имеет отношения к семантике текста и имеет поверхностное отношение к лингвистике".)
- Последовательность Сильвестра, Константа Каэна
- Мезолябия
- Концентрация меры, Теорема Дворецкого
- Блок-дизайн, Конечная геометрия - даже тут бывают прямые аналоги реальных геометрических утверждений, Комбинаторная схема
- Функция Эйри
- Теорема Мора — Маскерони
- Список картографических проекций
- Дифференциальные операторы в различных системах координат
- Алгоритм Фюрера
- Категория:Специальные функции, в частности:Функция Гудермана - апогей тригонометрической мешанины (нужно будет когда-нибудь разобраться, каково кратчайшее дерево выводов всех соотношений между околотригонометрическими функциями - наверно, стоит начинать с комплексной экспоненты...). Гипергеометрическая функция - обобщает много стандартных функций, их ряд Тейлора в общем виде, но выглядит достаточно частно, и забавно, что все они через него выражаются.
- Гладкий инфинитезимальный анализ (не то же самое, что Нестандартный анализ!)
- Число Кармайкла, Число Вильсона
- Кубическая поверхность - на неособой вещественной 3, 7, 15 или 27 прямых! (Даже нуля не бывает?), Бикасательная, Бикасательные плоской кривой четвёртой степени, ADE-классификация - ещё много про 27 и 28.
- Полупрямое произведение, Zappa–Szép product[англ.] (чёрт знает как это произносить) - способ "раскладывать на множители" очень многие группы!
- Оператор замыкания - как теория категорий, только обобщает цель, а не средство. Соответствие Галуа, Категория:Теория порядков
- Семейство Хелли
- Пространство отрицательной размерности
- Порядок Шарковского
- Иерархия Хомского
- Алгоритм Риша, Теорема Ричардсона[англ.], Теорема Зайденберга — Тарского (на каждую следующую статью ведёт ссылка из предыдущей)
- Клеточный автомат, Модель песчаной кучи + Тропическая геометрия, Правило 30 ("периодические конфигурации плотны в пространстве всех конфигураций"), Правило 110 ("возможно, это самая простая система, полная по Тьюрингу")
- Гипотеза Пойи, Числа Серпинского, Число Скьюза - неожиданные большие числа (хотя они не идут ни в какое сравнение с TREE(3) ниже, но здесь арифметика, а там комбинаторика, в ней зашитая сложность больше).
- Теорема о симплектическом верблюде
- Квантовая логика
- Динамические системы: Универсальность Фейгенбаума, ___ Пентаграммное отображение[англ.], Алгоритм Ллойда[англ.]
- Прямая Зоргенфрея — пока в статье ничего нет, но судя по гуглу, она может быть практически бесконечной. Вся топология прямой и смежные прелести здесь начинаются заново.
- Гигантская компонента
- Проективный предел + Предел (теория категорий), Естественное преобразование
- Двенадцатеричный путь — комбинаторная смерть.
- Факторизация целых чисел — теоретико-числовая смерть.
- Список фракталов по размерности Хаусдорфа[англ.]
- Теорема Артина-Шрайера[англ.] - причина двумерности комплексных чисел над вещественными. Норма (теория полей) (то же, что произведение всех сопряжённых, когда они есть) - настоящая причина теоремы Пифагора (она же - евклидова метрика на плоскости, она же - пятый постулат Евклида) (корень извлекаем для сохранения стандартной метрики на прямой). Ведёт к появлению евклидовой метрики в пространстве и кватернионов (более общо: процедура Кэли, Процедура Кэли — Диксона, Алгебра Клиффорда).
- Формулы Мэчина[англ.]
- Суммы степеней[англ.]
- Теоремы о представлениях[англ.], Теоремы классификации[англ.], Теоремы о неподвижных точках[англ.]
Теория графов
- TREE(3) — стык теории графов и логики, огромное число с естественным определением.
- Хроматический многочлен — особенно весело про 32/27. Ещё у значений в отрицательных целых числах был какой-то смысл, но я его забыл. Должен искаться.
- Теорема Робертсона — Сеймура + Характеризация запрещёнными графами (третья строчка таблицы важная) (много больших незавершённых списков! для тороидальных графов нужно не меньше 250815 запрещённых миноров), Структурная теорема графов (+ топология!) (в формулировке одно k, но вообще говоря точные оценки могут быть разными) (точный частный случай: граф G свободен от K5 тогда и только тогда, когда G можно получить как 3-кликовые суммы списка планарных графов и копий некоторого специфичного непланарного графа с 8 вершинами - какого?), Гипотеза Хадвигера (все)
- Теорема Шнайдера - одна переменная и планарность для определённого его значения, как и в гипотезе Хадвигера из теории графов.
Вместе две теоремы последнего пункта позволяют предельно конструктивно описать достаточно узкое множество графов, содержащее все графы подходящего семейства.
- Верхушечный граф#Почти планарные графы
- Гипотеза Улама (пока см. Открытые математические проблемы)
- Гипотеза Барнетта
- Планарное накрытие, Правильная карта (теория графов)
- Вложение Татта, Книжное вложение
- Лестница Мёбиуса
- Цикловая раскраска
Извращения
"Гипотеза Римана относится к знаменитым открытым проблемам математики, в число которых в своё время входила и теорема Ферма. Как известно, Ферма сделал запись о том, что доказал свою теорему, не оставив самого доказательства, и тем самым бросил вызов следующим поколениям математиков. Британский математик Г. Х. Харди использовал ситуацию с этими проблемами для обеспечения собственной безопасности во время морских путешествий. Каждый раз перед отправкой в путешествие он отправлял одному из своих коллег телеграмму: «Доказал гипотезу Римана. Подробности по возвращении». Харди считал, что Бог не допустит повторения ситуации с теоремой Ферма и позволит ему благополучно вернуться из плавания." (Цитата из статьи про гипотезу Римана, скатился под стол.)
Я сделяль
Статьи упорядочены от интересных каждому (надеюсь)) до интересных только шизофреникам вроде меня.
- Число Дотти - перевёл.
- Холиэдр - перевёл.
- Выразимость в радикалах - своими ручками, напотел литров десять.
- Возвратное уравнение - с нуля.
- Треугольник Шарыгина - ручки тоже устають! Делал ножками.
- Зоногон - тоже делал...
Прочёё
Надо
Куча всевозможных неподвижных точек развелась (точнее, теорем о них), нужно сделать общую страницу.
Хорошо бы написать/перевести (скорее всего, я не успею собраться до тех пор, пока за это возьмётся кто-нибудь другой, но хоть что-то небось урву): Бильярд (математика), Внешний бильярд, Описанный угол, Полуправильный многоугольник, Квазотносительная внутренность, Алгебраическая внутренность, Зоногон, Задача поиска усердных бобров, Метод случайного поиска, Фитиль (конфигурация клеточного автомата), Лестница (конфигурация клеточного автомата).
+Глоссарий теории полей и тому подобное - с чего-то надо начинать.)
Категорически переделать: Многогранник (убого как-то), Общее положение (кошмаррр!).
Ещё нужно во всякие статьи про функции (Многочлены, уравнения маленьких степеней, Тригонометрические функции, Гиперболические функции, Обратные тригонометрические функции, Обратные гиперболические функции) позасовывать их фракталы Жюлиа и Ньютона, а также анимации дробных производных, создав разделы "галерея". А то всё как-то серенько, математикой нужно заинтересовывать! Ещё в статьи про кривые нужно засунуть их эволюты и эвольвенты. А в статьи про функции - эволюты и эвольвенты графиков.) Ещё проективно двойственные кривые.
В статьи про четырёхмерные многогранники нужно добавить все их возможные трёхмерные сечения (или описать, если их очень много).
В статьи про разные центры треугольников поместить их всевозможные координаты (евклидовы, барицентрические, трилинейные).
Послание потомкам
Если вы уже все математические понятия и теоремы ̶о̶б̶о̶р̶з̶е̶л̶и̶ обозрели, то пишите краткие планы доказательств. Этого вам ещё на пару сотен лет хватит. Там посмотрим.