Ana menüyü aç

Değişiklikler

k
85.102.78.13 tarafından yapılan değişiklikler geri alınarak, Kibele tarafından değiştirilmiş önceki sürüm geri getirildi.
 
Matematiksel mantıkta kuramlar formu resmi olarak incelenir, özellikle de model kuramında. Kuramlar matematikte incelendiğinde genellikle resmi bir dille ifade edilirler ve netice kuralları diye adlandırılan izlekler altında kapalı önermelerdir. Bunun özel bir durumu aksiyomatik kuramdır, aksiyomlardan ve netice kurallarından oluşur. Kuram ise bu aksiyomlara netice kurallarını uygulayarak türetilebilir. Uygulamalarda kullanılan kuramlar gözlemlenmiş görüngülerin alıntılarıdır ve sonuç olarak ortaya çıkan kuramlar gerçek dünyada karşımıza çıkan olaylarla örtüşürler. Göze çarpan örnekler arasında [[aritmetik]](Sayılardan soyutlaşan kavramlar), [[geometri]](uzay kavramları) ve [[olasılık]](rastgelelik kavramı) sayılabilir.
Gödel’in tamamlanmama kuramı gösteriyor ki, doğal sayıların ifade edilebilindiği tutarlı hiçbir kuram onunla ilgili bütün doğru önermeleri içeremez. Sonuç olarak, bazı bilgi tanım kümeleri matematiksel kuram olarak tamamen ifade edilemez. Fakat bu kısıtlama hiçbir şekilde bilimsel bilgiyi resmileştiren matematiksel kuramların oluşumuna ön aşama değildir.TÜRKİYE ŞAK ŞAK ŞAK TÜRKİYE ŞAK ŞAK ŞAK LAY LAY LAY LAY
 
==Belirsizlik (Underdetermination)==