Книга раскрывает существо многих математических идей и явно представляет собой новый шаг в области популяризации науки. Неожиданно просто и коротко передается смысл фундаментальных результатов. ...
Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая...
Книга отличается краткостью и прозрачностью изложения. Объяснения даются 'человеческим языком' - лаконично и доходчиво. Значительное внимание уделяется мотивации результатов. Помимо классических...
Книга отличается краткостью и прозрачностью изложения, вплоть до объяснений 'на пальцах'. Значительное внимание уделяется мотивации результатов и укрупненному видению. В первой части дается...
Книга отличается краткостью и прозрачностью изложения. Объяснения даются 'человеческим языком' - лаконично и доходчиво. Значительное внимание уделяется мотивации результатов и прикладным аспектам. ...
Книга отличается краткостью и прозрачностью изложения, вплоть до объяснений 'на пальцах'. Значительное внимание уделяется мотивации результатов и укрупненному видению. Помимо обычной для...