Дядя Петрос и проблема Гольдбаха

[green_fr]

Прочитал подаренную друзьями книгу. У меня было английское издание, на обложке которого «дядя Петрос» не читался совершенно — оно и к лучшему. Понятно, что роман под названием «Проблема Гольдбаха» не купит вообще никто, но роман про «дядю Петроса» слишком отдаёт (совершенно отсутствующим в книге) фольклором, сразу представляется что-то вроде «Тореадоров из Васюковки».

А на самом деле книга оказалась очень близкой «Ходу королевы», за тем, казалось бы, исключением, что вместо безумно увлечённой шахматистки — безумно увлечённый математик. Но интереснее всего здесь именно искать отличия.

Шахматистка Бет совершенно не задумывается о будущем, она тупо хочет выиграть, вот и играет. Что будет дальше — а что такое «дальше»? Время от времени её озаряет, что что-то идёт не так — у неё нет ни семьи, ни даже каких-то социальных навыков, чтобы поддерживать человеческие отношения. Но дальше этого дело не идёт — расставляй, поехали. Пускай об этом думает читатель, если ему интересно. Дядя Петрос наоборот, прекрасно понимает как тупиковость своей ситуации (у него тоже никого в жизни нет и быть не может), так и течение времени. Бет буквально раз вздохнула о том, что когда-то придёт молодая шпана, что сметёт её с лица земли — а дядя Петрос играет не против других математиков, он играет против самой математики, против задачки, против бога, против времени. Он знает, что буквально через 10 лет его мозги будут уже не те, и всё, что он не успеет сделать до условных 30 или 40 лет, всё это никогда уже не будет сделано.

Второе отличие — в самой природе математики и шахмат. Дядя Петрос очень правильно замечает, что в математике не бывает второго места. Если ты вторым доказал очень важную теорему, то тебе в лучшем случае ободряюще похлопают по плечу — не расстраивайся, бывает. В то время как шахматист вполне может быть № 2, «в первой десятке» и так далее.
Не говоря уже об отношении со временем: в шахматах рано или поздно ты узнаешь, выиграл ты или проиграл. В математике же ты можешь биться над задачей годами, а исход так и будет неизвестен. Не говоря уже о «подставе» со стороны Гёделя, когда вдруг стало понятно, что некоторые задачи просто нерешаемы — это не ты тупой, это заложено в их природе. И более того (спасибо, Тьюринг), невозможно заранее понять, решаема эта задача или нет — ужасный удар по любой мотивации.

Где эти книги снова похожи — это в игре с читателем, когда ему, казалось бы, надо понимать, о чём говорят герои — но при этом можно обойтись и достаточно общими знаниями, благо записей партий / выкладок доказательств в книгах не приводят. И при этом однозначно кайф читать исторические сноски, вспоминать какие-то кусочки даже не институтских курсов (у нас такой математики не было), а каких-то научно-популярных статей. Собственно, обе книги примерно такие, научно-популярные романы. Шахматный точно работает — в наш клуб на работе записался новый человек, после того как посмотрел сериал на Netflix’е. Не знаю, как сработает дядя Петрос, но читать или смотреть после него научно-популярную математику однозначно хочется больше.

Опять же, непонятно, насколько «всё так и есть на самом деле» (сдаётся мне, сколько в мире математиков, столько будет и отношений к реализму описанного). Но ощущение «производственного романа» и там, и там. Наверное, всё не похоже на правду, но до этих книг ты представляешь себе шахматиста или математика ещё хуже.

---

Удивило обилие французской лексики в книге. В прошлый раз, когда я удивлялся такому, мне рассказали, что такой вот английский язык и есть: в нём есть «нормальное» слово bride, и есть «выпендрёжное» fiancée. И вообще там можно найти чуть ли не полный французский словарь, синонимами на каждое английское слово. Но в книге типографически выделяли заимствования, например слово «rendezvous» считается английским (печатается не курсивом, да и дефис пропал), а «habitué» — французским (напечатано курсивом). В итоге попадаются прекрасные фразы типа «he became a habitué» (тут лично я споткнулся — «a habitué» или «an habitué»? у правил какого языка приоритет?) — представление, что все англоязычные читатели понимают эту фразу кажется мне ещё более оптимистичным, чем ожидать от среднего читателя понимания гипотезы Гольдбаха.
Было ещё «tres à la mode» (именно так, без accent grave), «tableau vivant» и множество других французских слов.

Comments

[elmak.livejournal.com]

В "Короне" королева обсуждает с Порчи его невесту и говорит fiancée. я очень удивилась, а тут вот оно как!

[igparis.livejournal.com]

«habitué» — напечатано италиком
-----------по-русски - напечатано "курсивом"

[green-fr.livejournal.com]

Точно, спасибо!

[buddha239.livejournal.com]

Ушедший из ЖЖ Сова злопыхал, что для получения премии Филдса нужно еще раз доказать формулу Виттена-Концевича.:) Сработало у самого Концевича, Мирзахани и еще у кого-то между ними.

[green-fr.livejournal.com]

Объяснишь шутку? Я не настолько в теме, такое я не понимаю...

[buddha239.livejournal.com]

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

Могу попробовать поподробнее написать - но это если интересно.

[green-fr.livejournal.com]

Да, понял, спасибо :-)

[galyna-p.livejournal.com]

Не читала и не смотрела "Ход королевы" не могу поддержать беседу.
***
Я тоже недавно заметила, что в английских книжках много, даже слишком много французских слов и выражений. Наверное, раньше я просто пропускала.
***
И кстати fiancée это не bride, это именно fiancée - это девушка между тем как она приняла предложение выйти замуж и собственно вышла замуж, ну и соответсвенно fiancé для противополжного пола. А bride - это невеста во время свадьбы.

[green-fr.livejournal.com]

Да, наверняка ты права, всегда есть какие-то нюансы, полных синонимов может и не быть.

Я думаю, мы раньше просто не замечали, что эти слова французские. Помнишь у Квинов my bijoux в конце какой-то песни? Не зная французского, ты просто смотришь в словаре очередное незнакомое тебе слово. А зная - стоп, что это слово делает в английском тексте? Собственно, этого уже достаточно, чтобы разнести немного если не смыслы, то коннотации двух слов: французское где попало употреблять не будут, а значит его употребление сразу несёт след "мы не где попало".

[muh2.livejournal.com]

/Дядя Петрос очень правильно замечает, что в математике не бывает второго места. Если ты вторым доказал очень важную теорему,/

Странное утверждение. А не столь важную теорему доказать нельзя? Лемму какую-нибудь, на худой конец.

Гедель с Тьюрингом как-то не по делу тут. Гедель он же о том, что формализация - это хорошо, но рано или поздно утыкаешься в утверждение. о котором формальная железяка ничего сказать не может, а человеку оно очевидно.

[buddha239.livejournal.com]

Студент - он как собака, все понимает - а сказать не может?:)
В каком смысле "очевидно"?

[muh2.livejournal.com]

Это у меня смутные воспоминания, насчет Геделя, через Пенроуза. Попробую освежить.

[muh2.livejournal.com]

Я там ниже цитату из Пенроуза привел.

[buddha239.livejournal.com]

Ну, это совсем не "очевидно".:) Это "если очень сильно постараться, можно предъявить утверждение, которое невозможно ни доказать, ни опровергнуть". Только помощью результата Матиясевича можно, видимо, добиться, чтобы одна из этих опций была "опровержимой".

[muh2.livejournal.com]

Но у Пенроуза получается, что это утверждение очевидно верно.

[buddha239.livejournal.com]

Ну, утверждение может быть типа: для любого а существует б такое, что для любого с...
С чего бы вдруг оно было очевидно верно - если доказательства нет?

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

[muh2.livejournal.com]

Согласно Пенроузу можно сформулировать грамматически валидное утверждение P_k(k) гласящее "'there is no proof, within the system, of the proposition P_k(k).". Дальше я отсылаю к владельцу мопеда, "новому уму короля" глава "Truth, proof and insight".

[green-fr.livejournal.com]

Можно доказать какую-то другую лемму, но всё равно нужно успеть первым. В этом его смысл - ты начинаешь работать над чем-то, в чём не бывает второго места. Надежда "второстепенного математика" лишь в том, что никто из "первостепенных" не успеет заинтересоваться этим же вопросом.
Там очень хорошо описан момент, когда дядя Петрос доказывает как раз такую вот промежуточную теорему и задумывается о её публикации. Опубликуешь - кто-то сможет тебя обойти в доказательстве Гольдбаха. Не опубликуешь - рискуешь остаться вообще ни с чем.

А про Гёделя я тоже не понял твоего комментария. Развернёшь?

[buddha239.livejournal.com]

Ну, приличные люди в такой ситуации публикуют.:) Правда, если речь идет о лемме, которую есть кому оценить.

[green-fr.livejournal.com]

Приличные - конечно, но это же дядя Петрос. И по книге было кому оценить - (спойлер, спойлер!) этот результат таки опубликовал потом кто-то другой.

[muh2.livejournal.com]

Это у меня смутные воспоминания, насчет Геделя, через Пенроуза. Попробую освежить.

[muh2.livejournal.com]

Вот из Пенроуза. Он так доказывает, что некоторое утверждение P(k) невозможно ни доказать ни опровергнуть, а затем пишет
But should the particular proposition Pk(k) worry us? In the course of the above argument, we have actually established that Pk(k) is a true statement! Somehow we have managed to see that P(k) is true despite the..

[dmpogo.livejournal.com]

В прошлый раз, когда я удивлялся такому, мне рассказали, что такой вот английский язык и есть: в нём есть «нормальное» слово bride, и есть «выпендрёжное» fiancée.

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

[green-fr.livejournal.com]

Это прекрасный метод, greenadine когда-то так русский преподавала французам. Конечно же, вы знаете кучу русских слов: метро, ресторан, бабушка, балалайка :-)

[noyau.livejournal.com]

Французские слова в неокрепший английский стали вплетаться с 1066 года, когда в битве при Гастингсе королём стал Вильгельм Завоеватель, герцог Нормандии. :-)

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

[buddha239.livejournal.com]

А в какой язык вползли-то - в валлийский?:)

[noyau.livejournal.com]

Следите за руками:

сначала были бритты (celtic Britons), те кто жили "из начала веков". Язык у них был какой-то. Потом пришли римляне на 300 лет. Когда римская империя ослабела, то Англию захватили саксы. Немцы, грубо говоря. Другая языковая группа. Потом были бесконечные набеги викингов. Лингвисты отслеживают упрощение грамматики во времена этих набегов, потому что объяснятся надо было как-то, а взрослым мужикам с топорами учить язык не особо хотелось. Потом случилось нормандское завоевание, как раз в 1066, и "пришёл" старофранцузский язык и некоторыми скандинавскими завитушками.

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

[buddha239.livejournal.com]

Так я о чем и говорю. Кельты могли перенять что-то у римлян - но от них самих в современном английском мало что сохранилось.

[green-fr.livejournal.com]

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

Но я при этом не знаю, каким периодом датируются все эти заимствования. В Karambolage был когда-то репортаж о том, как французское bougeotte (кошелёк) перешло в английское, стало budget (бюджет), и оттуда вернулось во-французский. Первый переход был достаточно старым, а второй существенно позже. Это как раз нормально.

[noyau.livejournal.com]

Вот и я о том - говорили по-французски после битвы при Гастингсе, потому что король приплыл из Франции и прогнал, грубо говоря, немцев и датчан. Саксов.

[green-fr.livejournal.com]

В продолжение анекдота, приплывший король при этом сам был "датчанином", а разговаривал по-французски, потому что весь двор нормандских герцогов в Кане тоже разговаривал по-французски. Потому что модно :-)
Я тоже очень люблю эту историю!

[noyau.livejournal.com]

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

[fiafia.livejournal.com]

"A habitué или an habitué"?
Ага. А вот ещё sandwich во множественном числе по-французски как напишешь? :)))

[green-fr.livejournal.com]

Вот зачем ты мне этот вопрос задала :-) Ведь писал же я как-то раньше не задумываясь. Нашёл (https://fr.wiktionary.org/wiki/sandwich), прочитал, буду теперь спотыкаться, как та сороконожка.

[fiafia.livejournal.com]

А как ты писал? Мне на вывесках и в надписях одинаково ошибочными кажутся два варианта. И я не знаю, как сама пишу. Не пишу наверное, на tartines заменяю.

Я кстати не знала про специальное постановление по этому поводу.

[green-fr.livejournal.com]

Говорю же - как сороконожка. Интуитивно, не задумываясь, и уже не сказать, какой именно вариант :-)

[(Anonymous)]

А по-моему дядя Петрос не прав. Пытаясь убедить племянника в бездарности, попросил его доказать гипотезу Гольдбаха.

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

[green-fr.livejournal.com]

Ну, пацану было тогда 16 лет, кажется.

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

[(Anonymous)]

Если племянник имеет потенциал решить открытую проблему такой сложности - обычно это видно на берегу.
По крайней мере родному дяде-математику.

А если это видно, то тем более нельзя рисковать таким ценным кадром, сбивая его на взлете.

[green-fr.livejournal.com]

Да кто ж спорит-то? Дурак он. В математике - умный, во всём остальном - хотя бы по результатам его жизни видно :-)