Краткое описание: Fate has put Turkey at the junction of two continents. As a land bridge, a meeting point and a battleground, it has seen peoples moving in both directions between Europe and Asia throughout recorded history. That human traffic has left monuments and debris, dynasties and lasting cultural legacies, all of which have contributed to the character of modern Turkey. Turkish history is such a hugely rich patchwork of overlapping eras and empires that it boasts figures, events and phenomena familiar even to the layperson.

Краткое описание: Arabian, African and Mediterranean, Middle Eastern and European, yet curiously provincial — the laid back capital of Tunis has two distinct hearts.

The new city, created by French colonials in the 19th century, is an orderly European grid, with wrought-iron balconies, cafés and pâtisseries bordering the boulevards. The city’s main drag, palm-lined ave Habib Bourguiba, is prime territory for promenading, coffee-drinking, gossiping and idly watching the passing human traffic.

Краткое описание: Двухтомная монография Д.Гильберта и П.Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Она отличается исключительной глубиной содержания и тщательностью изложения. Для широкого круга читателей она привлекательна тем, что основополагающие идеи теории доказательства излагаются в ней более обстоятельно и менее формализованно.

Краткое описание: В этой книге в систематической форме и, фактически, начиная с «азов», излагается обширный комплекс математических результатов, касающихся ряда фундаментальных понятий, предназначенных для точного описания и исследования формально-дедуктивиого метода в математике и тесно связанного с этим методом понятия алгорифма.

Краткое описание: Предлагаемая вниманию читателей книга Дж.Шенфилда посвящена изложению основных результатов о степенях неразрешимости (тьюринговых степенях). Эти результат традиционно считаются трудными, так как в их доказательствах используются различные формы так называемого «метода приоритетов». Автор книги поставил перед собой цель изложить материал в максимально простой и интуитивно оправданной форме. И нужно сказать, что это ему в основном удалось…

Краткое описание: В настоящее время интенсивно развивается конструктивное направление в математике, в частности, конструктивный математический анализ. Р.Л.Гудстейн является автором весьма интересного и своеобразного подхода к построению некоторых фрагментов конструктивного математического анализа. Этот подход существенно отличается (как по общему замыслу, так и по характеру центральных понятии) от подходов, использованных другими математиками; и тесно связан с введенным Гудстейном исчислением равенств,
представляющим собой аксиоматический фрагмент теории рекурсивных арифметических функций, обладающий рядом важных достоинств.

Краткое описание: Эта книга является сборником переводов статей по теории логического вывода. Возросший за последнее время интерес к этой области математической логики вызван бурным развитием "машинной логики", в частности, появлением многочисленных работ, посвященных машинному доказательству теорем.

В сборнике представлены как работы, ставшие уже классическими, так и некоторые работы последних лет. Ведущее место занимают статьи основоположника теории логического вывода Г.Генцена. В них разработан метод, лежащий ныне в основе большинства работ по теории логического вывода.

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

Краткое описание: В книге на основе понятия нормального алгорифма излагается общая теория алгорифмов и некоторые её применения. Значительное внимание уделяется логическим и, в частности, семантическим аспектам этой теории. для математиков, интересующихся основаниями математики, математической логикой и теорией алгорифмов.

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