Edinburgh Research Explorer· 2013
Bertrand postülasının bir kanıtı
A proof of Bertrand's postulate
- 97atıf
- 2013yıl
Kısa özet
Bertrand postülası, asal sayı dağılımına ilişkin Chebyshev'in araçlarından yararlanılarak Matita İnteraktif Teorem İspatlayıcısı'nda biçimsel olarak kanıtlanmıştır.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Ana noktalar
- Bertrand postülası, Matita İnteraktif Teorem İspatlayıcısı kullanılarak biçimsel olarak kanıtlanmıştır.
- Kanıt, asal sayıların dağılımıyla ilgili Chebyshev'in çalışmalarına dayanmaktadır.
- Asal sayıların özellikleri, EBOB, çarpımlar ve toplamlar dahil olmak üzere temel aritmetiği kullanır.
- Biçimselleştirme, teorem ispatlayıcılardaki aritmetik bilgi tabanları için bir ölçüt görevi görür.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Özet (abstract)
We discuss the formalization, in the Matita Interactive Theorem Prover, of some results by Chebyshev concerning the distribution of prime numbers, subsuming, as a corollary, Bertrand's postulate. Even if Chebyshev's result has been later superseded by the stronger prime number theorem, his machinery, and in particular the two functions psi and theta still play a central role in the modern development of number theory. The proof makes use of most part of the machinery of elementary arithmetics, and in particular of properties of prime numbers, gcd, products and summations, providing a natural benchmark for assessing the actual development of the arithmetical knowledge base.
Yazarların özeti; kaynağından alınmıştır. Edinburgh Research Explorer, 2013 · DOI ↗
Ücretsiz hesapla devam et
Makaleye Sor ile bu makaleye günde 3 soru ücretsiz; makaleyi kaydet, kaynakçasını al, ilgi alanına göre her gün yeni özetler. Çıkarımlar Premium.
Web'de ücretsiz devam etGoogle ya da Apple hesabınla giriş; kart istemez. Bu makaleye geri dönersin.
Telefonda:
Alan: Teorik Bilgisayar Bilimi
Theoretical Computer ScienceMathematics