Блог по математике Не нашёл на хабре блога, хоть чем-нибудь напоминающего по тематике дискретную математику.
Тем не менее он явно должен быть. Вот я хочу замутить статью про теорему Поста, и соответствующую область. Типичная такая дискретная математика, тем не менее очень применимая много где: начиная с проектирования логических схем и заканчивая микроконтроллерами.
Вообще очень интересная теорема, но куда её засунуть, я не понимаю. Подскажите, что делать?