Вопрос про ДУ с частными производными

[Dan B-Yallay]

Skipper в сообщении #1400466 писал(а):

Хорошо, вот я задаю пример - "бесконечное ли число простых чисел-близнецов ?"

Начнём с того, что это вовсе не утверждение, а вопрос. Утверждение -- это либо

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

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

Skipper в сообщении #1400466 писал(а):

Или гипотеза Гольдбаха (сильная) .

По-моему вы путаете "еще недоказанное" с "недоказуемым"

[Skipper]

Dan B-Yallay в сообщении #1400468 писал(а):

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

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

Dan B-Yallay в сообщении #1400468 писал(а):

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

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

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

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

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

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

[Dan B-Yallay]

Skipper в сообщении #1400469 писал(а):

Ну вот я и привожу пример. Утверждение или истинно или ложно.

А я не просил такой пример.

Я просил вот это:

Skipper в сообщении #1400458 писал(а):

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

[Munin]

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

[Skipper]

Munin в сообщении #1400472 писал(а):

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

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

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

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

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

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

Я просил вот это:

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

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

[Dan B-Yallay]

Skipper в сообщении #1400590 писал(а):

А вы как считаете, это верно?

Моё мнение сейчас не имеет значения. Я дождусь от вас примера, или как?

[Skipper]

Dan B-Yallay в сообщении #1400600 писал(а):

Я дождусь от вас примера, или как?

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

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

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

[Dan B-Yallay]

Skipper в сообщении #1400603 писал(а):

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

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

[pogulyat_vyshel]

Skipper
Слушайте, вот че вы маетесь а?

[Dan B-Yallay]

Остапа просто несёт.

[Skipper]

поправил.

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

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

Цитата:

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

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

[Dan B-Yallay]

Skipper в сообщении #1400607 писал(а):

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

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

[Skipper]

Цитата:

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

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

[Pphantom]

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

[arseniiv]

Skipper в сообщении #1400611 писал(а):

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

На это надеяться не надо.