(no subject)

[sherlock-holms.livejournal.com]

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

Comments

[cholponjr.livejournal.com]

задайте поиск по "теорема ферма" это одна из них, остальные выплывут

[gamak57.livejournal.com]

Теорема Ферма уже доказана.

[booblecat.livejournal.com]

За доказательство Великой теоремы Ферма по определению не могут дать Нобелевки, потому что Нобелевки по математике просто нет. И, да, её доказали ещё в 1994 году.

[sherlock-holms.livejournal.com]

Да, спасибо, нашла. Их семь: http://lenta.ru/articles/2004/09/12/poincare/
Не Нобелевскую, конечно, раз о математике, а в деньгах на двести тысяч меньше - миллион :)
Спасибо :)))
Очень интересно и удивительно. Зачитаюсь теперь статьями :)))

Проблема Кука (сформулирована в 1971 году)
Допустим, что вы, находясь в большой компании, хотите убедиться, что там же находится ваш знакомый. Если вам скажут, что он сидит в углу, то достаточно будет доли секунды, чтобы, бросив взгляд, убедиться в истинности информации. В отсутствие этой информации вы будете вынуждены обойти всю комнату, рассматривая гостей. Это говорит о том, что решение какой-либо задачи часто занимает больше времени, чем проверка правильности решения.

Стивен Кук сформулировал проблему: может ли проверка правильности решения задачи быть более длительной, чем само получение решения, независимо от алгоритма проверки. Эта проблема также является одной из нерешенных задач из области логики и информатики. Ее решение могло бы революционным образом изменить основы криптографии, используемой при передаче и хранении данных.

[cholponjr.livejournal.com]

действительно интересно! сам пойду перечитаю -)

[akeepaki.livejournal.com]

поискать в компьютерре, там точно было. в журналах прошлого года, по-моему летних. http://computerra.ru

[a-bronx.livejournal.com]

1. Присуждение Нобелевской премии никем не может быть гарантировано заранее, стало быть и списков никаких нету.
2. Присуждают Нобелевки в основном экспериментаторам за открытия, а не теоретикам за теории (за исключением, может быть, экономистов - туда много математиков попадает). Хотя несколько "исключений" всё же было.
3. Полезность вопроса в желании доказать эти теории? ;)

[sherlock-holms.livejournal.com]

3. А как же :))) Конечно в этом :) И в том, что вдруг этот пост попадётся какому-нибудь гению, тот прочитает, подумает и докажет то, что не могли доказать другие.