Обчислення, логіка та геометрія