Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ Сообщений: 3 ] 
Автор Сообщение
 Заголовок сообщения: Проблема однозначности доказательства
СообщениеДобавлено: 21 окт 2014, 23:12 
Не в сети
Начинающий
Зарегистрирован:
21 окт 2014, 22:47
Сообщений: 1
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Ребят, сегодня сидел пил кофе и смотрел фильм, и чего-то задумался. Суть в чем: Вот если существует какая-то теорема, и существует доказательство того что она либо - верна, либо нет. Пусть один человек доказал какую-то теорему - что она верна, умные дядьки посовещались и проверив его решение сказали - оно правильное. И все вроде бы успокоились, поверив в это док-во верное. А другой человек, взял и доказал что она не верна, и дядьки проверив пришли к выводу, что и это решение правильное. То есть один правильно доказал что она верная, а второй правильно доказал что нет. Так вот вопрос: Путь разных способов доказать теорему существует n - штук(от 0 - до бесконечности). Так что бы однозначно доказать что-то или опровергнуть, должно выполняться следующее(если R(T) - это способ решения теоремы). А на словах, если существует одно любое верное решение теоремы, то теорема должна быть верна или или не верна, при любом другом(отличном от первого) решени.
Ссылка на формулу: https://www.dropbox.com/s/4sqpuamvw4p2xjc/%D0%A1%D0%BD%D0%B8%D0%BC%D0%BE%D0%BA%20%D1%8D%D0%BA%D1%80%D0%B0%D0%BD%D0%B0%202014-10-22%20%D0%B2%200.07.27.png?dl=0

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Проблема однозначности доказательства
СообщениеДобавлено: 22 окт 2014, 07:59 
Не в сети
Оракул
Зарегистрирован:
03 июл 2013, 12:54
Сообщений: 895
Cпасибо сказано: 6
Спасибо получено:
40 раз в 35 сообщениях
Очков репутации: 2

Добавить очки репутацииУменьшить очки репутации
Проблема более серьёзная чем на первый взгляд кажется!
Теорема Гёделя о не полноте - это мина замедленного действия - вопрос в том когда она рванёт.

Вывод и смысл простой.

На первый взгляд правильные логические умозаключения и утверждения и их цепочка выводов - может привести к не верному результату.
Природа почему то установила такой механизм, что логическая цепочка умозаключений - хотя там всё будет корректно - может привести к не верному результату.

Вывод от всего этого один.
Колоссальное количество теорий построенных на одном логическом умозаключении - может оказаться не верным.
Для математики и философии - это эквивалентно самоубийству.
Эйнштейн с Гёделем когда подложили эту теорему - рассчитывали, что со временем рано или поздно люди придут к этому выводу.

Со временем приходит это понимание. В частности пересмотр многих теорий в философии - она первая под удар попала.
Со временем многие теории в математике то же - когда начнут их проверять. То есть когда теория столкнёться с опытом.

Правда математики поступают хитро. Когда возникают ляпсусы - они их умалчивают и скрывают. Или же приподносят их как некие парадоксы.
В природе парадоксов нет.
Есть только наше не понимание процессов в природе.

Так, что бросайте заниматься логикой. Считайте, считайте и считайте! Хотя надо это делать с умом.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Проблема однозначности доказательства
СообщениеДобавлено: 02 ноя 2014, 16:24 
Не в сети
Light & Truth
Аватара пользователя
Зарегистрирован:
14 мар 2010, 14:56
Сообщений: 4584
Cпасибо сказано: 33
Спасибо получено:
2271 раз в 1754 сообщениях
Очков репутации: 580

Добавить очки репутацииУменьшить очки репутации
Тема перенесена в ПАЛАТУ в связи с отсутствием математического содержания и грубым нарушением п.3.3.2 Правил.

Вернуться к началу
 Профиль  
Cпасибо сказано 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему      Страница 1 из 1 [ Сообщений: 3 ]

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Доказательства

в форуме Дискретная математика, Теория множеств и Логика

DeD

9

386

18 окт 2016, 11:10

Доказательства

в форуме Алгебра

DeD

8

422

14 окт 2016, 10:46

Доказательства теорем

в форуме Дискретная математика, Теория множеств и Логика

aManOnTheEarth

33

535

28 июл 2019, 02:09

Как составить алгоритм доказательства в ИВ?

в форуме Дискретная математика, Теория множеств и Логика

Chayepit

1

321

07 апр 2015, 22:02

Обоснование схемы доказательства

в форуме Дискретная математика, Теория множеств и Логика

Andy

1

256

09 янв 2017, 15:41

Доказательства тригонометрических неравенств

в форуме Тригонометрия

Alexium

6

1355

24 ноя 2014, 12:17

Разбор доказательства метрики

в форуме Функциональный анализ, Топология и Дифференциальная геометрия

Evgenii123456

6

342

11 дек 2022, 11:09

Пара задач на доказательства

в форуме Теория вероятностей

math_help_pls

0

212

11 дек 2018, 11:53

Проверить правильность доказательства.

в форуме Линейная и Абстрактная алгебра

Shirypen

1

116

25 сен 2023, 17:16

Сокращенный вариант доказательства ВТФ

в форуме Теория чисел

7alek7

0

81

05 июл 2023, 15:15


Часовой пояс: UTC + 3 часа [ Летнее время ]



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 16


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  

Яндекс.Метрика

Copyright © 2010-2023 MathHelpPlanet.com. All rights reserved