Рациональные способы вычислений: математика и логика