Menzil (TASAVVUF ADRESİNİZ) SiLSiLE - Matematiksel tanit
   
TASAVVUF DİYARI
 





Ana Sayfa
Açıklamalarıyla 99 Esma
Hatim- mukabele
Çeşitli Dualar
Silsile
Tasavvuf Edebiyatı
Tasavvuf Yazıları 
Menkîbeler
İlahiler ve Kasideler
İslâmi Flash
İslami Haberler
İslâm Kütüphanesi
İslami Siteler- TOPLİST
İslami Soru ve Cevaplar
İslami Sözlük
İslami Videolar
Rüya Yorumları- Tabirleri
Kadın 

Popüler
Oyun
Bilgisayar önerilerimiz
ZİYARETÇİ DEFTERİ


AŞERE-İ MÜBEŞŞERE

>>1.Hz. Ebu Bekir
>>2.Hz. Ömer bin Hattab
>>3.Hz. Osman bin Affan
>>4.Hz. Ali Bin Ebu Talib
>>5.Talha bin Ubeydullah
>>6.Zübeyr bin Avvam
>>7.Sa'd bin Ebi Vakkâs
>>8.Abdurrahman bin Avf
>>9.Ebu Ubeyde bin el-Cerrah
>>10.Said bin Zeyd

ASHAB-I SUFFA

>>Bilal-i Habeşî{R.A.}
>>Selmân-ı Farisî{R.A.}
>>Enes bin Malik{R.A.}
>>Hâlid Ebâ Eyyubel-Ensâri{R.A.}
>>Abdullah bin Mesud{R.A.}
>>Huzeyfetul-Yemenî{R.A.}
>>Ebuzer-i Gıfarî{R.A.}
>>Ebuzer-i Gıfarî{R.A.}
>>Ammar bin Yâsir{R.A.}
>>Muaz Bin Cebel {R.A:}
>>Ebud-Derda{R.A.}
>>Ebu Musa el-Eş'ârî{R.A.}
>>Mikdad bin Esved{R.A.}
>>Halid bin Velid{R.A.}
>>Mus'ab bin Umeyr{R.A.}
>>Usame bin Zeyd{R.A.}
>>Erkam{R.A.}

 

 

Tasavvuf ve Tevbe 
Rabıta 
Tevessül ve Vesile 
Allah İle Kul Arasına Girmek 
Kutbul İrşad ve Tasarruf 
Ehl-ibeyt Kimdir 
Mürşide Teslimiyet Kölelik mi? 
Veliye Hürmetin Ölçüsü 
Kerameti İnkar Etmek 
Himmet 
İrşad nedir, Mürşid kimdir?


 
Matematikte tanıt (belgit, ispat), ilgilenilen bir önermenin, belirli aksiyomlar esas alınarak, doğru olduğunu gösterme yöntemidir.
ise dilin ve mantığın tanıtlardaki rölü ve " Matematiksel tanıtta mantık kullanılır ancak genellikle bir ölçüde doğal dilden de yararlanılır ve dolayısıyla bir parça belirsizlik içerir. Gerçektende matematikte yazılan tanıtların büyük çoğunluğu informel mantığın uygulaması olarak kabul edilebilir. Tamamıyla formel tanıtların ele alındığı tanıtlama teorisi bağlamında, bu tip tamamıyle formel olmayan tanıtlamalara "sosyal tanıtlama" denir. Bu ayrım, günümüz ve geçmiş matematiksel uygulamaların, matematikte yarı görgücülüğün ve matematik folklorünün yoğun olarak incelenmesine yol açmıştır. Matematik felsefesidil olarak matematik" ile ilgilidir.
Kişinin formalizme olan yaklaşımından bağımsız olarak, doğru olduğu tanıtlanan sonuca teorem denir. Bu teorem, tamamıyla formel olan bir tanıtta son satırda yer alır ve tanıtın tümü, bu teoremin aksiyomlardan nasıl türetildiğini gösterir. Bir teorem tanıtlandıktan sonra başka önermeleri tanıtlamada kullanılabilir. Matematiğin temelleri adı verilen önermeler tanıtlanamayan ya da tanıtlanması gerekmeyen önermelerdir. Bunlar bir zamanlar matematik felsefecilerinin başlıca uğraşı alanıydı. Günümüzde ilgi odağı daha çok matematiksel uygulamalara, yani kabul edilebilir matematiksel tekniklere kaymıştır.

Bazı kabul görmüş tanıtlama teknikleri:
Doğrudan tanıtlama: Sonucun, aksiyomlar, tanımlar ve daha önceki savların mantıksal olarak birleştirilmesiyle elde edildiği yöntem.
Tümevarımla tanıtlama: Temel bir durumun tanıtlandığı ve bir tümevarım kuralı kulanılarak çok sayıda (sıkça sonsuz olan) başka durumların tanıtlandığı yöntem.
Olmayana ergi tanıtı (Reductio ad absurdum olarak da bilinir): Bir özelliğin doğru olması durumunda mantıksal bir çelişkinin doğacağı dolayısıyla özelliğin yanlış olduğunun gösterildiği yöntem.
Oluşturarak tanıtlama: İstenen özelliğe sahip somut bir örnek oluşturularak istenen özellikte bir nesnenin var olduğunun gösterildiği yöntem.
Tüketerek tanıtlama: Tanıtlanacak önermenin sonlu sayıda duruma bölünerek her birinin ayrı ayrı tanıtlandığı yöntem.
Olasılıkçı tanıtlama, olasılık teorisi yardımıyla istenen özellikte bir örneğin var olduğunun gösterildiği bir tanıtlama olarak anlaşılmalıdır, yani bir teoremin doğru "olabileceği" şeklinde değil. Bu ikinci türdeki uslamlamalara 'usayatkınlık tanıtı' denebilir; Collatz sanısı örneğinde bunun gerçek bir tanıtlamadan ne kadar uzak olduğu aşikardır. Olasılıkçı tanıtlama -oluşturarak tanıtlama dışında- varlık teoremlerini tanıtlamanın birçok yönteminden biridir.
Örneğin "f(X)'i sağlayan en az bir X var" önermesini tanıtlamaya çalışıyorsanız, bir varlık ya da oluşturmacı olmayan tanıt f(X)'i sağlayan bir X olduğunu tanıtlar fakat bu X'in nasıl elde edileceğini göstermez. Buna karşın oluşturmacı bir kanıt X'in nasıl elde edildiğini de gösterir.
Doğru olduğu düşünülen fakat henüz tanıtlanmayan bir önerme sanı (konjektür) olarak bilinir.
Bazı durumlarda, belirli bir önermenin verili bir aksiyomlar kümesinden tanıtlanamayacağı tanıtlanabilir; bkz. örneğin süreklilik hipotezi. Aksiyom sistemlerinin çoğunda, ne tanıtlanabilen ne de tanıtlanamayan önermeler bulunur (bkz. Gödel'in eksiklik kuramı).
   

=> Sen de ücretsiz bir internet sitesi kurmak ister misin? O zaman burayı tıkla! <=
Anket doldur para kazan - internetten para kazan - kolay para - üye ol, üye yap kazan - reklam izle para kazan - napolyon - helal para - internetten helal para - siten ile para kazan - facebook ile para kazan