Ксенчук Евгений пишет: Не даю Георгию соврать. Присоединяюсь к его ответам.

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

Евгений Фролов пишет:

Ксенчук Евгений пишет: Не даю Георгию соврать. Присоединяюсь к его ответам.

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

"Были бы деньги, а недостающие аксиомы найдутся." "Если нужны деньги на поиск недостающих аксиом - могу предоставить грант"- из переписки Курта Гёделя и Джеймса Стиллмана Рокфеллера, неопубликованное, из персонального архива.

И вообще, это у вас, в математике. А у нас, в жизни, истинность и доказуемость - не одно и то же. Мы же знаем, что "Учение Маркса всесильно, потому что оно верно". И доказывать ничего не нужно. Или "Россия встаёт с колен".

Георгий Лейбович пишет:

Евгений Фролов пишет:

Ксенчук Евгений пишет: Не даю Георгию соврать. Присоединяюсь к его ответам.

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

"Были бы деньги, а недостающие аксиомы найдутся."

Ценю желание пофилософствовать, только не в этой ветке, пожалуйста!

Георгий Лейбович пишет: открывать новую о научном эксперименте и теории познания, одной из составляющих учения Деминга о глубинном знании.

Кстати, очень хорошая тема - Практические методы научного подхода в управлении производством!

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

Евгений Борисович, привет.
Используя имеющиеся аксиомы, прошу не мусорить в ветке.
Что ли собственного MESFORUMа не хватает?