 Форум мехмата МГУ по высшей математике
| Пользователям: | Аксиома — это истина, на которую не хватило доказательств. |
Все посты пользователя
Консультации по решению прикладных задач высшей математики, обсуждение интересных и нестандартных математических задач и головоломок.
Не берет - 19 лет назад
Цитата AvovA писал(а) : Если srt это корень (хотя странно было бы), то "математика" берёт. Ответ постить не берусь :)) Не берет. По крайней мере версия 5.1. Проверьте, пожалуйста, правильно ли Вы ввели. С уважением, Свинтусавтор svin (Свинтус) - Высшая математика
Гайдук-- тот который растаманские сказки пишет или который фантаст? :)(-) - 19 лет назад
subjавтор svin (Свинтус) - Высшая математика
О ней - 19 лет назад
Цитата Формализация натуральных чисел -- уже задача. А Вы можете формализовать жизнь? Тогда вышлите пожалуйста мне списочек аксиом и правил, если не сложно :) Вот именно поэтому я и говорю, что такое "определение" правильности рассуждения абсолютно бессмысленно. Цитата Вот жду, когда Кицис выложит на свой "сайт" математическо-психологические исследования. А все лежит. Впрочеавтор svin (Свинтус) - Высшая математика
Про аксиомы - 19 лет назад
Цитата ljoha писал(а) : Рассуждение -- последовательность высказываний, каждое из которых либо аксиома, либо исходные данные, либо получается из предыдущих по одному из правил. Правила и аксиомы разные бывают. Но, после того как их сформулировали, стараются доказать корректность, т. е. что неверное утверждение точно не выведется. И в жизни Вы всегда думаете, только путем применения правил к аксиавтор svin (Свинтус) - Высшая математика
Такой вот вопрос - 19 лет назад
А что есть "неправильные рассуждения", да и "правильные" заодно? С уважением, Свинтусавтор svin (Свинтус) - Высшая математика
А на "ряд" sqrt(2)+(2-sqrt(2)) посмотреть не пробовали?(-) - 19 лет назад
ыгиоавтор svin (Свинтус) - Высшая математика
Теорема Абеля-Дини - 20 лет назад
Первое(набросок доказательства): Пусть n,m>0 Тогда ___ n+m (n-->oo)0<--Cумма a_i/i^{\alpha}>(a_n+..a_{n+m})/(n+m)^{\alpha})= ___i= n ==(S_{n+m}-S_n)/(n+m)^{\alpha}-->0(n-->oo). lim____lim (S_{n+m}-S_n)/(n+m)^{\alpha}=0=lim___(lim S(n+m)/(n+m))^{\alpha}- m->oo_n->oo_____________________________m->oo_n->oo -lim__S_n /{n+m}^{\alpha} ==...==limlimS(m+n)автор svin (Свинтус) - Высшая математика
Вряд ли имелись в виду таблицы истинности - 20 лет назад
Хотя бы потому, что присутствует значок |--. С уважением, Свинтусавтор svin (Свинтус) - Высшая математика
Надо, кстати, для этого ещ знать, что такое множество из двух элементов(-) - 20 лет назад
subjавтор svin (Свинтус) - Высшая математика
О полноте - 20 лет назад
Потому, что мы тогда доказываем только, что они верны в определенной интерпретации. Можно доказать, что все интерпретации эквивалентны(то есть верны одни и те же утверждения во всех интерпретациях), но это нужно доказывать еще( полноту логики высказываний). А во-вторых не факт, что речь иде именно о логике высказываний-- может быть расмматривается какая-то другая теория-- которая уже может быть навтор svin (Свинтус) - Высшая математика
Где чертятся? - 20 лет назад
Ввводится определееная система аксиом и правил вывода, к них это все можно доказать формально. Но как конкретно- зависит от конкретного набора аксиом и правил вывода. В принципе и в этом случае все алгоритмизируемо, конечно. Но мозги в какой-то мере уже требуются ведь алгоритм не дается заранее обычно. Какие у Вас аксиомы и правила вывода, человек? С уважением, Свинтусавтор svin (Свинтус) - Высшая математика
Есть такое простое утверждение: - 20 лет назад
Полугруппа является группой тогда и только тогда, когда существует по крайней мере одна правая единица е такая, что для любого а из группы существует по крайней мере один правый обратный элемент относительно единицы е. С уважением, Свинтусавтор svin (Свинтус) - Высшая математика
Набросок доказательства - 20 лет назад
1)В одну сторону очевидно- достаточно взять полный угол. 2)В другую: Выкинем из нашего ряда все нулевые векторы(ясно, что от них ничего не зависит). Сопоставим каждому вектору, предшествующую частичную сумму ряда из модулей, спроецируем наши вектора на единичную сферу-- сопоставляя точкам сферы верхнюю грань сумм модулей векторов нашей последовательности лежащих в слое над точкой(если получаетавтор svin (Свинтус) - Высшая математика
Как задать подалгебру в Macaulay 2 - 20 лет назад
У меня следующий вопрос: как в Macaulay 2 задать подалгебру алгебры многочленов с помощью ее образующих? С уважением, Свинтусавтор svin (Свинтус) - Высшая математика
Вроде бы нашли ошибку и пока ее не исправили - 20 лет назад
Кросспост от sowa Цитата "Dear All, This is just to say that we've belatedly found a gap at the very end of my recent work. It is too soon to know how serious it is. I will message math-seminars again when I have a better sense of what is happening. Thanks, Carolyn" C уважением, Свинтусавтор svin (Свинтус) - Высшая математика
Листочки семинаров отсюда: - 20 лет назад
НМУ-шный курс А. Кузнецова -очень хорошие, IMHO, листки: http://www.mccme.ru/ium/f03/alg2s.html http://www.mccme.ru/ium/s03/alg1sem.html http://www.mccme.ru/ium/f02/alg1sem.html Лекции к ним: http://www.mccme.ru/ium/f02/alg1.html http://www.mccme.ru/ium/f03/alg2.html http://www.mccme.ru/ium/f03/alg2s.html Правда они могут быть сложнее Кострикина. С уважением, Свинтусавтор svin (Свинтус) - Высшая математика
По пункту а) если это кому-нибудь интересно - 20 лет назад
Мне это когда-то было интересно, так вот имеют место следующие результаты: Назовем нашу функцию-- максимальный порядок элемента-- Г(и) (все эквив при и стрем к беск :)) 1)Теорема Эдмунда Ландау 1903 год lnГ(и)~sqrt(и*ln(и)) 2)Теорема Николаса 1969 Существует сколь угодно длинная строка последовательность последовательных чисел для которых наша функция постоянна. 3)Теорема Массиаса 1984 годавтор svin (Свинтус) - Высшая математика
Если я правильно понял, то это совсем очевидно - 20 лет назад
Это очевидно-возьмем алгебру и ее систему образующих(в обычном смысле). С уважением, Свинтусавтор svin (Свинтус) - Высшая математика
Чего-нибудь скажем - 20 лет назад
1) Ну универсальное свойство это следующее утверждение: Пусть A- свободная П-порожденная абелева группа. Тогда любое отображение множества мощности П в произвольную абелеву группу У продолжается до единственного гомоморфизма из из А в У. Верно и обратное. 2)Накрывающее свойство по-видимому-- такое утверждение: всякий гомоморфизм свободной абелевой группы в факторгруппу некоторой абелевой групавтор svin (Свинтус) - Высшая математика
Вот определитель - 20 лет назад
80*x+76*x^2-316*x^3-263*x^4+490*x^5+357*x^6-376*x^7-242*x^8+148*x^9+86*x^10-28*x^11-15*x^12+2*x^13+x^14= x*(x-2)*(x+2)*(x^3+3*x^2-x-5)*(x^4-x^3-5*x^2+3*x+4)*(x-1)^2*(x+1)^2 С уважением, Свинтусавтор svin (Свинтус) - Высшая математика
Мурка, чего Вы мучаетесь- это ж прикладная задача, берите Maple и вперед(-) - 20 лет назад
ыгиоавтор svin (Свинтус) - Высшая математика
А можно объяснить то, что Вы сейчас написали - 20 лет назад
Что такое решение молекулы, метод Хюккеля итд С уважением, Свинтусавтор svin (Свинтус) - Высшая математика
Дам здесь - 20 лет назад
Бартел Лендерт ван дер Варден Алгебра/url] С уважением, Свинтусавтор svin (Свинтус) - Высшая математика
берешь - 20 лет назад
www.poiskknig.ru- набираете Symbolic Integration- ссылок много С уважением, Свинтусавтор svin (Свинтус) - Высшая математика
Никак. Все вроде бы довольно очевидно - 20 лет назад
О том я и писал, когда писал о том, что конкретные подмножества можем описать не всегда. Но утверждения типа \forall x\in P(A) верно то то и то то и \exists x\in P(A) верно то то и то то, мы формулировать и доказывать можем- это и означает, что мы хотя и не умеем описывать почти все конкретные множества можем описывать произвольные, в том числе не поддающиеся конкретному описанию то есть множествавтор svin (Свинтус) - Высшая математика
И что? - 20 лет назад
Цитата Цитата Гастрит: Объясните мне, дураку, на пальцах, что это за вещь такая - "произвольное подмножество бесконечного множества A". Свинтус: Как что? Это набор букв такой. Да, фраза Гастрита - набор букв. Но сами подмножества бесконечного множества, к сожалению, не всегда можно описать в виде набора букв. Конкретные подмножества да не всегда можем описать, точнее почти всегда не можеавтор svin (Свинтус) - Высшая математика