Возможно, я непонятно отвечаю. Тогда см Предложение 1 в этом посте.
Да Вы не отвечаете, Григорий
Вы сообщаете ответ из матрицы, которая в Вас зашита.
Если Вы еще раз хотите мне сказать, что аксиомы Пеано принципиально важны для теории действительных чисел, то я же не буду спорить
Я помню. У меня хорошая память.
Но Вы не привели примеры почему, а я не в курсе. Хотя догадываюсь. Я задал бессмысленный вопрос?
Я спросил, а что будет, если их убрать? Это опять бессмысленный вопрос?
Есть. Когда человек немножко разбирается в предмете - он задаёт осмысленные вопросы. Когда человек действительно пытается разобраться в незнакомом предмете - он сначала задаёт бессмысленнные вопросы, а потом, обдумывая данные ему ответы - потихонечку начинает задавать осмысленные. Я Вам дал - и не один раз - осмысленные, грамотные и соответствующие Вашему уровню ответы. Вы же продолжаете как попугай долбить свои - прямо скажем - бессмысленные и глупые вопросы.
У Вас лёгкая возможность проверить, если Вы этого действительно хотите - здесь есть куча людей, куда более компетентных в математике чем я - дроси, ПП, Сергей, ... Спросите у них. Пока они не захотели с Вами разговаривать. Вам не кажется, что это говорит об уровне Ваших вопросов? И о Вашем поведении, которое мне на данный момент представляется скотским. Может быть я ошибаюсь, Тогда извините.
Оффтопить так оффтопить. Этот номер называется иначе: Админ форума бьется головой об стену собственного непонимания. Если б он перестал об нее биться, а вместо этого посозерцал свой иероглиф, он, глядишь, и понял бы чего.
Еще раз для Григория, раз он уж и на Чесспро распространил непонимание того, что я сказал.
( Хотя обычно , наоборот, непонятны слова Григория )
Говоря, о том что утверждение Y , справедливое для натуральных чисел, легко становится несправедливым для действительных, я не имел ввиду что
Григорий на ЧП написал(а):
Кто говорил о теореме Ферма, невернoй в области действительных чисел? Мне казалось, что это были Вы. Если ошибся, звиняйте.
мы оставляем ту же самую формулировку, т.е для натуральных чисел.
от теорема Ферма, например... Также Вы наверно не сможете сказать, что некое утверждение, справедливое для чисел натуральных ( как пример Матиясевича выше) будет справедлив, если речь идет о всем множестве действительных чисел.
Имелась ввиду замена натуральный на действительный в утверждении Y. ( например в упомянутой теореме Ферма)
Ну звиняйте, Григорий.
Про аксиому Григория.
Тот факт, что гипотеза более не нуждается в проверке, ещё не делает её аксиомой ))
Хотя.. Скрытое определение само по себе аксиоматично ))
в отличие от словоблудия одного нашего уважаемого товарища
Показалось, Григорий, что имеете в виду меня, за что (уважение) благодарю, а также за дальнейшие разъяснения в чем конкретно заподозрили якобы словоблудие
Нет, я имел ввиду РАРа. То же что пишете Вы мне обычно просто непонятно и я не углубляюсь ввиду того, что мой интерес к соответствующим темам прошёл лет 20 назад.
Имелась ввиду замена натуральный на действительный в утверждении Y. ( например в упомянутой теореме Ферма)
Владимирович, что Вы имели ввиду, было понятно с самого начала. Я всё время старался Вам обьяснить, что Ваши операции абсолютно бессмысленны и не имеют никакого отношения к вопросам, которые видимо Вас на самом деле интересуют. Не получилось. Думаю, вина тут не моя.
Владимирович, что Вы имели ввиду, было понятно с самого начала. Я всё время старался Вам обьяснить, что Ваши операции абсолютно бессмысленны и не имеют никакого отношения к вопросам, которые видимо Вас на самом деле интересуют. Не получилось. Думаю, вина тут не моя.
Grigoriy, мы можем себе представить некое поле с единицами по коммутативности (0) и умножению (1) ?
Имеете ли Вы в виду, что мы не сможем трактовать его как поле действительных чисел, если не подключить аксиомы Пеано?
мы можем себе представить некое поле с единицами по коммутативности (0) и умножению (1) ?
Имеете ли Вы в виду, что мы не сможем трактовать его как поле действительных чисел, если не подключить аксиомы Пеано?
Скорее всего аксиомы Пеано будут необходимы, но недостаточны
. Нужно еще позаботится о топологии поля, хотя с точки зрения алгебры последняя может безразлична. Вобщем, on top of my head, не уверен каким должен быть набор точных условий.
Ещё раз. Я не понимаю Bаш вопрос. Поле действительных чисел строится или конструктивно(по Дедекинду или Кантору) или аксиоматически. В любом случае в нём определена единица(1). Прибавляя её последовательно (начиная с себя) к себе мы получаем (в силу скажем аксиом действительных чисел) вложение N в R. Удовлетворение аксиом Пеано видимо получается при этом автоматически(точно я не помню, меня никогда не интересовали соответствующие вопросы). В любом случае, N вложено в R, и потому все теоремы, касающиеся N, имеют место и в R относительно образа N в R
Скажем, с топологической точки зрения любой полный (пределы всегда существуют) линейный порядок без первого и последнего элемента и включающий всюду плотное счётное подмножество изоморфен действительной прямой. Алгебраическая структура, аксиомы Пеано и т.д. тут отсутствуют или безразличны.
Как-будто Владимирович имеет право. Присутствие натурального подмножества или подгруппы целых чисел не обязательно. Я нахожу очень интересным, что арифметика только со сложением, без умножения, полна, непротиворечива и разрешима (Пресбургер, 1930), в отличие от обычной арифметики. В таком смысле поля, похожие на действительные числа, могут быть полными по Гёделю и значит проще, чем арифметика. Тут немало тонких и точных условий, лень возиться с литературой, пусть математики помогут
Что Вы несёте. Какое такое поле с одним сложением. Вы не даёте себе труд даже разобраться в терминологии, а претендуете на проникновение в сущность вещей. Смею Вас заверить, она куда дальше от нас и сложнее для постижения, чем запоминание дух-трёх определений.
Григорий, знаю, что поля с одним сложением не бывают. Но насколько помню, теории некоторых полей полны в смысле Гёделя. Я не утверждаю, что это действительные поля - групп, колец, полей и решёток дал Бог
не даёте себе труд даже разобраться в терминологии, а претендуете на проникновение в сущность вещей. Смею Вас заверить, она куда дальше от нас и сложнее для постижения, чем запоминание дух-трёх определений.
Тут на самом деле норовим проникнуть в суть вещей
. К сожалению, не хватает знаний и терпения их добыть
, потому и надеемся на помощь со стороны математиков. По крайней мере вроде знаем чего не знаем, а это не мало.
Речь идёт о нетривиальных полях, Григорий, как наверное догадываетесь или о том, что согласно теории моделей теории некоторых математических структур оказываются (неожиданно?) простыми по сравнению с обычной арифметикой. Как знаете, математика весьма широкое поле и, стало быть, восклицания типа О Господи вряд ли уместны. Большинство математиков, как и любые профессионалы, разбираются лишь в своей узкой области. Мы с Vladimirovich-ем проводим разведку боем, ставим вопросы, зная наперёд, что те, скорее всего, некорректны, догадываясь в чем именно они могут быть некорректными. Мы хотим понять, расширить свои знания и если собеседник по-настоящему разбирается, то он не может не заметить куда бьём. Имейте в виду, что я получал е-мейлы с содержанием На 100% с Вами согласен от таких божьих одуванчиков как ... Alain Connes
по поводу его книжек Conversations on Mind, Matter, and Mathematics и Triangle of Thoughts. Недалёкое от адекватного понимание концептуального содержания разных областей математики далеко не тривиальное дело и тот, кто обладает таковым, скорее с радостью согласился бы поделиться со (видимо вменяемыми) соискателями
Поле действительных чисел строится или конструктивно(по Дедекинду или Кантору) или аксиоматически. В любом случае в нём определена единица(1). Прибавляя её последовательно (начиная с себя) к себе мы получаем (в силу скажем аксиом действительных чисел) вложение N в R. Удовлетворение аксиом Пеано видимо получается при этом автоматически(точно я не помню, меня никогда не интересовали соответствующие вопросы). В любом случае, N вложено в R, и потому все теоремы, касающиеся N, имеют место и в R относительно образа N в R
Григорий, еще раз, я полностью понимаю Вашу мысль насчет
все теоремы, касающиеся N, имеют место и в R относительно образа N в R
Но Вы упорно хотите меня в этом убедить. Не относительно образа я спрашивал. Отнюдь.
Если бутылочку коньячку положить в красивую коробочку, она не перестанет быть бутылочкой коньячку
Но вот если положить в коробочку, выпить коньячок
, и залить туда джину....
Будет ли справедливой теорема Геделя для такой формальной системы...
Вы предполагаете, что будет
Grigoriy написал(а):
Удовлетворение аксиом Пеано видимо получается при этом автоматически(точно я не помню, меня никогда не интересовали соответствующие вопросы).
Но почему так сразу следует объявлять бессмысленным мой скромный интерес к этой проблеме, если я просто не в курсе ...
Но значит ли это, что аксиомы Пеано избыточны для группы с двумя операциями (кольца), каковой является поле?
Этот рассказ мы с загадки начнем,
Даже Григорий ответит едва ли,
Что остается от сказки потом,
После того, как ее рассказали?
Оффтопить так оффтопить. Этот номер называется иначе: Админ форума бьется головой об стену собственного непонимания. Если б он перестал об нее биться, а вместо этого посозерцал свой иероглиф, он, глядишь, и понял бы чего.
iourique еще тот мыслитель с математическим уклоном.
В данном случае в своем репертуаре: один человек (А) задает другому (Б) вопрос, а ему (А) отвечают, что он ничего не понимает. Причем, оба и Йорик и Григорий отличаются редким умением не видеть смысла в любой фразе и оба имеют математическое образование. Потом все удивляются откуда берутся историки Фоменки и физики Шиповы (это не про Креста).
Вспоминается анекдот в тему:
Прапорщик принимает экзамен по матчасти у солдатика.
Прапор: Из чего сделан фюзеляж самолета?
Боец: Из дюралюминия.
Прапор: Верно! А из чего сделаны плоскости самолета?
Боец: Из дюралюминия.
Прапор: Неверно! Читаю для тупых - из того же материала.
**
Для любопытных читателей двумя словами излагаю суть разговора Владимировича с Григорием.
Владимирович: Григорий, если в такой-то теореме изменить такое-то условие?
Григорий: Владимирович! Вы тупой и не понимаете что спрашиваете.
Йорик: Ага, не понимает.
Самое забавное, что если Григорий или Йорик сейчас в доказательство своей правоты процитируют все работы математиков от древних греков до работ Перельмана, то сюжета разговора Владимировича с Григорием это не изменит. На вопрос Григорий упорно не отвечает, а произносит чужие правильные фразы, которые ответом на вопрос не являются.
P.S. Ув. Григорий! Не напрягайтесь напрасно. Все равно смысл данного поста Вы не осилите. Экономьте время на написании фраз типа это полная бессмыслица с дальнейшей характеристикой ее автора. Впрочем, надеюсь Вы уже сделали образец такой фразы и не тратите драгоценное время для ее написания.
Смысл Вашего поста, крыс, очень прост и доступен даже моему пониманию - Вы нагадили. Взяли и испражнились. Всё никак не можете простить людям, что Вас ткнули мордой в Ваше невежество и Вашу лживость.
Всё-таки, какая же Вы гадина, Крыс. Просто поразительно. А анекдот хорош и действительно описывает нашу ситуацию. Только роль прапорщика в ней играет Владимирович. В самом буквальном смысле - вспомним например его заботы о пересечении/непересечении множеств в формулировке аксиомы выбора. Вбил себе человек в голову, что это очень существенная деталь, и хоть кол на голове теши. А на самом деле - тот же дюралиминий.
Впрочем, может перейти и на чугуний.
Но на вопрос об избыточности аксиом Пеано Григорий нам не соизволяет ответить.
Видимо тоже бессмысленный вопрос....
Я бы уже давно махнул рукой на творчество Григория, но он ведь иногда изрекает умные и, что важно, уместные вещи! Может нам связать как-то периоды его просветления с астрологией и не тревожить в критические дни?
Не знаю почему, но до сих пор испытываю к Григорию тайную симпатию и как могу берегу его.