Как же называется эта книга?
Книга американского профессора Р. Смаллиана, написанная в увлекательной форме, продолжает серию книг по занимательной математике и представляет собой популярное введение в некоторые проблемы математической логики. Сюда входят более 200 новых головоломок, созданных необычайно изобретательным автором. Задачи перемежаются математическими шутками, анекдотами из повседневной жизни и неожиданными парадоксами. Завершает книгу замечательная серия беллетризованных задач, которые вводят читателя в самую суть теоремы Курта Гёделя о неполноте, — одного из замечательнейших результатов математической логики 20 века. Можно сказать — вероятно, самый увлекательный сборник задач по логике. Около трехсот задач различной сложности сгруппированы по разделам, герои которых Рыцари и Лжецы, Алиса в Стране Чудес, Беллини и Челлини и даже сам граф Дракула! Если человек произносит «Я лгу» — говорит ли он неправду? Почему физики и математики по-разному решают задачи? Как вовремя распознать упыря? Ответы на эти и более серьезные вопросы Вы найдете в этом сборнике, а может быть, и ответ на вопрос «Как же называется эта книга?». Для всех, кто хочет научиться рассуждать.
| Жанры: | Научная литература, Математика |
| Серия: | Математическая мозаика №15 |
| Всего страниц: | 75 |
| ISBN: | - |
| Год издания: | 1981 |
| Формат: | Фрагмент |
Как же называется эта книга? читать онлайн бесплатно
От переводчика
Что может быть более далеким от истины, чем представление о математике как о застывшей науке, давно остановившейся а своем развитии и превратившейся в своего рода свод правил для решения задач? Однако такое превратное представление об одной из наиболее быстро развивающихся наук современности бытует у очень многих. Между тем математика непрестанно меняет свой облик, пополняет свой арсенал новыми идеями, мощными и гибкими методами, расширяет сферу приложений, черпает новые постановки задач не только из логики внутреннего развития, но и из других областей науки.
Столь странное противоречие объясняется тем, что между рубежами, завоеванными современной математикой, и традиционно читаемыми «устоявшимися» курсами математики существует разрыв, красочно описанный замечательным представителем этой науки, педагогом и популяризатором Гуго Штейнгаузом: «В математике несравненно явственней, чем в других дисциплинах, ощущается, насколько растянуто шествие всего человечества. Среди наших современников есть люди, чьи познания в математике относятся к эпохе более древней, чем египетские пирамиды, и они составляют значительное большинство. Математические познания незначительной части людей дошли до эпохи средневековья, а уровня математики XVIII века не достигает и один на тысячу… Но расстояние между теми, кто идет в авангарде, и необозримой массой путников все возрастает, процессия растягивается, и идущие впереди отдаляются все более и более. Они скрываются из виду, их мало кто знает, о них рассказывают удивительнейшие истории. Находятся и такие, кто просто не верит в их существование».
«Растянутость шествия всего человечества» особенно ощутима, когда речь заходит не о рецептурной, алгоритмической, а об «идейной» стороне математики.
С незапамятных времен математические рассуждения считаются общепризнанным эталоном доказательности, достойным всяческого подражания (достаточно упомянуть «Этику» Спинозы, «изложенную на геометрический манер», или «Математические начала натуральной философии» Ньютона). Строгость математических доказательств, непреложность получаемых с их помощью выводов, незыблемость математических истин вошли в поговорку. Но прописные истины, подобно разменной монете, от частого употребления стираются и теряют в весе. Доверять им по меньшей мере неосмотрительно, а получить достоверную информации о действительном положении вещей нелегко не только для человека далекого от математики, но и для математика, не занимающегося специально проблемами оснований математики и математической логики. Те, кто, желая похвалить обоснованность чьей-либо аргументации, с легкостью называют ее математически строгой и безупречной, как правило, не в состоянии объяснить, что означает «доказать», почему доказательство «доказывает», или ответить, всякое ли утверждение можно доказать или опровергнуть. Подобные вопросы способны поставить в тупик и несравненно более искушенного в математике нематематика, который умеет вычислить значение истинности таких высказываний, как «Речка движется и не движется», или импликации «<Если> гром не грянет, <то> мужик не перекрестится», знает, чем исключающее «или» (Либо пан, либо пропал) отличается от неисключающего (Надобно либо уменье, либо везенье <а лучше всего и то, и другое>), постиг различие между причинно-следственной связью и импликацией и усвоил немало других премудростей алгебры логики.
Простота подобных вопросов обманчива, их наивность иллюзорна. Они затрагивают тонкие и глубокие проблемы теории логического вывода и оснований математики, над решением которых трудилось не одно поколение логиков, математиков и философов. При всей общности понимания того, что составляет существо математического доказательства, и преемственности поколений каждая эпоха вносит свой вклад в недостижимый идеал математической строгости, вводя поправки и дополнения в то, что было сделано ранее.
Предлагаемая вниманию читателя книга американского ученого Рэймонда М. Смаллиана, известного своими работами в области математической логики, опровергает известные слова Пифагора о том, что в математику нет царской дороги. Перед ее читателем открывается редкая, чтобы не сказать уникальная, возможность проникнуть в существо одного из величайших достижений математической логики нашего века — в доказательство знаменитой теоремы Гёделя о неполноте. По занимательности, динамичности и напряжённости действия книга Смаллиана не уступает лучшим образцам приключенческого жанра. Намного превосходя по глубине научного содержания большинство научно-популярных произведений и даже отдельные сугубо научные издания, книга Смаллиана помогает читателю совершить головокружительное восхождение от «дурацких штучек» (как автор называет элементарные логические задачи, не требующие для своего решения ничего, кроме находчивости, внимания и здравого смысла) к одной из вершин современной математической логики, на покорение которой обычно приходится затрачивать немало сил и средств. Попутно автор знакомит читателя со своенравной Порцией и ее не менее своенравными прапраправнучками до N-го колена, проницательным инспектором Крэгом, искусными мастерами Челлини и Беллини, приглашает побывать на островах, населенных рыцарями, неизменно говорящими правду, и столь же неукоснительно лгущими лжецами, побывать в замке графа Дракулы Задунайского и, пережив множество увлекательных приключений, завершить необычайное путешествие на гёделевых и дважды гёделевых островах.
