КОНКУРС!

← →
Igorek (2002-05-23 17:02) [0]

Надо найти еще никем не решенную задачу по информатике с самым коротким условием.

Более-менее логическую, а не что-то типа "найти 1000000000000000 знак числа ПИ".

К сожалению призовых нет, так что победителю только благодарность :-)

← →
MBo (2002-05-23 17:22) [1]

что значит не решенную? как теорема Ферма?

← →
Suntechnic (2002-05-23 17:35) [2]

>MBo © (23.05.02 17:22)
Теорему Ферма уже почти 10 лет как доказали :)

← →
Виктор Щербаков (2002-05-23 17:37) [3]

Suntechnic © (23.05.02 17:35)
Серьезно?
И кто этот счастливец? Может ссылка есть...

← →
Malder (2002-05-23 17:38) [4]

Вот вам задачка. Квадратура круга.

Есть прямоугольная поверхность некой площади. Нужно сделать круг такой же площади.
Можно решать =)

← →
Виктор Щербаков (2002-05-23 17:39) [5]

Malder © (23.05.02 17:38)
А причем здесь информатика?

← →
MBo (2002-05-23 17:43) [6]

>Suntechnic
Я знаю, просто как пример

← →
Suntechnic (2002-05-23 17:44) [7]

>Виктор Щербаков © (23.05.02 17:39)
Бегло можешь глянуть здесь.
http://www.pereplet.ru/obrazovanie/stsoros/500.html

Но доказал её не автор этой статьи, а английский математик Andrew Wiles.

← →
Виктор Щербаков (2002-05-23 17:49) [8]

Suntechnic © (23.05.02 17:44)
Угу, я уже нашел в другом месте.
Обидно, что не знал. :(
Когда нам матан читалии рассказывали про нее, она еще не была доказана. Вот уж не думал, что ситуация с тех пор изменилась!

← →
Suntechnic (2002-05-23 17:55) [9]

>Виктор Щербаков ©
>Когда нам матан читалии рассказывали про нее, она еще не была доказана.
Что то ты себя быстро сотарил :). Окончательно и бесповоротно теорема была доказана в 1995 году- 7 лет назад. Тогда, согласно твоему профайлу, мат анализ ты слушал в 16 лет :) По-моему слегка рановато ;)

← →
Виктор Щербаков (2002-05-23 17:57) [10]

Suntechnic ©
Как раз в 16 и слушал!
Просто я в школу с 6-ти лет пошел.

← →
Mystic (2002-05-23 18:00) [11]

А можно давать алгоритмически неразрешимые проблемы?

← →
MBo (2002-05-23 18:06) [12]

Кстати, площадь самопересекающегося многоугольника посчитать ;)

← →
copyr25 (2002-05-23 18:34) [13]

"Скажи мне, говорю я правду или лгу, когда говорю, что я лгун?"

← →
copyr25 (2002-05-23 18:40) [14]

Есть такая теорема Гёделя о неполноте языка (о неполноте исчисления предикатов).
Она строго доказывает, упрощенно
формулируя, что "в языке есть правильное и недоказуемое суждение".
С одной стороны эта теорема "узаконивает" наличие аксиом, с другой показывает
ограниченность человеческой логики.
Приведенный вопрос - вполне "гёделевский":))

← →
Igorek (2002-05-23 19:58) [15]

> MBo :Кстати, площадь самопересекающегося многоугольника посчитать
> ;)

Иными словами: площадь произвольного многоугольника.

Вот, уже близко.
Но действительно сложная, и еще не решенная.

← →
Igorek (2002-05-23 20:13) [16]

А алгоритм для площади произвольного многоуголиника один мой знакомый как раз сделал был однажды.

← →
Mystic (2002-05-23 20:17) [17]

> С одной стороны эта теорема "узаконивает" наличие аксиом,
> с другой показывает
> ограниченность человеческой логики.

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

Она никоим образом не "узаконивает" аксиом, поскольку сама относится к исчислению преликатов, и никоим образом не относится к другим системам логики. Кроме того, она не показывает на ограниченность человеческой логики, так как мы можем в рамках металогики доказать недоказуемость того или иного утверждения.

← →
Igorek (2002-05-24 19:41) [18]

?...

← →
Igorek (2002-05-25 13:30) [19]

Народ, ну хоть пошлите меня по какому либо адресу...
;-)

КОНКУРС! Найти похожие ветки