2
Coinduction nedir?
(Yapısal) indüksiyon duydum. Küçük yapılardan sonlu yapılar oluşturmanıza izin verir ve bu tür yapılar hakkında akıl yürütme için kanıt ilkeler sunar. Fikir yeterince açık. Peki ya coinduction? O nasıl çalışır? Sonsuz bir yapı hakkında kesin bir şey nasıl söylenebilir? Bir şeyi tanımlamanın bir yolu olarak ve bir ispat tekniği olarak …