Önsöz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . xi 
 
1.1 Bilim Nedir? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 
 
2.1 Bilimin Ele³tirisi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 
 
3.1 nsanl§n Ortak Dili . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 
 
5.1 ki–de§erli Mantk . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 
 
5.2 Matematiksel Mantk . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36 
 
5.3 Boole Cebiri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36 
 
5.4 Önermeler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 
 
5.4.1 Yaln Önermeler . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38 
 
5.4.2 Bile³ik Önermeler . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 
 
5.4.3 Denk Önermeler . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 
 
5.5 Al³trmalar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 
 
5.6 Önermeler Cebiri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41 
 
5.7 Operatörler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41 
 
5.7.1 ^ (ve) Operatörü . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41 
 
5.7.2 _ (veya) Operatörü . . . . . . . . . . . . . . . . . . . . . . . . . . 44 
 
5.7.3 Da§lma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 
 
5.8 De§illeme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 
 
5.8.1 Bir Önermenin De§ili . . . . . . . . . . . . . . . . . . . . . . . . . 47 
 
5.8.2 Bile³ik Önermelerin De§illenmesi . . . . . . . . . . . . . . . . . . . 48 
 
5.8.3 Hepdo§ru ve Hepyanl³ . . . . . . . . . . . . . . . . . . . . . . . . 49 
 
5.8.4 se Ba§lac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51 
 
5.8.5 Ancak ve Ancak Operatörü : $ . . . . . . . . . . . . . . . . . . . . 57 
 
5.8.6 Al³trmalar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58 
 
5.9 Kurallar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59 
 
5.10 Al³trmalar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60 
 
6.1 Oyunlar Kuram . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66 
 
7.1 Küme Nedir? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67 
 
7.2 Kavramlar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68 
 
7.2.1 Küme ve Ö§e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68 
 
7.3 Küme'nin Tanmsz Terimleri . . . . . . . . . . . . . . . . . . . . . . . . . 68 
 
7.4 Kümelerin Gösterimi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70 
 
7.4.1 Niteleme Yöntemi . . . . . . . . . . . . . . . . . . . . . . . . . . . 70 
 
7.4.2 Listeleme Yöntemi . . . . . . . . . . . . . . . . . . . . . . . . . . . 70 
 
7.4.3 Venn Diyagram . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72 
 
7.5 Temel Kavramlar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72 
 
7.5.1 Varlk Beliti . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72 
 
7.5.2 çerme–çerilme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72 
 
7.5.3 Kapsama . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73 
 
7.5.4 Evrensel Küme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73 
 
7.5.5 Tümleyen Küme . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76 
 
7.5.6 Bo³küme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78 
 
7.5.7 Tek Ö§eli Küme . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79 
 
7.5.8 Altküme ve Üstküme . . . . . . . . . . . . . . . . . . . . . . . . . . 79 
 
7.5.9 E³it Kümeler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79 
 
7.5.10 Has Altküme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80 
 
7.5.11 Kuvvet Kümesi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80 
 
7.5.12 Nicelik Says . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80 
 
7.6 Sonlu ve Sonsuz Kümeler . . . . . . . . . . . . . . . . . . . . . . . . . . . 81 
 
7.7 Al³trmalar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82 
 
7.8 Küme ³lemleri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83 
 
7.9 Kümeler Cebiri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85 
 
7.10 Al³trmalar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87 
 
8.1 Önerme Fonksiyonlar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91 
 
8.2 Nicelik Belirteçleri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92 
 
8.2.1 Evrensel Belirteç . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92 
 
8.2.2 Varlk Belirteci . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93 
 
8.3 Nicelemelerin De§illenmesi . . . . . . . . . . . . . . . . . . . . . . . . . . . 93 
 
8.3.1 "her" Niceleyicisinin De§illenmesi . . . . . . . . . . . . . . . . . . 93 
 
8.3.2 "var" Niceleyicisinin De§illenmesi . . . . . . . . . . . . . . . . . . 94 
 
8.3.3 Çok De§i³kenli Önerme Fonksiyonlar . . . . . . . . . . . . . . . . 95 
 
8.4 Çok De§i³kenli Önermeleri De§illeme . . . . . . . . . . . . . . . . . . . . . 98 
 
8.5 Al³trmalar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99 
 
10.1 Sral kililer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103 
 
10.2 n–srallar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104 
 
10.3 Analitik Geometri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104 
 
10.4 Kartezyen Çarpm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107 
 
10.5 Al³trmalar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108 
 
11.1 Ba§nt Nedir? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109 
 
11.1.1 Ba§ntlarn Gösterimi . . . . . . . . . . . . . . . . . . . . . . . . . 111 
 
11.1.2 Ters Ba§nt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112 
 
11.2 Ba§nt Türleri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112 
 
11.3 Al³trmalar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115 
 
12.1 Damgal Kümeler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117 
 
12.2 Kümeler Ailesi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117 
 
12.2.1 Altaile . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118 
 
12.2.2 Kuvvet Kümesi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118 
 
12.3 ³lemler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118 
 
12.3.1 Kümeler Ailesinin Bile³imi . . . . . . . . . . . . . . . . . . . . . . 119 
 
12.3.2 Küme Ailesinin Kesi³imi . . . . . . . . . . . . . . . . . . . . . . . . 119 
 
12.3.3 Ayrk Aile . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120 
 
12.3.4 Ayr³m . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120 
 
12.3.5 Örtü . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121 
 
12.3.6 Genelle³mi³ Da§lma Kurallar . . . . . . . . . . . . . . . . . . . . 122 
 
12.4 Küme Dizileri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123 
 
12.5 Al³trmalar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128 
 
13.1 E³itlik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129 
 
13.2 Denklik Ba§ntlar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129 
 
13.3 Denklik Snar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130 
 
13.4 Bölüm Kümesi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132 
 
13.5 Al³trmalar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136 
 
14.1 Sralama Ba§ntlar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137 
 
14.2 Tikel Sralama Ba§nts . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138 
 
14.3 Alt ve Üst Snrlar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 142 
 
14.3.1 Altsnrlar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 142 
 
14.3.2 Üstsnrlar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143 
 
14.3.3 Küçükçe Ö§eler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144 
 
14.3.4 Büyükçe Ö§eler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145 
 
14.3.5 Minimum . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146 
 
14.3.6 Maksimum . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146 
 
14.4 ALITIRMALAR . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 147 
 
15.1 Al³trmalar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 150 
 
16.0.1 Do§al Saylarda E³itlik . . . . . . . . . . . . . . . . . . . . . . . . . 151 
 
16.0.2 Do§al Saylarda Sralama . . . . . . . . . . . . . . . . . . . . . . . 152 
 
16.1 Özelikler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152 
 
16.2 Sonluötesi Tümevarm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155 
 
16.3 E³sral Kümeler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156 
 
16.4 Genel Tümevarm lkesi . . . . . . . . . . . . . . . . . . . . . . . . . . . . 158 
 
16.4.1 Al³trmalar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 158 
 
17.1 Fonksiyon Nedir? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 159 
 
17.2 Fonksiyonun Gra§i . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 160 
 
17.2.1 Al³trmalar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163 
 
17.3 Fonksiyon Türleri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165 
 
17.4 Fonksiyonlarn Bile³kesi . . . . . . . . . . . . . . . . . . . . . . . . . . . . 168 
 
17.5 Al³trmalar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 169 
 
18.1 Operatör Nedir? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 171 
 
18.1.1 Birli Operatörler . . . . . . . . . . . . . . . . . . . . . . . . . . . . 171 
 
18.1.2 kili Operatörler . . . . . . . . . . . . . . . . . . . . . . . . . . . . 172 
 
18.1.3 n–li Operatörler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 172 
 
18.1.4 S–Çarpma i³lemi . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173 
 
18.2 ³lemlerin Özelikleri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173 
 
18.3 Tablo Gösterimi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 177 
 
18.4 Modular Aritmetik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 178 
 
18.4.1 Modular Aritmeti§in Kurallar . . . . . . . . . . . . . . . . . . . . 181 
 
18.5 Al³trmalar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 185 
 
19 Matemetiksel Yaplar 187 
 
19.1 Matematiksel Yap . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 187 
 
19.2 Matematiksel Yaplar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 188 
 
19.3 Yap Türleri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 188 
 
19.3.1 Sralama Yaplar . . . . . . . . . . . . . . . . . . . . . . . . . . . . 189 
 
19.3.2 Cebirsel Yaplar . . . . . . . . . . . . . . . . . . . . . . . . . . . . 189 
 
19.4 Yaplar Arasnda Dönü³ümler . . . . . . . . . . . . . . . . . . . . . . . . . 192 
 
19.5 Al³trmalar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 193 
 
20.1 Do§al Saylarn Kurulu³u . . . . . . . . . . . . . . . . . . . . . . . . . . . 195 
 
20.1.1 Sonsuzluk Beliti . . . . . . . . . . . . . . . . . . . . . . . . . . . . 197 
 
20.1.2 Do§al Say . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 197 
 
20.1.3 Problemler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 198 
 
20.2 Sonlu Tümevarm lkesi . . . . . . . . . . . . . . . . . . . . . . . . . . . . 198 
 
20.3 Peano Belitleri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 198 
 
20.3.1 Problemler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 199 
 
20.4 Do§al Saylarn Sralanmas . . . . . . . . . . . . . . . . . . . . . . . . . . 200 
 
20.5 Tam Saylarn Kurulu³u . . . . . . . . . . . . . . . . . . . . . . . . . . . . 202 
 
20.6 Do§al Saylarda Aritmetik . . . . . . . . . . . . . . . . . . . . . . . . . . . 203 
 
20.6.1 Do§al saylarda E³itlik . . . . . . . . . . . . . . . . . . . . . . . . . 203 
 
20.6.2 Do§al Saylarda Toplama . . . . . . . . . . . . . . . . . . . . . . . 204 
 
20.6.3 Do§al Saylarda Çarpma . . . . . . . . . . . . . . . . . . . . . . . . 204 
 
20.6.4 Da§lma Kurallar . . . . . . . . . . . . . . . . . . . . . . . . . . . 205 
 
20.6.5 Problemler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 205 
 
20.7 Rasyonel Saylar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 206 
 
20.7.1 yi Tanmllk . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 207 
 
20.8 Al³trmalar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 208 
 
21 Büyük Saylar Adlandrma 209 
 
21.1 En büyük say nedir? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 209 
 
21.2 Büyük Saylar Nasl Adlandrlr? . . . . . . . . . . . . . . . . . . . . . . . 209 
 
21.3 Googol Nedir? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 212 
 
21.4 Sentilyon (centillion) Nedir? . . . . . . . . . . . . . . . . . . . . . . . . . . 212 
 
22.1 Sonsuzluk . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 213 
 
22.2 Ola§anüstü Otel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 214 
 
23.1 E³güçlülük . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 227 
 
23.1.1 Schröder–Bernstein Teoremi . . . . . . . . . . . . . . . . . . . . . . 229 
 
23.2 Sonluluk – Sonsuzluk . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 232 
 
23.3 Saylabilirlik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 235 
 
23.4 Gerçel Saylar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 241 
 
23.4.1 Dedekind Kesimi . . . . . . . . . . . . . . . . . . . . . . . . . . . . 241 
 
23.5 Al³trmalar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 242 
 
24 Hesap Bilmeyen Kral! 243 
 
25 Bilgisayar ne kadar hzl? 247 
 
25.1 Gezgin satc problemi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 248 
 
26.1 Saylamaz Sonsuz Kümeler . . . . . . . . . . . . . . . . . . . . . . . . . . 251 
 
26.1.1 Küçük Büyü§e E³it mi? . . . . . . . . . . . . . . . . . . . . . . . . 252 
 
26.1.2 Ksa Uzuna E³it mi? . . . . . . . . . . . . . . . . . . . . . . . . . . 252 
 
26.1.3 Gözlerine inan! . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 253 
 
26.2 Problem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 259 
 
26.3 Cantor Kümesi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 259 
 
27 Zeno'nun Kaplumba§as 261 
 
27.1 Sonsuz nedir? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 261 
 
27.2 Zeno Paradokslar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 262 
 
27.3 Hareket Yok mu? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 262 
 
27.3.1 A³il . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 262 
 
27.3.2 Hareket Edemeyen Ok! . . . . . . . . . . . . . . . . . . . . . . . . 264 
 
27.3.3 Hedefe Gidemeyen Kur³un! . . . . . . . . . . . . . . . . . . . . . . 264 
 
28.1 Ksa Tarihçe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 265 
 
28.2 Say Türleri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 266 
 
28.3 Nicelik Saylar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 267 
 
28.3.1 Nicelik Saylarnn Varl§ . . . . . . . . . . . . . . . . . . . . . . . 268 
 
28.4 Gösterimler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 269 
 
28.5 Sürey Hipotezi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 270 
 
28.6 Nicelik Saylar Üzerinde Aritmetik . . . . . . . . . . . . . . . . . . . . . . 271 
 
28.7 Sralama . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 272 
 
28.8 Sonsuz Toplamlar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 275 
 
28.9 Sonsuz Çarpmlar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 277 
 
28.10Al³trmalar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 278 
 
29.1 Sra Saylar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 280 
 
29.1.1 Bölüksel Küme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 281 
 
29.2 Sra Says . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 285 
 
29.3 Kar³la³trma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 286 
 
29.4 Sra Saylarnda Aritmetik . . . . . . . . . . . . . . . . . . . . . . . . . . . 286 
 
29.4.1 Toplama . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 287 
 
29.4.2 Çarpma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 288 
 
29.4.3 Üs Alma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 289 
 
29.5 Sra Saylarnn Snf . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 289 
 
29.5.1 Al³trmalar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 290 
 
30.1 Çat³k Nedir? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 291 
 
30.1.1 Russel Paradoksu . . . . . . . . . . . . . . . . . . . . . . . . . . . . 292 
 
30.1.2 Berber . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 293 
 
30.1.3 Cantor Paradoksu . . . . . . . . . . . . . . . . . . . . . . . . . . . 293 
 
30.1.4 Bütün Nicelik Saylarnn Kümesi . . . . . . . . . . . . . . . . . . . 294 
 
30.2 Problemler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 296 
 
31.0.1 Çeli³kisiz Sistem . . . . . . . . . . . . . . . . . . . . . . . . . . . . 297 
 
31.1 Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 298 
 
31.2 Sürey Varsaym . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 299 
 
31.3 Belitsel Kümeler Kuram . . . . . . . . . . . . . . . . . . . . . . . . . . . . 300 
 
31.3.1 Russel Paradoksu . . . . . . . . . . . . . . . . . . . . . . . . . . . . 301 
 
31.4 Russel Yöntemi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 302 
 
31.5 Zermelo Yöntemi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 302 
 
32.1 Seçim . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 303 
 
32.2 Ba§mszlk . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 304 
 
32.3 Çakl Nokta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 305 
 
32.4 Denklikler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 309 
 
33.1 Kararszlk (Tutarszlk) lkesi . . . . . . . . . . . . . . . . . . . . . . . . 315 
 
33.2 Eksiklik lkesi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 315 
 
34 Matemati§in Temelleri 317 
 
34.1 20.yy'da Matematik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 317 
 
34.2 Matemati§in Temelleri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 318 
 
34.3 Aray³lar! . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 319 
 
34.4 Kümeler Kuram ve Sonsuzluk . . . . . . . . . . . . . . . . . . . . . . . . 322 
 
34.5 Usbilimsellik (logicism) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 324 
 
34.6 Principia Mathematica: . . . . . . . . . . . . . . . . . . . . . . . . . . . . 324 
 
34.7 Sezgisellik (intuitionism) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 325 
 
34.8 Biçimsellik (formalism) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 325 
 
34.9 Ne Yaptn Gödel! . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 326 
 
34.10Dü³ünen Makine: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 327 
 
34.11 Turing Makinesi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 327 
 
34.12Sonuç: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 328 
 
35 apka Probleminin Çözümü 329