teoremler

53 views
Skip to first unread message

yasin emre soybas

unread,
Jul 5, 2013, 12:20:09 PM7/5/13
to tm...@googlegroups.com
Her teorem,bütün ispat yöntemleriyle ispatlanabilir mi?
yani rastgele bir teorem,hem olmayana ergi yöntemi,hem doğrudan ispat,hem tümevarım vs. yöntemleriyle ispatlanabilir mi?

yasin emre soybas

unread,
Jul 5, 2013, 1:07:00 PM7/5/13
to tm...@googlegroups.com
...............

Yaşar ŞENCAN

unread,
Jul 5, 2013, 5:01:19 PM7/5/13
to TMOZ
evet ama ayıracak vaktin varsa, başka işle uğraşmayacaksan neden olmasın?
mesela kök2 nin irrasyonel olmasını her türlü ispatlamanı istesem ilk seçeceğin yol nedir?
farzedelim kök2 rasyonel olsun....
umarım anlatabilmişimdir..

İnsanın aklı kadar edebi, edebi kadar ederi vardır

“Siz, haddi aşan kimseler oldunuz diye, sizi Kur’an’la uyarmaktan vaz mı geçelim?”
Zuhruf-5



2013/7/5 yasin emre soybas <yasin...@hotmail.com>
...............

--
http://www.facebook.com/groups/358210690921074/
---
Bu e-postayı Google Grupları'ndaki "TMOZ" adlı gruba abone olduğunuz için aldınız.
Bu grubun aboneliğinden çıkmak ve bu gruptan artık e-posta almamak için tmoz+uns...@googlegroups.com adresine e-posta gönderin.
Bu grubu http://groups.google.com/group/tmoz adresinde ziyaret edebilirsiniz.
Daha fazla seçenek için, https://groups.google.com/groups/opt_out adresiniz ziyaret edin.
 
 

DNZKRDG

unread,
Jul 5, 2013, 5:03:15 PM7/5/13
to TMOZ
Bir teorem bir çok yoldan ispatlanabilir.... ancak bu öyle kolay değil.... bu sebeble zaten ispat yöntemleri geliştirilmiş...

yasin emre soybas

unread,
Jul 5, 2013, 5:33:31 PM7/5/13
to tm...@googlegroups.com
Yani hangi yoldan ispatlamak kolaysa,o yolu seçiyor yani öyle mi?

Yaşar ŞENCAN

unread,
Jul 5, 2013, 5:34:02 PM7/5/13
to TMOZ
sanırım hocam

İnsanın aklı kadar edebi, edebi kadar ederi vardır

“Siz, haddi aşan kimseler oldunuz diye, sizi Kur’an’la uyarmaktan vaz mı geçelim?”
Zuhruf-5



2013/7/6 yasin emre soybas <yasin...@hotmail.com>
Yani hangi yoldan ispatlamak kolaysa,o yolu seçiyor yani öyle mi?

--

alper(geomania.org)

unread,
Jul 5, 2013, 6:25:00 PM7/5/13
to tm...@googlegroups.com
Sanırım seçilen ya da denenen ispat yöntemi teoremin yapısına ve ispata kattığı kolaylığa göre değişiyor.Ancak bir  teoremin ya da önermenin herhangi bir ispat yöntemiyle ispatı mümkün olmayabilir ya da çok güçtür.Mesela doğrudan ispat ve tümevarım yöntemleri sık kullanılır ama karşımıza çıkan her önermeyi bunlarla bazen ispatlayamayabiliriz.Bazen de her ikisiyle ispatlayabiliriz ve birinden birini kullanmak ispatı daha kolaylaştırabilir.Örneğin  her a,b  >= 0  için

  (a + b)^n >= a^n + b^n  eşitsizliği  tümevarımla ispatlanabilir ama doğrudan binom açılımını kullanmak daha kolay bir ispat sağlayabilir. 


logaritma

unread,
Jul 5, 2013, 6:28:57 PM7/5/13
to tm...@googlegroups.com
Konu dışı ama;Sayın yöneticiler benim iletiler neden gitmiyor sorabilirmiyim birde burdan deneyeyim bakalım....


6 Temmuz 2013 01:25 tarihinde alper(geomania.org) <alperc...@gmail.com> yazdı:
Sanırım seçilen ya da denenen ispat yöntemi teoremin yapısına ve ispata kattığı kolaylığa göre değişiyor.Ancak bir  teoremin ya da önermenin herhangi bir ispat yöntemiyle ispatı mümkün olmayabilir ya da çok güçtür.Mesela doğrudan ispat ve tümevarım yöntemleri sık kullanılır ama karşımıza çıkan her önermeyi bunlarla bazen ispatlayamayabiliriz.Bazen de her ikisiyle ispatlayabiliriz ve birinden birini kullanmak ispatı daha kolaylaştırabilir.Örneğin  her a,b  >= 0  için

  (a + b)^n >= a^n + b^n  eşitsizliği  tümevarımla ispatlanabilir ama doğrudan binom açılımını kullanmak daha kolay bir ispat sağlayabilir. 


Taylan OKTAY

unread,
Jul 5, 2013, 6:38:08 PM7/5/13
to tm...@googlegroups.com
iletileriniz geliyor hocam, ancak yeni üyeler bir süre denetlenen durumundadır, bir süre sonra denetim tamamen kalkacaktır, bilginize.

Taylan OKTAY
TMOZ & MATEMATİK VADİSİ


6 Temmuz 2013 01:28 tarihinde logaritma <x.ma...@gmail.com> yazdı:
Reply all
Reply to author
Forward
0 new messages