ИНТЕЛРОС > №15, 2013 > Квант, или Великий спор о реальности

Андрей Севальников
Квант, или Великий спор о реальности


25 февраля 2014

Рецензия на книгу Кумар М. Квант: Эйнштейн, Бор и великий спор о природе реальности». М.: «АСТ», 2013.

Название книги, героями которой будто бы являются Абеляр и Элоиза, на деле посвящена не этим историческим персонажам, а квантору общности и квантору существования. Сама по себе это поразительная история обозначений. «Традиция использовать имена Абеляра и Элоизы как названия кванторов восходит к обозначениям ("), ($), введенным Дж.Пеано, и сложилась в теоретико-игровой семантике, где именами великого схоласта (Abelard, "belard) и его возлюбленной (Eloisa, $loisa) называются также игроки в семантических играх с кванторами» (с.5). Джузеппе Пеано (1858 – 1932), итальянский математик, создал к тому же искусственный язык latino-sine-flexione (латинский без окончания), участвовал в разработке логической теории и символики, видимо, был мастером такого рода дел. Книга к тому же открывается эпиграфом – стихотворения А.Поупа (1688 – 1744) «Элоиза Абеляру», так что мы действительно видим, сколь велико было влияние этих двух средневековых персон на историю – вплоть до логики, Если учесть, что Абеляра называли в логике «вторым Аристотелем», то в общем-то совсем не случайно, что его именем, соответственно именем его возлюбленной назвали кванторы. Они-то и являются в книге главными героями, «предопределившими принципиальное отличие современной логики от традиционной». Этим логика обязана Г.Фреге и Ч.С.Пирсу, определившим кванторы как «второпорядковые предикаты и как функции выбора» (с.5 – 6).


Вернуться назад