ZFS Aksiyomları

N. Ergun

Bu kısa yazıda ZFS Aksiyomlarından ve ünlü Gödel Teoremi’nin neyi kanıtladığından söz açacağız.

Yazının devamı için buraya tıklayınız.

Nicel Sayılar Aritmetiğinin Temel Teoremleri

N. Ergun

Okuyucunun bir X kümesinin |X| ile yazılan nicel sayısının (kardinalitesinin) tanımını bildiğini varsayıyoruz. Şunları bilmek yeterlidir: Ancak ve yalnız birebir bir f: X→Y fonksiyonu tanımlı olduğunda |X|≤|Y|, ancak ve yalnız hem bire-bir hem örten bir h: X→Y fonksiyonu tanımlı olduğundaysa |X|=|Y| yazılır. Örneğin ∀ n ∊ℕ için h(2n+1)=-n ve h(2n)=n ve ayrıca h(1)=0 tanımlanırsa, bu bire-bir ve örten h: ℕ→ℤ sayesinde kolayca |ℕ|=|ℤ| bulunur. Tanımlanmayan kavram ve semboller için Kaynakça[1]'e başvurulmalıdır.

Yazının devamı için buraya tıklayınız.

Cebirin Temel Teoremi

N. Ergun

Bu yazıda, Matematik'in en olağanüstü sonuçlarından birisi olan Cebirin Temel Teoremi tıkızlık bilgisi yardımıyla kanıtlanacaktır.

Yazının devamı için buraya tıklayınız.