2014 dxdy logo

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

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




На страницу Пред.  1, 2, 3, 4, 5  След.
 
 Re: Вопрос про ДУ с частными производными
Сообщение21.06.2019, 02:13 
Аватара пользователя
Skipper в сообщении #1400466 писал(а):
Хорошо, вот я задаю пример - "бесконечное ли число простых чисел-близнецов ?"
Начнём с того, что это вовсе не утверждение, а вопрос. Утверждение -- это либо

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

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

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

 
 
 
 Re: Вопрос про ДУ с частными производными
Сообщение21.06.2019, 02:19 
Dan B-Yallay в сообщении #1400468 писал(а):
Так которое из них является истиной, но недоказуемо?


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

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


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

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

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

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

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

 
 
 
 Re: Вопрос про ДУ с частными производными
Сообщение21.06.2019, 02:23 
Аватара пользователя
Skipper в сообщении #1400469 писал(а):
Ну вот я и привожу пример. Утверждение или истинно или ложно.
А я не просил такой пример.

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

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

 
 
 
 Re: Вопрос про ДУ с частными производными
Сообщение21.06.2019, 16:10 
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 
Аватара пользователя
Skipper в сообщении #1400590 писал(а):
А вы как считаете, это верно?
Моё мнение сейчас не имеет значения. Я дождусь от вас примера, или как?

 
 
 
 Re: Вопрос про ДУ с частными производными
Сообщение21.06.2019, 16:54 
Dan B-Yallay в сообщении #1400600 писал(а):
Я дождусь от вас примера, или как?


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

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

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

 
 
 
 Re: Вопрос про ДУ с частными производными
Сообщение21.06.2019, 17:02 
Аватара пользователя
Skipper в сообщении #1400603 писал(а):
Если ни на каком формальном языке нельзя описать доказательство в виде конечной длины записи - значит оно истинно, но недоказуемо.

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

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

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

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

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

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

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


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

 
 
 
 Re: Вопрос про ДУ с частными производными
Сообщение21.06.2019, 17:15 
Аватара пользователя
Skipper в сообщении #1400607 писал(а):
Зато опровергнуть можно записью конечной длины.

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

 
 
 
 Re: Вопрос про ДУ с частными производными
Сообщение21.06.2019, 17:19 
Цитата:
Может имеет смысл думать перед тем как постить на форуме заявления?


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

 
 
 
 Posted automatically
Сообщение21.06.2019, 17:31 
 i  Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Пургаторий (М)»
Причина переноса: похоже, давно пора.

 
 
 
 Re: Вопрос про ДУ с частными производными
Сообщение21.06.2019, 17:50 
Skipper в сообщении #1400611 писал(а):
Я может и неточно выражаюсь, но многие понимают что я пытаюсь сказать.
На это надеяться не надо.

 
 
 [ Сообщений: 63 ]  На страницу Пред.  1, 2, 3, 4, 5  След.


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group