2 подписчика
Мендельсон Эллиот (1976) В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств. Следует однако отметить, что в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики...
251 подписчик
Противоречие- это алгоритм любого движения и изменения. Намек в виде "эпонима", в одном из фрагментов, потребовался, в первом приближении, на одном из шагов рекогниции темы, тогда, когда складка фракталов и противоречия, фракталов и движения, вновь только приоткрылась. Подобно тому, как время иногда следует олицетворять, просто и не просто потому, что мы и есть время, так и противоречие может быть лицом, от которого образовываются все имена нарицательные любого движения. Но фракталы- это колебания,...