Sert bilimler, saf bilimler veya temel bilimler olarak da bilinen kesin bilimler, matematiksel dile dayalı bilgi oluşturmak için uygulama olarak tamamen gözlem ve deneyime dayanır. Bilimsel yöntem, matematiği bunu yapmak için bir araç olarak kullanarak hipotezleri test etmek için en saf haliyle kullanıldığından, yüksek hassasiyet ve titizlik bilimidir.
Kesinlik ve kesinlik, kesin bilimlerin temel özelliklerinden ikisidir; hipotezleri test etmek için en titiz bilimsel yöntemin kullanıldığı bir daldır. Bu bilimler, ölçülebilir ve nesnel öngörüleri kullanarak varsayımlarının reddedilemezliğini ararlar.
Kesin bilimler söz konusu olduğunda, hipotezlerin ve varsayımların denklemler ve ölçülebilir ve nesnel matematiksel işlemler yoluyla reddedilemez olduğu aranır. Bu temel ilkeler aksiyomlar olarak bilinir.
Şu anda, Rudolf Carnap tarafından kurulduğu üzere, kesin bilimler resmi (deneysel olmayan) ve doğal (deneysel) bilimlere ayrılmıştır. Biçimsel bilimler arasında matematik, mantık ve biçimsel mantık buluyoruz. Doğa bilimlerinde astronomi, biyoloji ve fiziktir.
Kesin bilimler , başlangıcından beri bilimsel bilginin temellerini atmıştır. Her ne kadar tüm bilginin nicelleştirilemeyeceği artık açık olsa da, bu öncülden hareketle, yerçekimi gibi yüzyıllardır kabul edilen temel ilkeleri yöneten temel yasaların, ilkelerin ve teorilerin çoğu.
Her bilimin kendi boyutu vardır. Bu nedenle, sosyal bilimler, sağlık bilimleri, olasılığa dayalı olanlar (örneğin meteoroloji) veya doğanın bazı yönleriyle (biyoloji, zooloji vb.) İlgilenenler vardır. En alakalı bilimlerden biri, aynı zamanda kesin bilimler olarak da adlandırılan matematiktir. Matematik, cebir, aritmetik, geometri veya olasılık gibi farklılaştırılmış dallardan oluştuğu için bu terim çoğul olarak kullanılır. Öte yandan, kesin kelimesi matematiğin farklı alanlarının ortak bir yönüne sahip olduğu için kullanılır: kanıtları açık ve tartışılmaz, yani kesin.