Этот участник — инклюзионист. Он полагает, что чем больше статей в Википедии, тем лучше.
Но это я не к тому, что нужно добавлять всё подряд, а к тому, что если уже добавили, то удалять - лишний раз морочиться. Лучше самим что-то создавать, чем уничтожать чужое или уж тем более добиваться этого долго и упорно. (Всё в разумных пределах, конечно.)
Определения любой статьи делятся на три раздела - основное определение (определение) (допускает несколько различных формулировок), частные случаи и связанные определения (например, для окружности - её радиус, связанные не в смысле "похожие", а в смысле "необходимые для понимания выводов про основной предмет статьи и прямо вытекающие преимущественно из него). В разделе вариации и обобщения, соответственно, остаются вариации и обобщения. По возможности хорошо бы разбивать на вариации и обобщения.
Жирным шрифтом выделяется каждый термин по теме статьи, наиболее подробно рассматриваемый именно в ней или являющийся прямым порождением основной темы, и по большей части именно неё, то есть основной термин, частные случаи и связанные определения, и все они выделяются жирным во всех определениях и только в них. Во всех остальных местах они выделяются курсивом (если читатель увидит неизвестное ему выделенное курсивом слово, то поймёт, что нужно мотать вверх). Пожалуй, внутри разделов с большим количеством повторений одного и того же слова, не включающих его определение, можно выделять его курсивом только в первый раз. Ну и, конечно, каждый термин должен впервые встречаться в собственных определениях.
Жирный курсив выглядит противненько, да и не нужен особо. (Зачем? Остального и так хватает, см. систему выше.)
Далее свойства, применения и тому подобное (возможно, не под такими названиями - зависит от специфики предмета статьи).
Раздел примечания имеет два подраздела: комментарии - для того, что не смотрится в основном тексте (шаблон {{примечания|group=комментарий}}, сноска - <ref group="комментарий">) и источники (шаблон {{примечания|group=ссылка}}, сноска - <ref group="ссылка">). Литература - для литературы, ссылки - для видео, интерактивных сайтов и прочих ресурсов. Могут дублировать источники. Наилучший порядок расположения - ссылки первыми, примечания последними. В первую очередь читатель должен иметь возможность изучить материалы, к которым можно перейти мгновенно. Во вторую очередь он должен обратить внимания на ирл-материалы, которые автор статьи тоже счёл полезными, и только потом изучать дополнительные запрятанные штучки, из которых сведения добывались не в обязательном порядке.
Моё мнение про доказательства
Нужны везде, где не школьная программа.) Ну или планы со списком используемых методов, если сами доказательства длинные.
Теория черноморского потопа: "К 2000 году исследователями были найдены археологические и геологические подтверждения теории потопа — древние береговые линии, раковины пресноводных улиток, затопленные речные долины, инструменты для обработки древесины и человеческие постройки на глубине около 94 метров в 12 милях от современного турецкого берега"!
Тор Клиффорда - изометрично (с сохранением расстояний между точками по поверхности) вкладывается в трёхмерное пространство, но то ли фрактально, то ли почти фрактально!
Многозначная логика, Троичная логика - во второй статье особо интересен раздел "Функциональный подход". Критерий Поста - классика. Такая философски бессмысленная формализация ответа на базовый вопрос о базовом свойстве нашего мира (булевой логике) ужасает.
Закон Ципфа (хотя тут не всё так однозначно: с одной стороны, "Объяснение закона Ципфа, основанное на корреляционных свойствах аддитивных марковских цепей (со ступенчатой функцией памяти), было дано в 2005 году", а с другой, "Американский специалист по биоинформатике Вэньтянь Ли предложил статистическое объяснение закона Ципфа, доказав, что случайная последовательность символов также подчиняется этому закону. Автор делает вывод, что закон Ципфа, по-видимому, является чисто статистическим феноменом, который не имеет отношения к семантике текста и имеет поверхностное отношение к лингвистике".)
Категория:Специальные функции, в частности:Функция Гудермана - апогей тригонометрической мешанины (нужно будет когда-нибудь разобраться, каково кратчайшее дерево выводов всех соотношений между околотригонометрическими функциями - наверно, стоит начинать с комплексной экспоненты...). Гипергеометрическая функция - обобщает много стандартных функций, их ряд Тейлора в общем виде, но выглядит достаточно частно, и забавно, что все они через него выражаются.
Гипотеза Пойи, Числа Серпинского, Число Скьюза - неожиданные большие числа (хотя они не идут ни в какое сравнение с TREE(3) ниже, но здесь арифметика, а там комбинаторика, в ней зашитая сложность больше).
Прямая Зоргенфрея — пока в статье ничего нет, но судя по гуглу, она может быть практически бесконечной. Вся топология прямой и смежные прелести здесь начинаются заново.
Теорема Артина-Шрайера[англ.] - причина двумерности комплексных чисел над вещественными. Норма (теория полей) (то же, что произведение всех сопряжённых, когда они есть) - настоящая причина теоремы Пифагора (она же - евклидова метрика на плоскости, она же - пятый постулат Евклида) (корень извлекаем для сохранения стандартной метрики на прямой). Ведёт к появлению евклидовой метрики в пространстве и кватернионов (более общо: процедура Кэли, Процедура Кэли — Диксона, Алгебра Клиффорда).
TREE(3) — стык теории графов и логики, огромное число с естественным определением.
Хроматический многочлен — особенно весело про 32/27. Ещё у значений в отрицательных целых числах был какой-то смысл, но я его забыл. Должен искаться.
Теорема Робертсона — Сеймура + Характеризация запрещёнными графами (третья строчка таблицы важная) (много больших незавершённых списков! для тороидальных графов нужно не меньше 250815 запрещённых миноров), Структурная теорема графов (+ топология!) (в формулировке одно k, но вообще говоря точные оценки могут быть разными) (точный частный случай: граф G свободен от K5 тогда и только тогда, когда G можно получить как 3-кликовые суммы списка планарных графов и копий некоторого специфичного непланарного графа с 8 вершинами - какого?), Гипотеза Хадвигера (все)
Теорема Шнайдера - одна переменная и планарность для определённого его значения, как и в гипотезе Хадвигера из теории графов.
Вместе две теоремы последнего пункта позволяют предельно конструктивно описать достаточно узкое множество графов, содержащее все графы подходящего семейства.
"Гипотеза Римана относится к знаменитым открытым проблемам математики, в число которых в своё время входила и теорема Ферма. Как известно, Ферма сделал запись о том, что доказал свою теорему, не оставив самого доказательства, и тем самым бросил вызов следующим поколениям математиков. Британский математик Г. Х. Харди использовал ситуацию с этими проблемами для обеспечения собственной безопасности во время морских путешествий. Каждый раз перед отправкой в путешествие он отправлял одному из своих коллег телеграмму: «Доказал гипотезу Римана. Подробности по возвращении». Харди считал, что Бог не допустит повторения ситуации с теоремой Ферма и позволит ему благополучно вернуться из плавания." (Цитата из статьи про гипотезу Римана, скатился под стол.)
Я сделяль
Статьи упорядочены от интересных каждому (надеюсь)) до интересных только шизофреникам вроде меня.
Ещё нужно во всякие статьи про функции (Многочлены, уравнения маленьких степеней, Тригонометрические функции, Гиперболические функции, Обратные тригонометрические функции, Обратные гиперболические функции) позасовывать их фракталы Жюлиа и Ньютона, а также анимации дробных производных, создав разделы "галерея". А то всё как-то серенько, математикой нужно заинтересовывать! Ещё в статьи про кривые нужно засунуть их эволюты и эвольвенты. А в статьи про функции - эволюты и эвольвенты графиков.)
Ещё проективно двойственные кривые.
В статьи про четырёхмерные многогранники нужно добавить все их возможные трёхмерные сечения (или описать, если их очень много).
В статьи про разные центры треугольников поместить их всевозможные координаты (евклидовы, барицентрические, трилинейные).
Послание потомкам
Если вы уже все математические понятия и теоремы ̶о̶б̶о̶р̶з̶е̶л̶и̶ обозрели, то пишите краткие планы доказательств. Этого вам ещё на пару сотен лет хватит. Там посмотрим.