2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


В раздел Пургаторий будут перемещены спорные темы (преимущественно псевдонаучного характера), относительно которых администрация приняла решение о нецелесообразности продолжения дискуссии.
Причинами такого решения могут быть, в частности: безграмотность, бессодержательность или псевдонаучный характер темы, нарушение автором принципов ведения дискуссии, принятых на форуме.
Права на добавление сообщений имеют только Модераторы и Заслуженные участники форума.



Начать новую тему Ответить на тему На страницу Пред.  1, 2, 3, 4, 5  След.
 
 Re: Вопрос про ДУ с частными производными
Сообщение21.06.2019, 02:13 
Заслуженный участник
Аватара пользователя


11/12/05
9953
Skipper в сообщении #1400466 писал(а):
Хорошо, вот я задаю пример - "бесконечное ли число простых чисел-близнецов ?"
Начнём с того, что это вовсе не утверждение, а вопрос. Утверждение -- это либо

"множество пар-близнацов бесконечно"
либо
"множество пар-близнецов конечно".

Так которое из них является истиной, но недоказуемо?

Skipper в сообщении #1400466 писал(а):
Или гипотеза Гольдбаха (сильная) .
По-моему вы путаете "еще недоказанное" с "недоказуемым"

 Профиль  
                  
 
 Re: Вопрос про ДУ с частными производными
Сообщение21.06.2019, 02:19 


24/03/09
505
Минск
Dan B-Yallay в сообщении #1400468 писал(а):
Так которое из них является истиной, но недоказуемо?


В данном случае, любое из этих утверждений можеть быть истиной, но недоказуемым.

Dan B-Yallay в сообщении #1400468 писал(а):
"множество пар-близнацов бесконечно"


Ну вот я и привожу пример. Утверждение или истинно или ложно.
"Доказательство" типа проверить бесконечное количество простых чисел - не вариант, так мы до бесконечности будем "доказывать".

Но доказательства в конечной форме, допустим, в принципе не существует. Вывод такой - утверждение может быть истинно, но недоказуемо - в том плане, что человечество никогда об этом не узнает.
Не узнает и "правды" - бесконечное ли количество таких чисел-близнецов.

Так же и не узнает другой правды - о том, что никогда доказательства никто не дождётся.

-- Пт июн 21, 2019 01:20:33 --

"еще недоказанное" - если будет вечно недоказанным, то оно и недоказуемое.

 Профиль  
                  
 
 Re: Вопрос про ДУ с частными производными
Сообщение21.06.2019, 02:23 
Заслуженный участник
Аватара пользователя


11/12/05
9953
Skipper в сообщении #1400469 писал(а):
Ну вот я и привожу пример. Утверждение или истинно или ложно.
А я не просил такой пример.

Я просил вот это:
Skipper в сообщении #1400458 писал(а):
Но как известно, существуют истинные, но недоказуемые (в принципе) , математические утверждения.

 Профиль  
                  
 
 Re: Вопрос про ДУ с частными производными
Сообщение21.06.2019, 03:33 
Заслуженный участник
Аватара пользователя


30/01/06
72407
Задача, кстати сказать, была примерно на 10-й класс.

 Профиль  
                  
 
 Re: Вопрос про ДУ с частными производными
Сообщение21.06.2019, 16:10 


24/03/09
505
Минск
Munin в сообщении #1400472 писал(а):
Задача, кстати сказать, была примерно на 10-й класс.


Какая задача? Про велосипедиста с дифф. уравнениями? Если эта, то вы смысле, на факультативах повышенной сложности для 10-го класса?

Для решения этой задачи, необходимо не только 1) интегралы уметь считать, а ещё и - 2) уметь сводить практические задачи к составлению дифференцильных уравнений, и 3) уметь решать ещё и такие дифференциальные уравнения.

Может в продвинутых школах у вас такое и решают, но у нас их не было даже на 1 курсе университета :)
Предмет ОДУ появился только на 2 курсе. Какой 10-й класс, о чём вы?

-- Пт июн 21, 2019 15:14:18 --

Dan B-Yallay в сообщении #1400470 писал(а):
Я просил вот это:


Но как известно, существуют истинные, но недоказуемые (в принципе) , математические утверждения.

А вы как считаете, это верно?
Или всё что истинно, то доказуемо (в принципе) за конечное время, так сказать?

 Профиль  
                  
 
 Re: Вопрос про ДУ с частными производными
Сообщение21.06.2019, 16:44 
Заслуженный участник
Аватара пользователя


11/12/05
9953
Skipper в сообщении #1400590 писал(а):
А вы как считаете, это верно?
Моё мнение сейчас не имеет значения. Я дождусь от вас примера, или как?

 Профиль  
                  
 
 Re: Вопрос про ДУ с частными производными
Сообщение21.06.2019, 16:54 


24/03/09
505
Минск
Dan B-Yallay в сообщении #1400600 писал(а):
Я дождусь от вас примера, или как?


Какого примера? Истинного но недоказуемого математического утверждения?
Я не знаю примера. (но в интернете пишут что такие утверждения есть, потому я им и верю).

Строгость доказательства гарантируется тем, что его можно представить в виде записи на формальном языке (это и происходит при компьютерной проверке доказательств).

Если ни на каком формальном языке нельзя описать доказательство (или опровергающее доказательство) в виде конечной длины записи - значит оно истинно или ложно, но ни то ни другое -- недоказуемо.
Что тут непонятно я говорю?
Вот бесконечно ли количество простых чисел-близнецов? Проверять все простые числа - получится доказательство бесконечной длины,
потому не вариант. А можно ли в принципе описать доказательство в виде конечной длины записи ? Это я и понимаю под "существует" ,
или "не существует" в принципе.

 Профиль  
                  
 
 Re: Вопрос про ДУ с частными производными
Сообщение21.06.2019, 17:02 
Заслуженный участник
Аватара пользователя


11/12/05
9953
Skipper в сообщении #1400603 писал(а):
Если ни на каком формальном языке нельзя описать доказательство в виде конечной длины записи - значит оно истинно, но недоказуемо.

Например 1+1=3 тоже нельзя доказать в виде конечной записи. От это значит оно истинно, но недоказуемо? Или как?

 Профиль  
                  
 
 Re: Вопрос про ДУ с частными производными
Сообщение21.06.2019, 17:02 
Аватара пользователя


31/08/17
2116
Skipper
Слушайте, вот че вы маетесь а?

 Профиль  
                  
 
 Re: Вопрос про ДУ с частными производными
Сообщение21.06.2019, 17:05 
Заслуженный участник
Аватара пользователя


11/12/05
9953
Остапа просто несёт.

 Профиль  
                  
 
 Re: Вопрос про ДУ с частными производными
Сообщение21.06.2019, 17:12 


24/03/09
505
Минск
поправил.

Если ни на каком формальном языке нельзя описать доказательство (или опровергающее доказательство) в виде конечной длины записи - значит оно истинно или ложно, но ни то ни другое -- недоказуемо.

Т.е. ни истинность ни ложность не доказывается записью конечной длины. Это "недоказуемость". Человечество не узнает, истинно или ложно.

Цитата:
Например 1+1=3 тоже нельзя доказать в виде конечной записи.


Зато опровергнуть можно записью конечной длины.

 Профиль  
                  
 
 Re: Вопрос про ДУ с частными производными
Сообщение21.06.2019, 17:15 
Заслуженный участник
Аватара пользователя


11/12/05
9953
Skipper в сообщении #1400607 писал(а):
Зато опровергнуть можно записью конечной длины.

А про это вы ничего не говорили. Может имеет смысл думать перед тем как постить на форуме заявления?

 Профиль  
                  
 
 Re: Вопрос про ДУ с частными производными
Сообщение21.06.2019, 17:19 


24/03/09
505
Минск
Цитата:
Может имеет смысл думать перед тем как постить на форуме заявления?


Я может и неточно выражаюсь, но многие понимают что я пытаюсь сказать.

 Профиль  
                  
 
 Posted automatically
Сообщение21.06.2019, 17:31 
Заслуженный участник


09/05/12
25179
 i  Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Пургаторий (М)»
Причина переноса: похоже, давно пора.

 Профиль  
                  
 
 Re: Вопрос про ДУ с частными производными
Сообщение21.06.2019, 17:50 
Заслуженный участник


27/04/09
28128
Skipper в сообщении #1400611 писал(а):
Я может и неточно выражаюсь, но многие понимают что я пытаюсь сказать.
На это надеяться не надо.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 63 ]  На страницу Пред.  1, 2, 3, 4, 5  След.

Модераторы: Модераторы Математики, Супермодераторы



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

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


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

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group