Bir programcı, "n³ - n ifadesinin 6'ya tam bölündüğü" önermesini algoritmik olarak doğrulamak istiyor. n = 1'den n = 1000'e kadar tüm değerleri test ediyor. Bu yaklaşım için aşağıdakilerden hangisi doğrudur?
A) Kesin ispat sağlar
B) Sadece bu 1000 değer için geçerli olduğunu gösterir
C) Cebirsel ispattan daha güvenilirdir
D) Matematiksel bir ispat sayılır
