Матчасть (наука): различия между версиями

Основным методом матчасти является [[Русский мат|мат]]. Проще всего проиллюстрировать его применение на следующем примере: имеется прямоугольное (для простоты рассматривается двухмерное пространство и достаточно простой многоугольник) помещение, плоскость для начертания мелом (доска), расположенная у одной из стенок и параллельная соотвествующей стороне прямоугольника, и два математика, находящиеся на произвольном расстоянии от доски (для простоты будем считать их двумя различными точками на плоскости). Не обращаясь в формализм в силу сложности описания процесса, будем говорить, что математик Иванов пытается доказать какое-то утверждение и абсолютно уверен в своей правоте (подчеркнём тот факт, что истинность утверждения неизвестна!), а математик Петров категорически с ним не согласен. Математик Иванов (далее И.) приводит различные аргументы в защиту своей точки зрение, математик Петров (далее П.) не принимает ни одного из них, таким образом, аргументы, выраженные в терминах теории, к которой принадлежит доказываемое утверждение, скапливаются на границе между полями, создаваемыми противоборствующими математиками, в непосредственной близости от доски, иногда (обычно редко, а зачатую никогда) конденсируясь на ней в виде записей. На самом деле, создаваемые ими поля являются математической моделью, характеризующей скорость перехода от классическим методов доказательства к методам матчасти. Наглядно поле изображается теми же методами, что и электрическое либо магнитное, при этом ''линии поля'' идут от математика, его излучающего, к противоборствующим математикам (если их много) и к доске с записями (а иногда и к нескольким доскам), а ''напряжённостью математического поля'' называется величина, показывающая ускорение при переходе от классических методов доказательства к методам матчасти (подробнее об этом далее). Возвращаяясь к нашим баранам (И. и П.), отметим, что напряжённость матполя возрастает со временем, при этом у доски накапливается матзаряд. При переходе напряжённостью матполя некоторой границы происходит распрямление чрезмерно изогнутых линий поля, матзаряд высвобождается и движется вдоль линий поля к математику-противнику. Тот же матзяряд, движущийся к доске, отражается от неё и движется вдоль линий поля П., преодолевая их направление. Когда матзаряд (обычно квантованый, но у некоторых мастеров получается непрерывный) достигает П., происходит его преобразование в заряд мата, вызывающий ответное возрастание напряжения матполя П. и колебания линий поля, вследствие чего П. посылает обратно математику И. матзаряд такой же либо большей силы. Когда через некоторое время напряжение матполя преодолевает вторую отметку, всё резко прекращается. Обычно из-за того, что между математиками Ивановым и Петровым встаёт математик Андреев, которые порождает антиматполе, заглушающее в некоторых областях матполя И. и П. Силы, порождающие эти два матполя, стремятся уменьшить затраты на преодоление матзарядами поля А., вследствие чего математики И. и П. неограниченно сближаются. В тот момент, когда они (вместе с попавшим между ними А., согласно теореме о двух милиционерах) совмещаются по координатам, то есть обращаются в одну точку, напряжённость их матполей суммируется и обращается в напряжённость единого матполя. В результате с небес на землю спускается математик [[Машина Тьюринга|Тьюринг]] (далее Ть), потому что он был разбужен и вообще побеспокоен, посылает в сторону источника беспокойства (единого матполя) матзаряд значительно большей мощности и приближается к нему со скоростью движения матзаряда. При достижении Тьюрингом эпицентра событий происходит поглощение матзаряда и его аннигаляция в тишине. В результате все математики (И.,П.,А.,Ть.) успокаиваются (напряжённость матполя каждого обращается в ноль) и расходятся. С вероятностью 0.5 однозначно определяется истинность исходного утверждения (в половине случаев доска с записью этого утверждения оказывается стёртой либо уничтоженной).

На практике напряжённость измеряют специальным прибором — напряжометром, в описанном выше примере это был математик Андреев, замерявший все характеристики (коэффициент α определялся на глазок).