• ispatı matematik dünyasında tartışmalara yol açmış bir problem hatırladığım kadarıyla, tamamen bilgisayarın brütal hesaplama gücüne dayanarak kotarılmış, sayfalar süren ve insan tarafından kontrol edilmesi neredeyse imkansız bir ispat olduğu için "ne lan bu böyle hiç zarif değil" diye topa tutulmuştur.
15 entry daha
hesabın var mı? giriş yap