• Türkçe
  • English
  • العربية
  • فارسی
  • Ana Sayfa
  • Hakkımızda
    • Biz Kimiz ?
    • Foto Galeri
  • Ürünlerimiz
  • Karşılaştırmalar
    • Yeterlilik Testleri
    • Laboratuvarlar Arası Karşılaştırmalar
    • Online Başvuru Sayfası
  • Temsilciliklerimiz
  • Kalibrasyon
  • İK
  • İletişim
  • Türkçe Türkçe
  • English English
  • العربية العربية
  • اللغة الفارسية
اللغة الفارسية
  • Ana Sayfa
  • Hakkımızda
    • Biz Kimiz ?
    • Foto Galeri
  • Ürünlerimiz
  • Karşılaştırmalar
    • Yeterlilik Testleri
    • Laboratuvarlar Arası Karşılaştırmalar
    • Online Başvuru Sayfası
  • Temsilciliklerimiz
  • Kalibrasyon
  • İK
  • İletişim
  • Türkçe Türkçe
  • English English
  • العربية العربية
  • اللغة الفارسية
اللغة الفارسية
-

En Son Haberler

  • Tüm Haberler
  • Lasertex Lazer Interferometreler Jera Elektronikt'e
  • FORTEST Sızıntı Test Cihazları Jera Elektronik güvencesi ile hizmetinizde...
  • Hareketlerimizden enerji elde eden süper ince kumaşı geliştirildi
  • Altının Dayanımı Titanyum ile 4 Kat Artırıldı
  • Dünyanın en büyük matematik ispatı çözüldü
  • 2017 Fizik Nobel Ödülü Yerçekimi dalgalarına verildi
  • 2016 Laboratuvarlararası Karşılaştırma (LAK) Ölçümleri ve Yeterlilik Testleri (YT)
  • 2014 Laboratuvarlararası Karşılaştırma (LAK) Ölçümleri ve Yeterlilik Testleri
  • 2013 Laboratuvarlararası Karşılaştırma (LAK) Ölçümleri ve Yeterlilik Testleri
  • Ana Sayfa
  • Haberler
  • Dünyanın en büyük matematik ispatı çözüldü

Dünyanın en büyük matematik ispatı çözüldü

Dünyanın en büyük matematik ispatı çözüldü

Üç bilgisayar bilimcisi, matematikçileri onlarca yıldır uğraştıran bir bilmece olarak bildiğimiz, Boolean Pisagor üçleme sorusunun cevabını içeren ve bir süper bilgisayar kullanan 200 terabaytlık bir dosya oluşturdu. Bu en büyük matematik ispata denk geliyor. Süper bilgisayar bu problemi 2 günde çözdü ve 200 terabayt yer tuttu.

Yanlış duymadınız, 200 terabayt. Matematikçileri onlarca yıldır uğraştıran bilgisayar destekli çözümün tuttuğu miktar bu. Boolean Pisagor üçleme problemi bu bilgisayarla çözüldü.

İspat 68 gigabaytlık bir dosyaya sıkıştırıldı, böylece bu ispata ihtiyacı olan biri bunu indirebilir, yeniden oluşturabilir ve gömülü bilgileri doğrulayabilir. Kendi bilgisayarlarında çözmek isterlerse 30.000 işlemci zamanına ihtiyaçları olacak.

Bilgisayar destekli matematik ispatları konusunda kırılan 200 terabaytlık dosya rekorunun önceki sahibi sadece 13 gigabayt yer tutuyordu.

İspatın arkasındaki problem

Kaliforniya Üniversitesi, San Diego’da matematikçi olarak çalışan ve bundan önceki rekorun sahibi olan Ronald Graham, problemlerin çözümünde bilgisayarların sıkça insanlara yardım ettiğini söylüyor. Hatta problemi çözebilen herkese 100 ABD doları teklif etmiş.

Daha önce bahsedildiği gibi, Boolean Pisagor üçlemesi olarak bilinen matematik sorusunun çözümü 200 terabaytlık bir yer kaplıyor. Her bir pozitif tamsayı kırmızı veya mavi renkle işaretleniyor ve Pisagor Üçlüsü olarak bilinen a, b ve c tamsayılarının bir kombinasyonunu oluşturuyor. Böylelikle a2 + b2 = c2 eşitliğinde üç tamsayının hiç biri aynı renkte olmuyor.

Bilgisayar çalışma zamanı

Farklı kombinasyonlarda renkli tamsayılar kullanmanın kabul edilen pek çok yöntemi varsa da, bilim insanları sayılar teorisindeki tekniklerin ve simetrileri kendi avantajları için kullanmış ve bilgisayarın yapmak zorunda olduğu kontrollerin sayısını düşürmüş. Bu adımda bilgisayarın yürüttüğü çalışma sayısı yaklaşık 1 trilyona indirilmiş.

İki gün ve 800 adet paralel olarak koşturulan işlemci ile, Teksas Üniversitesi’ndeki Stampede süper bilgisayarı 200 terabaytlık veriyi oluşturdu. Oluşan ispatı doğrulamak için başka bir bilgisayar programı kullanıldı.

Meşhur Boolean üçleme problemini çözmüşse de, rekor kıran dosyada hâlâ neden renk şemasının mümkün olacağına ilişkin bir açıklama bulunmuyor.

İspata göre tamsayıları birçok şekilde renklendirmek mümkün, ancak sadece 7.824 sayısına kadar olabileceği belirtiliyor. Bundan sonra renklendirme mümkün olmuyor. Neden 7.825’te bir kesim noktası var? Neden bunların öncesinde renklendirme oluyorr?

Araştırma ekibinin bulguları Cornell Üniversitesi çevrimiçi kütüphanesinde meraklısını bekliyor.

Hakkımızda

Hakkımızda UMS Uzmanlar Metroloji Servisi; kalibrasyon laboratuvarı işletmeciliği, kalite yönetim sistemleri danışmanlık hizmetleri, üretim ve cihaz satışı konularında faaliyet göstermek üzere 1994 yılında kurulmuştur. Şirket merkezimiz Ankara’da olmak üz

Hızlı Menü

  • Anasayfa
  • Hakkımızda
  • Ürünlerimiz
  • Karşılaştırmalar
  • Temsilciliklerimiz
  • Kalibrasyon
  • İK
  • İletişim

İletişim

  • Örnek Sanayi Sitesi 1267/1 Sokak No:5 Ostim / Ankara
  • +90 (312) 386 3155
  • +90 (312) 386 3157
  • info@jera.com.tr

Sosyal Medya

2021. All Rights Reserved.

Ankara Web Tasarım