Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
2 beğenilme 0 beğenilmeme
4k kez görüntülendi

Matematikte tanimlar vardir ve tanimlar uzerine ispatlar yapariz. Peki tanimin tanimi nedir? Matematikte sorgularken tam olarak nerede durmaliyiz?

Bu soruya nereden geldim: kumenin tanimi nedir?
"şey"lerin bir araya gelmesi !?
şey nedir?
şey
...

Ek olarak basa donersek "Matematikte tanimlar vardir ve tanimlar uzerine ispatlar yapariz." ne kadar dogru olur?

Lisans Matematik kategorisinde (25.3k puan) tarafından  | 4k kez görüntülendi

Your browser does not have a PDF plugin installed.

Download the PDF: MANTIK.pdf

Hocam iki link de aynı

Klasik olmayan mantiklari napicaz hocam :)

3 Cevaplar

4 beğenilme 0 beğenilmeme

Özel istek geldi cevaplamam için, bir iki kelam edeyim. 

$Tanım:$ Kastettiği her şeyi kapsayan, kastetmediği her şeyi ise dışarıda bırakan ifadelerdir.

Bu, tanımın matematiksel bir tanımı değil ama tanımın tanımı. 'Matematiksel tanım' ne demek onu Sercan Bey'e bırakıyorum.

Küme konusuna gelince, matematikte küme ve elemanı olmak kavramlarının tanımı yoktur. Bunlar tanımsız terim olarak kabul edilir, neyse ki hepimiz aynı şeyi anlıyoruz. Ancak kümenin tanımı üzerine birkaç şey de söyleyeyim:

Vakti zamanında(Cantor zamanında), herhangi bir objeler topluluğu küme diye biliniyormuş. Pek de yanlış sayılmaz ama Russel, bu tanımın çelişkiye yol açacağını Russel paradoksuyla gösterdi. Yani önünüze gelen her topluluğa küme diyemezsiniz, dedi bir nevi.

Bunu düzeltmek için, 'özellik' denen bir kavramı kullanıyoruz. İngilizcesi 'condition' olması lazım. Özelliğin de tanımı yok ama şöyle açıklayayım, objeleri kesin olarak birbirinden ayıran yargılara özellik denir. Örneğin : Bir kişinin oğlu olmak. Bu bir özelliktir çünkü biyolojiye de biraz sırtımızı dayayarak diyoruz ki bir kişinin ya oğlusundur ya da değilsindir. Ya da $x \leq 2$ de bir özelliktir. $P$'yi bir özellik, $P$'yi sağlayan $x$'leri de $P(x)$ ile gösterirsek bir $A$ kümesi $A = \{ x | P(x)\}$ olarak tanımlanabilir. Russel paradoksundaki hata, temel olarak, nereden geldiği belli olmayan elemanlar hakkında yargıda bulunmasıydı. Ancak dediğim gibi bunlar kümeyi daha iyi anlamak için yaptığım açıklamalar, yok küme ve elemanı olmak kavramlarının tanımı yok.


Kendimi çok iyi ifade edemediğimi düşündüğümden ve Moschovakis - Notes On Set Theory kitabının ilk Chapter'ının benim anlatabileceğimden çok daha iyi bir şekilde küme kavramını anlattığını düşündüğümden kitabın ilk Chapter'ını da okumanızı öneririm. 


$Not:$ Objeler topluluğu dediğim, objenin de tanımı yok. Tek bir aksiyom : Objeler vardır.

(691 puan) tarafından 

Bence gayet güzel olmuş. :-)

0 beğenilme 0 beğenilmeme
Matematikte sorgularken kesinliğe ulaştığımız yerde durmalıyız diye düşünüyorum Sercan Bey.

Matematikte tanımlar ve aksiyomlar vardır .Bu tanım ve aksiyomları kullanarak ispat yaparız.
(30 puan) tarafından 

kesinliğe ulaştığımız yer neresi tam olarak? 

0 beğenilme 0 beğenilmeme
Tanımın tanımlaması mantık olarak yapılamaz ama şöyle bir şey yapılabilir: Bazı cümlelere atomsal tanım deriz ve o atomlsrdan yeni tanımlar buluruz. Örn:

1)  Bir ve bir tane atomsal önermeyi sağlayan şeye x denir tarzı tanımlara atom diyelim.

2) İki tanımda yazan tüm önermeleri sağlayan şeye y denir bir tanımdır.

Buradan çift ve tek olan sayılara güzel sayı denildiğini kanıtlayın. (Çok trişkadan bir örnek oldu. :(  )
(93 puan) tarafından 
20,200 soru
21,726 cevap
73,275 yorum
1,887,800 kullanıcı