Bilgisayarlar artık matematik hatalarını kontrol ediyor
HOL Light, karmaşık matematiksel kanıtları resmi olarak doğrulayan bir bilgisayar sistemidir. Doğruluğu sağlar ve bilim ile teknoloji için güvenilir temeller oluşturur.
Bir bilgisayarın karmaşık matematiksel kanıtları doğruladığını, her adımın mükemmel olduğundan emin olduğunu düşünün. HOL Light tam da bunu yapıyor. John Harrison tarafından 1990'ların ortalarında geliştirilen bu etkileşimli teorem ispatlayıcı, klasik matematiği mekanize eder. Araştırmacılar, bilgisayar tabanlı bir sistem kullanarak karmaşık teoremleri resmi olarak doğrulayabilirler. Bu, matematik için yanılmaz bir düzeltmen gibidir.
Bu hikayenin devamı uygulamada — okumaya devam etmek için aç.
Uygulamada Okumaya Devam Et
2 paragraf daha · ve 3 soruluk bir test