В данной статье мы поговорим о математической логике, разберем основные операции и ассоциируем их с реальным миром. Математическая логика — это раздел современной формальной логики, в котором логические...

В комментариях к статье о разрядности и точности машинных вычислений совершенно неожиданно возникла небольшая дискуссия, которая к собственно вычислениям имела не самое прямое отношение. Она была гораздо шире вопросов систем счисления, математической логики, схемотехники. Можно сказать, что она затрагивала и философские вопросы, и мировоззренческие. Прошло уже две недели, была опубликована и другая статья, казалось бы, вопрос остался в прошлом... Почему же я вспомнил о нем? Прошлая неделя выдалась довольно напряженной...