1. Aşağıdaki ifadelerden hangisi bir cebirsel ispatın algoritmik yaklaşımla incelenmesinin temel amaçlarından biri değildir?
A) İspatın adımlarının sistematik bir şekilde analiz edilmesi
B) İspatın doğruluğunun otomatik olarak kontrol edilmesi
C) Matematiksel sezgi ve yaratıcılığın tamamen bilgisayara devredilmesi
D) İspat sürecinin daha anlaşılır ve takip edilebilir hale getirilmesi
