İnsanlar Collatz Conjecture'u kanıtlamaya çalıştıklarında ne gibi girişimlerde bulunuldu?

İnsanlar Collatz Conjecture'u kanıtlamaya çalıştıklarında ne gibi girişimlerde bulunuldu?
Anonim

Cevap:

Birkaç düşünce …

Açıklama:

Büyük Polonyalı matematikçi Paul Erdős, Collatz’ın “Matematiğin bu tür sorunlara hazır olmayabilir” olduğunu düşündüğünü söyledi. Bir çözüm için 500 dolarlık ödül teklif etti.

Bugün söylediği gibi zahmetli görünüyor.

Collatz problemini birkaç farklı şekilde ifade etmek mümkündür, ancak bunu çözmek için gerçek bir yöntem yoktur. Yaklaşık 40 yıl önce üniversitedeyken, insanların sahip oldukları tek fikir 2-ardic aritmetik kullanarak bakmaktı.

Bir tür ölçü-teorik yaklaşım kullanarak ele almaya çalışmayı düşündüm, ancak yapılabilecek en iyi şey muhtemelen, isabet etmeyen sayı kümesini göstermek olacaktır. #1# ölçü #0#. Karşı örneklerin varlığını dışlamaz.

Collatz sözleşmesi bilgisayar tarafından yaklaşık sayılara kadar kontrol edildi. #10^20#, ancak bu yalnızca gerçekten makul olduğunu gösterir - tüm sayılar için doğru olduğunu kanıtlamaz.

Collatz varsayımında olduğu gibi yinelemeli süreçlerin genel olarak çözülmesi neden bu kadar zor olduğunu anlamak, doğal sayılar üzerinde toplama ve çarpma kombinasyonunun ne kadar zengin olduğunu görmeye yardımcı olabilir.

Örneğin, herhangi bir resmi matematiksel sistemi sınırlı sayıda sembol ve izin verilen işlemlerle tanımlarsanız, temel aritmetik kodlamanın yapılması için yeterlidir. Daha sonra, "Bu resmi sistemde ispatlanamam" şeklinde etkili bir şekilde söylenen bir cebirsel ifadenin oluşturulması mümkün hale gelir. Böyle bir ifade daha sonra doğrudur ancak kanıtlanamaz. Dolayısıyla, biçimsel sistem kanıtlanmış sayılmaz.

Bu kabaca Gödel'in ikinci eksiklik teoreminin ispatının özüdür.