Жар холодных числ и пафос бесстрастной логики - [20]
III. Равенства.
Если α и β — формулы, то α = β — равенство. Ничто иное равенством не является.
Условимся о сокращении: вместо двух равенств α = β и β = γ разрешается писать просто
α = β = γ («цепочка равенств»)
Аналогично будут пониматься и более длинные цепочки. Так, запись
α = β = γ = δ имеет смысл
α = β, β = γ, γ = δ[5]
IV. Постулаты.
[а]. Схемы аксиом.
1. (α & β) = (β & α) (закон коммутативности для конъюнкции).
2. (α V β) = (β V α) (закон коммутативности для дизъюнкции).
3. ((α & β) & γ) = (α & (β & γ)) (закон ассоциативности, или сочетательности, для конъюнкции).
4. ((α V β) V γ) = (α V (β V γ)) (закон ассоциативности для дизъюнкции).
5. (α & (β V γ)) = ((α & β) V (α & γ)) (закон дистрибутивности, или распределительности, конъюнкции относительно дизъюнкции).
6. (α V (β & γ)) = ((α V β) & (α V γ)) (закон дистрибутивности дизъюнкции относительно конъюнкции).
7. (α & (α V β)) = α (первый закон поглощения).
8. (α V (α & β)) = α (второй закон поглощения).
9. ~(α & β) = (~α V ~β) (первый закон Де Моргана).
10. ~(α V β) = (~α & ~β) (второй закон Де Моргана).
11. (α & α) = α (закон идемпотентности для конъюнкции).
12. (α V α) = α (закон идемпотентности для дизъюнкции).
13. ~~α = α (закон снятия двойного отрицания).
14. (α & 1) = α (закон отбрасывания единицы).
15. (α V 0) = α (закон отбрасывания нуля).
16. (α & ~α) = 0 (закон противоречия, выраженный в форме приравнивания противоречия нулю).
17. (α & ~α)=1 (закон исключенного третьего, выражений в форме равенства).
Перечисленные постулаты[6] являются не аксиомами, а схемами аксиом. Это значит, что, каждый постулат задает бесконечное множество аксиом определенной структуры. Так, схема аксиом 1 задает аксиомы: (А1 & А2) = (A2 & A1), ((А1 V ~A2) & ~A1) = (~A1 & (A1 V ~A2)) и т.д.; аксиомы — это равенства, принимаемые в качестве исходных.
Схемы аксиом 1 и 2 задают свойство перестановочности членов в конъюнктивных и дизъюнктивных формулах. Схемы аксиом 3 и 4 выражают ассоциативные законы, подобные ассоциативным законам школьной алгебры, где, как известно, (а • b) • с = а - (b • с) и (а + b) + с = a + (b + с). В школьной алгебре имеется только один дистрибутивный закон — закон дистрибутивности умножения относительно сложения: A • (b + с) = a • b + A • с, так как обычное сложение чисел не дистрибутивно относительно обычного умножения (то есть неверно, что для любых чисел а, b и с
а + (b • с) = (а + b) • (а + с)).
В данной же системе обе операции, конъюнкция и дизъюнкция, дистрибутивны одна относительно другой (схемы аксиом 5 и 6). Смысл законов Де Моргана[7] (схемы аксиом 9 и 10) можно передать фразами: «Отрицание конъюнктивной формулы означает дизъюнкцию отрицаний ее членов»; «Отрицание дизъюнктивной формулы означает конъюнкцию отрицаний ее членов». Смысл схем аксиом, выражающих остальные законы, непосредственно ясен. Заметим лишь, что они служат эффективным средством упрощения формул рассматриваемой формальной системы, то есть построения по данной формуле таких равных ей формул, которые проще, чем исходная (в том смысле, что содержат меньшее число вхождений логических связок); ср. ниже, с. 75—76.
[b]. Правила вывода.
Если верно равенство α = β, то верно и равенство Ф[α] = Ф[β]. Здесь Ф[α] есть произвольная формула, содержащая в качестве своей части, формулу α (аналогично понимается и Ф[β]). Это — правило замены равным (ср. выше с. 42), но «приуроченное» специально к нашему формальному аппарату. Смысл правила состоит в том, что в произвольной формуле Ф[α], в которую входит α, можно α в любом ее вхождении заменить на какую угодно равную ей формулу β и в результате получится формула Ф[β], равная формуле Ф[α][8].
В дополнение к этому правилу мы будем в процессе переработки равенств пользоваться известными свойствами отношения равенства — рефлексивностью (для любой формулы α справедливо α = α), симметричностью (для любых α и β из α = β следует β = α) и транзитивностью (если α = β и β = γ, то α = γ)[9]. Таким образом, процедуры вывода в данном исчислении представляют собой обычные тождественные преобразования.
V. Определения.
Записи вида (α ≡ β) и (α → β) суть сокращения для формул вида (~α V β)[10] и ((~α V β) & (α V ~β)).
Приведенное исчисление представляет собой исчисление равенств формул определенного вида — исчисление, которое в алгебраических терминах носит название исчисления равенств булевых выражений[11]. Оно сформулировано нами как неинтерпретированное исчисление, поскольку при его развертывании не было указано, из какой же области следует брать значения пропозициональных переменных, как следует понимать логические связки и константы 0 и 1, какой смысл имеют формулы и как нужно понимать содержание термина «верная формула».
Дадим теперь первую интерпретацию этого исчисления — функциональную.
Пропозициональные переменные истолковываются как переменные для чисел 0 и 1 (то есть каждая из переменных может принимать только эти два значения). Сложные формулы (формулы, отличные от пропозициональных переменных) интерпретируются следующим образом. Каждая связка понимается как функция, которая значениям аргументов (аргумента) — нулю или единице — ставит в соответствие значение функции (которое тоже может быть только либо нулем, либо единицей). Значения связок строятся на основе табличных определений (табл. 1, 2, 3)
В книге рассказывается история главного героя, который сталкивается с различными проблемами и препятствиями на протяжении всего своего путешествия. По пути он встречает множество второстепенных персонажей, которые играют важные роли в истории. Благодаря опыту главного героя книга исследует такие темы, как любовь, потеря, надежда и стойкость. По мере того, как главный герой преодолевает свои трудности, он усваивает ценные уроки жизни и растет как личность.
Бирюков Борис Владимирович — доктор философских наук, профессор, руководитель Межвузовского Центра изучения проблем чтения (при МГЛУ), вице-президент Русской Ассоциации Чтения, отвечающий за её научную деятельность.Сфера научных интересов: философская логика и ее история, история отечественной науки, философия математики, проблемы оснований математики. Автор и научный редактор более пятисот научных трудов, среди них книги, входящие в золотой фонд отечественной историко-научной и логической мысли. Является главным научным редактором и вдохновителем научного сборника, издаваемого Русской Ассоциацией Чтения — «Homo legens» («Человек читающий»).
Новая книга В.Н. Тростникова, выходящая в издательстве «Грифон», посвящена поискам ответов на судьбоносные вопросы истории России.За последнее десятилетие мы восстановили и частную собственность, и свободу слова, ликвидировали «железный занавес»… Но Запад по-прежнему относится к нам необъективно и недружественно.Ожесточаться не нужно. Русские – самый терпеливый народ в мире, и мы должны перетерпеть и несправедливое отношение к себе Запада. Ведь придёт час, когда Запад сам поймёт необходимость заимствовать у нас то, что он потерял, а мы сохранили, – Христа.Книга рассчитана на широкий круг читателей.
Автор книги – известный религиозный философ – стремится показать, насколько простая, глубокая и ясная вещь «настоящая философия» – не заказанное напористой и самоуверенной протестантской цивилизацией её теоретическое оправдание, а честное искание Истины – и как нужна такая философия тем русским людям, которые по своей натуре нуждаются в укреплении веры доводами разума.В форме увлекательных бесед показаны не только высоты и бездны европейской философии, но и значительные достижения русской философской школы, уходящей своими корнями в православное мировосприятие.
Виктор Николаевич Тростников (род. 1928 г.), писатель, ученый, философ. Профессор Российского Православного Университета им. св. Иоанна Богослова. Автор более ста работ по различным разделам физики и математики, а также книг по научной апологетикеКнига содержит размышления автора об опыте осмысления Вечных Истин в свете современного знания.
Цель «Трактата о любви» В.Н. Тростникова – разобраться в значении одного-единственного, но часто употребляемого нами слова «любовь». Неужели этому надо посвящать целое исследование? Да, получается так, потому что слово-то одно, а значений у него много. Путь истинной любви обрисован увлекательно, понятно и близко молодому и просвещенному современному читателю, который убедится, что любовь в ее высшем проявлении есть любовь к Богу. Это книга – для всех любящих сердец.
В книге развита теория квантового оптоэлектронного генератора (ОЭГ). Предложена модель ОЭГ на базе полуклассических уравнений лазера. При анализе доказано, что главным источником шума в ОЭГ является спонтанный шум лазера, обусловленный квантовой природой. Приводятся схемы и экспериментальные результаты исследования малошумящего ОЭГ, предназначенного для применения в различных областях военно-космической сферы.
Произведения Э. Эбботта и Д. Бюргера едины по своей тематике. Авторы в увлекательной форме с неизменным юмором вводят читателя в русло важных геометрических идей, таких, как размерность, связность, кривизна, демонстрируя абстрактные объекты в различных «житейских» ситуациях. Книга дополнена научно-популярными статьями о четвертом измерении. Ее с интересом и пользой прочтут все любители занимательной математики.
Любую задачу можно решить разными способами, однако в учебниках чаще всего предлагают только один вариант решения. Настоящее умение заключается не в том, чтобы из раза в раз использовать стандартный метод, а в том, чтобы находить наиболее подходящий, пусть даже и необычный, способ решения.В этой книге рассказывается о десяти различных стратегиях решения задач. Каждая глава начинается с описания конкретной стратегии и того, как ее можно использовать в бытовых ситуациях, а затем приводятся примеры применения такой стратегии в математике.
Давид Гильберт намеревался привести математику из методологического хаоса, в который она погрузилась в конце XIX века, к порядку посредством аксиомы, обосновавшей ее непротиворечиво и полно. В итоге этот эпохальный проект провалился, но сама попытка навсегда изменила облик всей дисциплины. Чтобы избавить математику от противоречий, сделать ее «идеальной», Гильберт исследовал ее вдоль и поперек, даже углубился в физику, чтобы предоставить квантовой механике структуру, названную позже его именем, — гильбертово пространство.
Саймон Сингх рассказывает о самых интересных эпизодах мультсериала, в которых фигурируют важнейшие математические идеи – от числа π и бесконечности до происхождения чисел и самых сложных проблем, над которыми работают современные математики.Книга будет интересна поклонникам сериала «Симпсоны» и всем, кто увлекается математикой.На русском языке публикуется впервые.
На протяжении многих веков симметрия оставалась ключевым понятием для художников, архитекторов и музыкантов, однако в XX веке ее глубинный смысл оценили также физики и математики. Именно симметрия сегодня лежит в основе таких фундаментальных физических и космологических теорий, как теория относительности, квантовая механика и теория струн. Начиная с древнего Вавилона и заканчивая самыми передовыми рубежами современной науки Иэн Стюарт, британский математик с мировым именем, прослеживает пути изучения симметрии и открытия ее основополагающих законов.