- Kategori
- Bilim
Koch adası çeşitlemelesi
Koch Adası, her küçük üçgen ana üçgenden bir üçgen daha öteye konarak da çizilebilir. O zaman bu süreksiz bir geometrik biçim olacaktır ama tıpkı süreksiz alanlar toplamı olan Fatou Tozu gibi denklemlenebilir olacaktır. Yani, süreksizlikler de denklemlenebilir, dolayısıyla kanıtlanabilir; Oysa, genelde süreksizlikler kanıtlanmaz. Kanıtlanamaz sürekliliklerin olması, mantıksal açıdan durumu değiştirmez, yalnızca birşeyler çıkarıp birşeyler ekler.
Bu durum, paradoksun tersidir, ona şimdilik ‘anti-paradoks’ diyelim. Ayrıca, anti-paradokslar da, paradokslar gibi, Gödel kanıtlanamazlığı alanında kalabilirler ki kalmamalarından daha çok kalmaları umulur.