محاسبات کوانتومی و منطق ریاضی