Xaositect, а что кроме метода форсинга и теорем Геделя и Тарского в книге Манина больше ничего особенного (по вашему мнению)? kp9r4d, а вы действительно так уверены, что существуют несвязанные друг с другом математические теории? К примеру (не утверждаю, что посылка утверждения имеет место быть), если гипотеза Римана недоказуема, то в силу того факта, что ее истинность эквивалентна определенной оценке остаточного члена, то и эту оценку получить не удастся, как бы не ухитрялись в аналитических или элементарных методах оценивания, а ведь в такой ситуации искушенный математик, владеющий исключительно только знаниями, необходимыми для работы в области аналитической теории чисел, может попасть в такого рода "просак" (а то и того больше, заниматься этой "аналитической" проблемой всю жизнь, так и оставшись в неведении). Вот так и живём. Лично мое мнение, что через какое-то времени взгляд на аналитическую теорию чисел скорректируется (как это бывало и с другими разделами математики). Впрочем, не уверен, что этот взгляд на аналитическую теорию чисел распротранен среди математиков (конечно, "столь плотной" связи между аналитической теории чисел и математической логикой пока может и не наблюдается, как, скажем между теорией размерности и теории множеств, но это может быть вопросом времени, пока не занимаются решением соответствующих задач, где эта связь отчетливо видна). На счет методов оценивания отчасти согласен, но я велу речь о возможности оценивания вообще. Мы ведь только "гости" в мире математики, хоть и непосредственно влияем на ее развитие.
Спасибо за литературу, учту.
|