Великие люди:

Анатолий Калинин
Известный российский исследователь, изобретатель и коллекционер головоломок и артефактов. В середине 1970-х годов начинает заниматься созданием головоломок. Анатолий Калинин в 1993 году стал одним из учредителей первого в России клуба ценителей головоломок "Диоген".

© «Энциклопедия головоломок» 2007-2009 www.spravko.info

Рэймонд Смаллиан

Как же называется эта книга?

Стр.001

От переводчика

Что может быть более далеким от истины, чем представление о математике как о застывшей науке, давно остановившейся а своем развитии и превратившейся в своего рода свод правил для решения задач? Однако такое превратное представление об одной из наиболее быстро развивающихся наук современности бытует у очень многих. Между тем математика непрестанно меняет свой облик, пополняет свой арсенал новыми идеями, мощными и гибкими методами, расширяет сферу приложений, черпает новые постановки задач не только из логики внутреннего развития, но и из других областей науки.

Столь странное противоречие объясняется тем, что между рубежами, завоеванными современной математикой, и традиционно читаемыми "устоявшимися" курсами математики существует разрыв, красочно описанный замечательным представителем этой науки, пфедагогом и популяризатором Гуго Штейнгаузом: "В математике несравненно явственней, чем в других дисциплинах, ощущается, насколько растянуто шествие всего человечества. Среди наших современников есть люди, чьи познания в математике относятся к эпохе более древней, чем египетские пирамиды, и они составляют значительное большинство. Математические познания незначительной части людей дошли до эпохи средневековья, а уровня математики XVIII века не достигает и один на тысячу... Но расстояние между теми, кто идет в авангарде, и необозримой массой путников все возрастает, процессия растягивается, и идущие впереди отдаляются все более и более. Они скрываются из виду, их мало кто знает, о них рассказывают удивительнейшие истории. Находятся и такие, кто просто не верит в их существование".

"Растянутость шествия всего человечества" особенно ощутима, когда речь заходит не о рецептурной, алгоритмической, а об "идейной" стороне математики.

С незапамятных времен математические рассуждения считаются общепризнанным эталоном доказательности, достойным всяческого подражания (достаточно упомянуть "Этику" Спинозы, "изложенную на геометрический манер", или "Математические начала натуральной философии" Ньютона). Строгость математических доказательств, непреложность получаемых с их помощью выводов, незыблемость математических истин вошли в поговорку. Но прописные истины, подобно разменной монете, от частого употребления стираются и теряют в весе. Доверять им по меньшей мере неосмотрительно, а получить достоверную информации о действительном положении вещей нелегко не только для человека далекого от математики, но и для математика, не занимающегося специально лроблемами оснований математики и математической логики. Те, кто, желая похвалить обоснованность чьей-либо аргументации, с легкостью называют ее математически строгой и безупречной, как правило, не в состоянии объяснить, что означает "доказать", почему доказательство "доказывает", или ответить, всякое ли утверждение можно доказать или опровергнуть. Подобные вопросы способны поставить в тупик и несравненно более искушенного в математике нематематика, который умеет вычислить значение истинности таких высказываний, как "Речка движется и не движется", или импликации "Если гром не грянет, то мужик не перекрестится", знает, чем исключающее "или" (Либо пан, либо пропал) отличается от неисключающего (Надобно либо уменье, либо везенье а лучше всего и то, и другое), постиг различие между причинно-следственной связью и импликацией и усвоил немало других премудростей алгебры логики.

Далее

001   002   003   004   005   006   007   008   009   010   011   012   013  
014   015   016   017   018   019   020   021   022   023   024   025   026  
027   028   029   030   031   032   033   034   035   036   037   038   039  
040   041   042   043   044   045   046   047   048   049   050   051   052  
053   054   055   056   057   058   059   060   061   062   063   064   065  
066   067   068   069   070   071   072   073   074   075   076   077   078  
079   080   081   082   083   084   085   086   087   088   089   090   091  
092   093   094   095   096   097   098   099   100   101   102   103   104  
105   106   107   108   109   110   111   112   113   114   115   116   117  
118   119   120   121   122   123   124   125   126   127   128   129   130  
131   132   133   134   135   136   137   138   139   140   141   142   143  
144   145   146   147   148   149   150