Введение в метаматематику

Стефан (Стивен) Клини,конечно, не Степан Николаевич,но гениальность его от этого не проигрывает.Так уж вышло,что родители его " 'неруси".Впроче,это -- в порядке бреда.

Все математики любят разрядить обстновку какой-нибудь явной глупостью.

Так вот,Клини -- великий математик.Ему удалось осмыслить это дисциплину,отстранившись от неё самое.Так сказать,посмотреть сверху,исследовать сам предмет.Но самое интересное в том,что метод исследования математики сам тянет на такую же строгость,как и предмет,объект исследования.

Это логика.Логика как метод исследования и логика как рассмотрения объект.

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

До "перестройки" в научной литературе бытовал термин ЭВМ.

Я когда-то имел в бумажном варианте книгу С.Клини Математическая логика.Позже продал её.И затем пожалел о содеянном.Потом на полке книгообмена (буккроссинг) нашел другой экземпляр.И снова продал и пожалел,что сбыл.

Таков Стивен Коль Клини!

Наверно,он -- француз.Но не Делон и не Дефюнес.

p.s.

товар .