Matematikte oluşturarak tanıtlama istenen özelliğe sahip somut bir örnek oluşturularak ya da böyle bir nesneyi oluşturma yöntemi verilerek, istenen özellikte bir matematiksel nesnenin var olduğunun tanıtlandığı bir yöntemdir. Bu yöntem, belirli özelliklere sahip olan matematiksel bir nesnenin var olduğunu tanıtlayan fakat bu nesnenin bir örneğini oluşturmak için yol göstermeyen yöntemine karşıttır.
Oluşturmacılık, matematikte oluşturmacı tanıtlar dışındaki tüm tanıtları reddeden bir felsefedir.
Örnek
Oluşturmacı bir tanıt ile oluşturmacı olmayan bir tanıt arasındaki karşıtlık, cebirsel sayılar olmayan aşkın sayılar () ya da kompleks sayılar kavramlarıyla gösterilebilir. Hardy & Wright (1979) eserlerinde yazdığı gibi:-
Aşkın sayılar gibi bir kavramın olabileceği ilk bakışta gözükmez ... Üç farklı sorunu ayırt etmemiz gerekir. İlki, aşkın sayıların var olduğunu tanıtlamak (herhangi bir somut örnek verme zorunluluğunu hissetmeden). İkincisi, özellikle tasarlanmış bir yöntemle somut bir aşkın sayı örneği vermek. Üçüncüsü ise -ki bu en zor sorundur-, verilen herhangi bir sayının ... aşkın olduğunu tanıtlamak.
Aşkın sayıların var olduğunu tanıtlamak aşağıdaki argümanla tanıtlanabilir. Cebirsel sayıların kümesi bir kümedir. Buna karşın reel sayıların kümesi bir kümedir. Dolayısıyla cebirsel sayı olmayan bazı reeel sayılar olmak zorundadır. Bu sayılar, tanım itibarıyla aşkın sayılardır. Bu tanıt, oluşturmacı olmayan bir tanıttır.
Aşkın sayıların olşturmacı bir tanıtı için, bu sayıları oluşturma yöntemine sahip olmalıyız. Bu işlem, var olduklarını tanıtlamaktan daha zordur. Matematiksel sabitelerden ve π aşkın sayılar için göze çarpan ilk adaylardır fakat bunların gerçekten aşkın olduğunu tanıtlamak çok zor bir görevdir. Aşkın oldukları tanıtlanabilen ilk sayılar tarafından betimlenmiştir ve kendisi, adı verilen sonsuz bir aşkın sayı sınıfını oluşturma yöntemini bulmuştur.
Kaynakça
- Hardy, G.H. & Wright, E.M. (1979) An Introduction to the Theory of Numbers (Fifth Edition). Oxford University Press.
wikipedia, wiki, viki, vikipedia, oku, kitap, kütüphane, kütübhane, ara, ara bul, bul, herşey, ne arasanız burada,hikayeler, makale, kitaplar, öğren, wiki, bilgi, tarih, yukle, izle, telefon için, turk, türk, türkçe, turkce, nasıl yapılır, ne demek, nasıl, yapmak, yapılır, indir, ücretsiz, ücretsiz indir, bedava, bedava indir, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, resim, müzik, şarkı, film, film, oyun, oyunlar, mobil, cep telefonu, telefon, android, ios, apple, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, pc, web, computer, bilgisayar
Matematikte olusturarak tanitlama istenen ozellige sahip somut bir ornek olusturularak ya da boyle bir nesneyi olusturma yontemi verilerek istenen ozellikte bir matematiksel nesnenin var oldugunun tanitlandigi bir yontemdir Bu yontem belirli ozelliklere sahip olan matematiksel bir nesnenin var oldugunu tanitlayan fakat bu nesnenin bir ornegini olusturmak icin yol gostermeyen yontemine karsittir Olusturmacilik matematikte olusturmaci tanitlar disindaki tum tanitlari reddeden bir felsefedir OrnekOlusturmaci bir tanit ile olusturmaci olmayan bir tanit arasindaki karsitlik cebirsel sayilar olmayan askin sayilar ya da kompleks sayilar kavramlariyla gosterilebilir Hardy amp Wright 1979 eserlerinde yazdigi gibi Askin sayilar gibi bir kavramin olabilecegi ilk bakista gozukmez Uc farkli sorunu ayirt etmemiz gerekir Ilki askin sayilarin var oldugunu tanitlamak herhangi bir somut ornek verme zorunlulugunu hissetmeden Ikincisi ozellikle tasarlanmis bir yontemle somut bir askin sayi ornegi vermek Ucuncusu ise ki bu en zor sorundur verilen herhangi bir sayinin askin oldugunu tanitlamak Askin sayilarin var oldugunu tanitlamak asagidaki argumanla tanitlanabilir Cebirsel sayilarin kumesi bir kumedir Buna karsin reel sayilarin kumesi bir kumedir Dolayisiyla cebirsel sayi olmayan bazi reeel sayilar olmak zorundadir Bu sayilar tanim itibariyla askin sayilardir Bu tanit olusturmaci olmayan bir tanittir Askin sayilarin olsturmaci bir taniti icin bu sayilari olusturma yontemine sahip olmaliyiz Bu islem var olduklarini tanitlamaktan daha zordur Matematiksel sabitelerden ve p askin sayilar icin goze carpan ilk adaylardir fakat bunlarin gercekten askin oldugunu tanitlamak cok zor bir gorevdir Askin olduklari tanitlanabilen ilk sayilar tarafindan betimlenmistir ve kendisi adi verilen sonsuz bir askin sayi sinifini olusturma yontemini bulmustur KaynakcaHardy G H amp Wright E M 1979 An Introduction to the Theory of Numbers Fifth Edition Oxford University Press ISBN 0 19 853171 0