Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 6 |
[ Сообщений: 60 ] | На страницу 1, 2, 3, 4, 5, 6 След. |
|
Автор | Сообщение | |
---|---|---|
bulygin69 |
|
|
Но именно так, используя противоречие, логика программирования описывает то, что не существует «IF (А = не-А) THEN false». Эта запись утверждает то, что не существует такое «А», которое было бы «не-А» и не существует такое «не-А», которое являлось бы «А». Поскольку противоречие описывает то, что не существует (что не имеет решения или, другими словами, что имеет ноль решений), то все парадоксы подпадают под этот формат. Так, парадокс брадобрея, цитируя Колмогорова из его книжки о математической логике, звучит как: «Деревенский парикмахер бреет тех и только тех в своей деревне, кто сам не бреется. Бреет ли он себя? Несложное рассуждение показывает, что он бреет сам себя тогда и только тогда, когда не бреет себя. Как следует реагировать на такую ситуацию? Очень просто. Такого парикмахера не существует» Итак, выразить то, что не существует, можно следующим образом: «ноль А = не существует А = нет А = А равно не-А = А не равно А». И, соответственно, то, что существует, можно выразить как: «существует А = есть А = А равно А = ноль равно разности А с собой = один А». В логике же программирования, если требуется выразить то, что что-то существует, используют запись «IF (А = А) THEN true». Почему же противоречие является фундаментальным ограничением математики и почему, математика не может сформулировать понятие нуля (и, соответственно, единицы), несмотря на то, что неявно этими понятиями она все же пользуется? Напомню, как единица и ноль трактуются в математике. Ноль – это нет хотя бы одного (0=|{}| - мощность множества, не содержащего ни одно элемента, равна нулю). Один – есть только один элемент в множестве и этот элемент – ноль (1=|{0}| - мощность множества, содержащего единственный элемент ноль, равна единице). Но, честно говоря, это насмешка над логикой. Получается, чтобы дать определение нуля, нужно предварительно дать определение единицы, а чтобы определить единицу, изначально нужно определить ноль.. Именно об этой проблеме математики пишет Успенский в статье «семь размышлений на темы размышлений о философии математики»: «… по существу, используется то самое понятие натурального числа, которое мы еще только собираемся аксиоматически определить». Кроме того, такие определения страдают еще одним существенным недостатком – они никак не связаны с тем, что именно мы считаем. Итак, возвращаясь к вопросу, почему же математика не смогла дать определение нуля. Она этого не смогла сделать потому, что ее суть – непротиворечивость. А ноль – это и есть то самое противоречие, которое она всеми силами пытается избежать. Непротиворечиво противоречие не опишешь. Все существо математика, воспитанного с молодых ногтей на том, что противоречия должны быть изгнаны из их рая (из рая однозначности), противится тому, чтобы помыслить, что «ноль – то же самое, что не равно себе«, поскольку он в этом случае должен принять как то, что «ноль равен нулю», так и то, что «ноль не равен нулю». «Бред» - кричит он! Хотя сам, втихаря и не понимая этого, противоречием все же пользуется. Пользуется, прибегая, в частности, к понятию импликации, суть которой в том, что из лжи следует как ложь, так и истина. О том же и Гёдель - о невозможности описать систему полным образом, не прибегая к противоречию; можно описать ее непротиворечиво, но тогда система будет не полна (знание о ней будет не истинно). Вот и натуральный ряд (этот священный Грааль математики) с иронией об этом же – ну, никак не поддается он «правильному» мышлению. |
||
Вернуться к началу | ||
За это сообщение пользователю bulygin69 "Спасибо" сказали: TepMoc |
||
individ |
|
|
Что?
Нравиться философствовать? Ещё один философ объявился! Идиотизм полный! Слушай - иди придумай как решить какое нибудь - не решённое уравнение. Таких уравнений бесконечно много. Так нет! Начинают философию разводить! Начитаются Бурбаки и понеслось! |
||
Вернуться к началу | ||
bulygin69 |
|
|
individ писал(а): Что? ...! Вот об этом и было сказано ... о идиотах с комментариями типа ох и ах. |
||
Вернуться к началу | ||
individ |
|
|
Пуанкаре как то сказал.
Последующие поколения поймут, что теория множеств - это психическое заболевание. И один человек от этого уже вылечился. В физике хорошо. Придумал тип теорию. Ему говорят проведи опыт и докажи на опыте свою правоту. В математике - это не так. Там нельзя провести опыт. Кто-то пользуясь своим положением. Введёт какую нибудь ахинею. Скажет это так и есть. Таких ахиней может внести сотни. Назовёт их теоремами. И на их основе такую чушь выведит. Аж волосы на голове дыбом стоят. Математики уже давно ничего не решают. Они доказывают теоремы. То есть занимаются философствованием. Любит человек это дело. Болтать! Они уже ушли от основной функции математики. То для чего она создавалась и для чего нужна была. Это нахождение наиболее простых методов расчёта. Поиск закономерностей которые бы давали обнаружить какой нибудь закон. Это очень тяжёлая работа и придумать, что либо крайне тяжело. Деньги платят не за идею. Она может на одном листочке поместиться. Деньги платят за объём. Вот и несётся поток этот без конца. Я даже один раз прочитал работу как один математик писал как он решает уравнение с бесконечным числом неизвестных, в бесконечной степени. Набор бредятины. Хотя попроси его предложить метод расчёта алгебраического уравнения хотя бы 7 степени. Такой крик подымут. Это не математика. Смотришь на это и думаешь. Сама наука потихоньку скатывается и становится фриком! |
||
Вернуться к началу | ||
За это сообщение пользователю individ "Спасибо" сказали: TepMoc |
||
bulygin69 |
|
|
individ писал(а): ... Смотришь на это и думаешь. ... Смотрю и думаю, что ... статья о протворечии как ограничении метода математики - метода непротиворечивости. Она о том, что ноль - то же самое, что не равно себе ... а этот индивид ...о волосах дыбом, о деньгах за объем и т.д . Блеск и нищета! Нет, одна нищета и никакого блеска - одна убогость. |
||
Вернуться к началу | ||
individ |
|
|
Ну тогда скажи!
Вся твоя философия в каком расчёте может пригодиться? Если у тебя ноль - это не ноль? То там такое можно насчитать! Если, что-то чему то не противоречит, то это не значит, что можно на основе этого делать кучу выводов. Может это не противоречит твоим примитивным умственным взглядам. А на деле всё не так? |
||
Вернуться к началу | ||
bulygin69 |
|
|
individ писал(а): Ну тогда скажи! Вся твоя философия в каком расчёте может пригодиться? Если у тебя ноль - это не ноль? То там такое можно насчитать! Если, что-то чему то не противоречит, то это не значит, что можно на основе этого делать кучу выводов. Может это не противоречит твоим примитивным умственным взглядам. А на деле всё не так? А на деле ты, видимо, и до 4 класса не дорос. Ссылка на то как ребятишкам поясняют понятие истинное и ложное в математие: http://nsportal.ru/nachalnaya-shkola/ma ... istinalozh ... Урок математики 4 класс"Истина.Ложь" Определи истинные высказывания. 2+2=4, 2 + 2 = 5, 2+3=5 ... Смогешь? Или слабо? Вдогону пример о летающих крокодилах: Противоречиво высказывание: "крокодил, который не летает - это тот и тлько тот крокодил, который летает" ... А поскольку не смогешь, скажу: "такого крокодила не существует" |
||
Вернуться к началу | ||
individ |
|
|
Вернуться к началу | ||
bulygin69 |
|
|
individ писал(а): Я же говорю! Философия! Вот с ним побеседуй. Вот и все - сдулся. Впрочем, не удивляет. |
||
Вернуться к началу | ||
ivashenko |
|
|
Существует такое упорядочение чисел натурального ряда при котором 3 мажорирует все остальные числа, а 1 не мажорирует ничего, т.н. порядок Шарковского. Этот порядок связан с нелинейной динамикой и фракталами, а также математическим понятием "Хаос", также он связан с пониманием "особых точек" полюсов.
|
||
Вернуться к началу | ||
На страницу 1, 2, 3, 4, 5, 6 След. | [ Сообщений: 60 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Ограничение в транспортной задаче | 2 |
390 |
25 сен 2015, 10:56 |
|
Фундаментальное решение оператора
в форуме Специальные разделы |
2 |
605 |
13 ноя 2016, 22:45 |
|
Однородная система и ее фундаментальное решение
в форуме Линейная и Абстрактная алгебра |
5 |
257 |
26 окт 2017, 11:12 |
|
Используя фундаментальное уравнение Гиббса показать, что
в форуме Специальные разделы |
0 |
760 |
20 сен 2021, 17:57 |
|
Найти фундаментальное решение задачи Коши | 3 |
686 |
23 июн 2014, 20:49 |
|
Применение математики
в форуме Размышления по поводу и без |
4 |
966 |
28 апр 2014, 14:28 |
|
Хитрые математики
в форуме Палата №6 |
5 |
519 |
30 окт 2018, 11:31 |
|
Символизм математики
в форуме Размышления по поводу и без |
0 |
141 |
05 дек 2019, 06:20 |
|
Контрольная по математики((( | 6 |
472 |
29 апр 2014, 20:54 |
|
Экзамен по математики | 2 |
463 |
20 янв 2017, 20:01 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 10 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |