Algoritma; bir problemin sonlu adımdaki çözümüne denir ve bir problemin çözümünde, ilk düşündüğünüz yöntem sizin için teoridir. Eğer bu yöntemi doğru kabul ediyorsan, artık senin için lemma olur. Lemma'yı kanıtlarsan, bu algoritma olur. Yani kafamızdan yazdığımız her şey algoritma değildir...