Soyut matematik: Revizyonlar arasındaki fark

Etkileşimli olarak geçmişe göz at

[kontrol edilmemiş revizyon]

[kontrol edilmiş revizyon]

← Önceki sürümle aradaki fark Sonraki sürümle aradaki fark →

İçerik silindi İçerik eklendi

GörselVikimetin

Satır içi

Sayfanın 11.34, 22 Şubat 2021 tarihindeki hâli

En genel anlamda, soyut matematik, matematiğin soyut kavramlarını inceleyen bir kolu olarak adlandırılabilir. 18. yüzyıldan bu yana, soyut matematik matematiksel aktivitenin bir kategorisi olarak kabul edilmiştir. Bazen spekülatif matematik^[1] olarak da kategorize edildiği olur. Soyut matematik navigasyon, mühendislik, fizik, astronomi gibi çeşitli alanlarda kullanılmaktadır. Soyut matematiğe dair en güçlü öngörülerden biri de soyut matematiğin ille de uygulamalı matematik olmak zorunda olmadığıdır; soyut şeylerleri onların içsel doğasını anlayarak çalışmak onların doğada nasıl apaçık biçimde nasıl olduğu ile ilgili olmak zorunda değildir. Soyut matematik ve uygulamalı matematik arasındaki felsefi açı farkına rağmen pratikte birçok örtüşme noktalarının olduğu da aşikardır.

Gerçek dünyayı tanımlayan doğru modeller kurmak için uygulamalı matematikçiler genelde soyut kabul edilebilecek araç ve tekniklerden faydalanır. Bunun yanında, birçok soyut matematikçi soyut araştırmalarında onlara ilham veren doğal ve sosyal olgulardan faydalanırlar

Tarih

Antik Yunan

Antik Yunan matematikçileri soyut matematik ile uygulamalı matematik arasında ilk ayrıma gidenlerdir. Platon günümüzde aritmetik olarak adlandırılan "logistic" ve günümüzde sayılar kuramı olarak adlandırılan "arithmetics" arasında bir ayırıma gider; Platon'a göre "logistic" (günümüzün aritmetiği) iş adamlarınca ve askerlerce bilinmeliydi çünkü ona göre "sayıların sanatını bilmeyenler askerlerin nasıl dizilmesi gerektiğini de bilemezlerdi.", ve aritmetik (günümüzün sayılar kuramı) filozoflarca bilinmeliydi; "çünkü onlar değişimin denizinden yükselerek, gerçek varlığı ele geçirenlerdir." ^[2] İskenderiylei Öklid, bir öğrencisi tarafından geometri ne işimize yarayacak diye sorunca kölesine öğrenciye para vermesini buyurur "çünkü bu adam öğrendiğinden illa ki bir kazanç elde etmek istiyor. "^[3] Book IV of Conics kitabındaki bazı teoremlerini gereksiz olduğunu söylenince şunları demiş yunan matematikçi Perda,^[4]

Biz sırf kendilerini gösterdikleri için onları kabul ederiz, tıpkı matematikteki birçok şeyi kabul ettiğimiz gibi.

19.Yüzyıl

O dönemde soyut matematiğin ayrı bir disiplin olarak ele alınması fikri ortaya çıkmış gibi gözüküyor. Gauss'un nesli belirgin bir biçimde soyut ve uygulamalı matematik alanları arasında ayrım yapmadı. Daha sonraki yıllarda uzmanlaşma ve profesyonelleşme (özellikle matematiksel analizdeki Weitrass yaklaşımı) ile alanlar arasındaki ayırım daha da belirginleşti..

20.yüzyıl

20.yy'ın başlarında matematikçiler, David Hilbert'in de güçlü etkisi ile, aksiyomatik metodu kullanmaya başladılar. Soyut matematiğin mantıksal formülasyonu Bertrand Russel tarafından önerildi; niceleyenler yapısındaki önermeler daha makul görünüyordu, matematiğin büyük bir bölümü aksiyomatikleştirildikçe rigourous proof'un basit kriterlerine maruz kaldılar.

Gerçekte, bir aksiyomatik yapıda rigorous kanıt düşüncesine bir şeyler eklemez. Bir görüşe göre -Bourbaki grubunun tarafından tanımlanabilecek- soyut matematik kanıtlanmış olandır. Soyut matematikçilik, eğitim ile ulaşılabilecek bir meslek olarak tanındı

Soyutlama ve Genelleme

Soyut matematikteki temel kavramlardan biri genellemeler fikridir; soyut matematik, genellemelere karşı genel olarak yükselen bir trend gösterir.

Teoremleri veya matematiksel yapıları genellemek onları daha kolay anlamamızı ve temellerini görebilmemizi sağlar.Genellemeler materyal olanın gösterimi olarak basitleştirilebilir, bu da daha kısa kanıtlar veya

anlaşılması ve takibi daha kolay argümanlara yol açar.

Genellemeler bizim gereksiz çabalardan kaçınmamızı sağlar; ayrık konularda bağımsız kanıtlar bulmaktansa, genel kanıtlara ulaşabiliriz veya matematiğin başka alanlarından sonuçları kullanabiliriz.
Genellemeler matematiğin çeşitli branşları arasındaki bağlantıları kolaylaştırır. Kategori Teorisi matematiğin çeşitli alanlarındaki yapıların yaygınlığını inceler

Genellemenin sezgi üzerinedeki etkisi hem özneye hem de kişisel tercihler veya kişisel öğrenme metodlarına bağlıdır. Sıklıkla genellemeler sezgiye bir engel olarak görülürler; ama genellemeler, sezgiye bir yardımcı olarak da algılanabilir, özellikle materyal olanı anlamak için analojiler kurarak sezgisi iyi olanlara yardımcı olabilir.

Pürizm

Matematikçiler daima soyut matematik ile uygulamalı matematik fikirlerinde ayrıma düştüler. Bu tartışmaların en ünlü ve modern örneği G.H.Hardy’nin A Mathematician’a Apology’sinde bulunabilir.genellikle Hardy’nin uygulamalı matematiği çirkin ve sıkıcı bulduğu düşünülür. Hardy’ni resim ve şiirle karşılaştırdığı soyut matematiği tercih etse de, soyut matematik ve uygulamalı matematik arasındaki farkı söyle görüyor, uygulamalı matematik fiziksel dünyanın doğrularını ararken, soyut matematik fizikten bağımsız doğruları açıklar. Gerçek matematik olarak adlandırdığı ve estetik değeri olan matematik ile sıkıcı ve pratik değeri olan matematiği böyle ayırır. Hardy, Einstein ve Dirac gibi bazı fizikçileri matematikçilerin arasında görüyor ama the Apology’i yazdığı zamanda, genel görelilik ve kuantum mekaniğini işlevsiz görüyordu ki bu görüş sadece sıkıcı matematiğin işe yarar olduğunu savunmasını da izin veriyordu. Dahası, kısa süre sonra matrix teorisinin ve grup teorisinin fiziğe uygulanmayla, gerçek matematiğin de işe yarayabileceğini kabul etti.

Alt Cisim

Analiz fonksiyonların özellikleri ile ilgilidir. Süreklilik, limit, türev ve integral gibi kuramlarla uğraşır ve Newton ve Leibniz tarafından 17'inci yüzyılda tanıtılan ölçülemeyenlerin matematiği için sağlam temeller sunar. Gerçek analiz gerçek sayıların özelliklerini çalışır. Karmaşık analiz ise yukarıda bahsedilen konulardan karmaşık sayıların özelliklerine kadar uzanır. İşlevsel analiz sonsuz boyutlu uzay vektörünün çalışmasıdır

Soyut cebir liseyi kapsayan formüller uygulamasıyla karıştırılmamalıdır. Kümeleri ve onunla tanımlanan ikili işlemleri çalışır. Kümeler ve iki işlemler özelliklerine göre sınıflandırılabilirler. Örneğin, bir işlem kümesinin her üyesi için kimlik elemanı ve terlerini içeren bir dizi ilişki varsa küme ve işlem bir grup olarak görülür. Diğer yapılar halkaları alanları uzay vektörünü ve örgüleri içerir

Geometri uzay ve şekillerle ilgilenen alandır, özellikle uzayı etkileyen dönüşüm gruplarıyla. projectif geometri projectif gerçek projectiv düzlemleri etkileyen dönüşüm gruplarıyla ilgilidir ama tersini geometri hacmi olan kompleks düzlemlere etkiyen tersinir dönüşüm gruplarıyla ilgilidir. Geometri topolojiye genişletilebilir. Topoloji uzayın bağlı olduğu yollarla ilgilenir ve uzaklıkların ve açıların keskin ölçülerini göz ardı eder.

Sayı teorisi positif sayıların teorisidir. Bölünebilme ve ahenk gibi fikirlere dayanır. Temel teoremi her pozitif sayının asal bölenleri tektir. Bazı durumlarda, bu soyut matematiğe en çok uygulanabilen disiplindir. Örneğin, Goldbach hipotezi kolaylıkla ifade edilebilir.(fakat henüz ispatlanabilmiş veya çürütülebilmiş değil.) ve bazı durumlarda en az uygulanabilen disiplindir. Örneğin, Wiles’in fetmat eşitliğinin basit olmayan çözümleri olmadığı kanıtı otomorfik şekilleri anlamayı gerektirir

Notlar

^ See for example titles of works by Thomas Simpson from the mid-18th century: Essays on Several Curious and Useful Subjects in Speculative and Mixed Mathematicks, Miscellaneous Tracts on Some Curious and Very Interesting Subjects in Mechanics, Physical Astronomy and Speculative Mathematics.[1] 19 Ekim 2012 tarihinde Wayback Machine sitesinde arşivlendi.
^ Boyer, Carl B. (1991). "The age of Plato and Aristotle". A History of Mathematics (Second Edition bas.). John Wiley & Sons, Inc. ss. 86. ISBN 0-471-54397-7. Plato is important in the history of mathematics largely for his role as inspirer and director of others, and perhaps to him is due the sharp distinction in ancient Greece between arithmetic (in the sense of the theory of numbers) and logistic (the technique of computation). Plato regarded logistic as appropriate for the businessman and for the man of war, who "must learn the art of numbers or he will not know how to array his troops." The philosopher, on the other hand, must be an arithmetician "because he has to arise out of the sea of change and lay hold of true being." KB1 bakım: Fazladan yazı (link)
^ Boyer, Carl B. (1991). "Euclid of Alexandria". A History of Mathematics (Second Edition bas.). John Wiley & Sons, Inc. ss. 101. ISBN 0-471-54397-7. Evidently Euclid did not stress the practical aspects of his subject, for there is a tale told of him that when one of his students asked of what use was the study of geometry, Euclid asked his slave to give the student threepence, "since he must make gain of what he learns." KB1 bakım: Fazladan yazı (link)
^ Boyer, Carl B. (1991). "Apollonius of Perga". A History of Mathematics (Second Edition bas.). John Wiley & Sons, Inc. ss. 152. ISBN 0-471-54397-7. It is in connection with the theorems in this book that Apollonius makes a statement implying that in his day, as in ours, there were narrow-minded opponents of pure mathematics who pejoratively inquired about the usefulness of such results. The author proudly asserted: "They are worthy of acceptance for the sake of the demonstrations themselves, in the same way as Biz sırf kendilerini gösterdikleri için onları kabul ederiz, tıpkı matematikteki birçok şeyi kabul ettiğimiz gibi." (Heath 1961, p.lxxiv).
The preface to Book V, relating to maximum and minimum straight lines drawn to a conic, again argues that the subject is one of those that seem "worthy of study for their own sake." While one must admire the author for his lofty intellectual attitude, it may be pertinently pointed out that s day was beautiful theory, with no prospect of applicability to the science or engineering of his time, has since become fundamental in such fields as terrestrial dynamics and celestial mechanics. KB1 bakım: Fazladan yazı (link)

Ayrıca bakınız

Dış bağlantılar

What is Pure Mathematics? Department of Pure Mathematics, University of Waterloo
What is Pure Mathematics? by Professor P.J. Giblin The University of Liverpool13 Haziran 2010 tarihinde Wayback Machine sitesinde arşivlendi.
The Principles of Mathematics by Bertrand Russell25 Ekim 2018 tarihinde Wayback Machine sitesinde arşivlendi.
How to Become a Pure Mathematician (or Statistician)23 Ağustos 2009 tarihinde Wayback Machine sitesinde arşivlendi., a list of undergraduate and basic graduate textbooks and lecture notes, with several comments and links to solutions, companion sites, data sets, errata pages, etc.
Pure Mathematics Learning Resources^{[ölü/kırık bağlantı]}

[1] See for example titles of works by Thomas Simpson from the mid-18th century: Essays on Several Curious and Useful Subjects in Speculative and Mixed Mathematicks, Miscellaneous Tracts on Some Curious and Very Interesting Subjects in Mechanics, Physical Astronomy and Speculative Mathematics.[1] 19 Ekim 2012 tarihinde Wayback Machine sitesinde arşivlendi.

[2] Boyer, Carl B. (1991). "The age of Plato and Aristotle". A History of Mathematics (Second Edition bas.). John Wiley & Sons, Inc. ss. 86. ISBN 0-471-54397-7. Plato is important in the history of mathematics largely for his role as inspirer and director of others, and perhaps to him is due the sharp distinction in ancient Greece between arithmetic (in the sense of the theory of numbers) and logistic (the technique of computation). Plato regarded logistic as appropriate for the businessman and for the man of war, who "must learn the art of numbers or he will not know how to array his troops." The philosopher, on the other hand, must be an arithmetician "because he has to arise out of the sea of change and lay hold of true being." KB1 bakım: Fazladan yazı (link)

[3] Boyer, Carl B. (1991). "Euclid of Alexandria". A History of Mathematics (Second Edition bas.). John Wiley & Sons, Inc. ss. 101. ISBN 0-471-54397-7. Evidently Euclid did not stress the practical aspects of his subject, for there is a tale told of him that when one of his students asked of what use was the study of geometry, Euclid asked his slave to give the student threepence, "since he must make gain of what he learns." KB1 bakım: Fazladan yazı (link)

[Apollonius-4] Boyer, Carl B. (1991). "Apollonius of Perga". A History of Mathematics (Second Edition bas.). John Wiley & Sons, Inc. ss. 152. ISBN 0-471-54397-7. It is in connection with the theorems in this book that Apollonius makes a statement implying that in his day, as in ours, there were narrow-minded opponents of pure mathematics who pejoratively inquired about the usefulness of such results. The author proudly asserted: "They are worthy of acceptance for the sake of the demonstrations themselves, in the same way as Biz sırf kendilerini gösterdikleri için onları kabul ederiz, tıpkı matematikteki birçok şeyi kabul ettiğimiz gibi." (Heath 1961, p.lxxiv).
The preface to Book V, relating to maximum and minimum straight lines drawn to a conic, again argues that the subject is one of those that seem "worthy of study for their own sake." While one must admire the author for his lofty intellectual attitude, it may be pertinently pointed out that s day was beautiful theory, with no prospect of applicability to the science or engineering of his time, has since become fundamental in such fields as terrestrial dynamics and celestial mechanics. KB1 bakım: Fazladan yazı (link)

[1]

[2]

[3]

[4]

@@ 11. satır: / 11. satır: @@
 <blockquote>Biz sırf kendilerini gösterdikleri için onları kabul ederiz, tıpkı matematikteki birçok şeyi kabul ettiğimiz gibi.</blockquote>
-===19. Yüzyıl===
+===19.Yüzyıl===
 O dönemde soyut matematiğin ayrı bir disiplin olarak ele alınması fikri ortaya çıkmış gibi gözüküyor. [[Gauss]]'un nesli belirgin bir biçimde soyut ve uygulamalı matematik alanları arasında ayrım yapmadı. Daha sonraki yıllarda uzmanlaşma ve profesyonelleşme (özellikle matematiksel analizdeki Weitrass yaklaşımı) ile alanlar arasındaki ayırım daha da belirginleşti..
-===20. Yüzyıl===
+===20.yüzyıl===
 .yy'ın başlarında matematikçiler, [[David Hilbert]]'in de güçlü etkisi ile, aksiyomatik metodu kullanmaya başladılar. Soyut matematiğin mantıksal formülasyonu [[Bertrand Russel]] tarafından önerildi; niceleyenler yapısındaki önermeler daha makul görünüyordu, matematiğin büyük bir bölümü aksiyomatikleştirildikçe rigourous proof'un basit kriterlerine maruz kaldılar.
 Gerçekte, bir aksiyomatik yapıda rigorous kanıt düşüncesine bir şeyler eklemez. Bir görüşe göre -Bourbaki grubunun tarafından tanımlanabilecek- soyut matematik kanıtlanmış olandır. Soyut matematikçilik, eğitim ile ulaşılabilecek bir meslek olarak tanındı
+==Soyutlama ve Genelleme==
-== Önermeler ==
-=== Matematik ve Mantık ===
-İnsan aklının bir ürünü olan matematik, bir bilim alanı olarak, insanlık tarihi kadar eskidir. Matematik, başlangıçtan günümüze kadar doğrultusundan ve tutarlığından hiçbir sapma yapmadan sürekli gelişen bir bilim alanı olmuştur; aynı zamanda bütün bilimlerin gelişmesine öncülük etmiştir. Uygarlığın ulaştığı bugünkü düzeyde matematiğin önemi, rolü açıklanmaya gerek duyulmayacak kadar açıktır. Gelecekte de matematiğin yol göstericiliği olmadan hiçbir bilimin gelişebileceği düşünülemez.
-Matematik, kendi içinde tutarlı, çelişkilerden arındırılmış, başka hiçbir bilim alanında olmayacak kadar sarsılmaz bir yapıya sahiptir. Matematiği bu derece önemli yapan, sağlam kılan şey, temelinde akıl yürütmeyle çıkartılan evrensel kuralların olmasıdır; ya da bir başka deyişle, kesin kurallar içinde aklın süzgecinden geçmiş olmasıdır, denilebilir.
-Düşünce, insan aklında oluşan zihinsel bir olgudur; dil aracılığıyla ortaya çıkar, tümcelerle ifade edilir. Düşünceyi konu alan birçok bilim alanı vardır; bunlardan biri de mantıktır. Mantık, doğru ve sistemli düşünmenin adıdır; aynı zamanda doğru ve sistemli düşünmenin yollarını arayan, kurallarını koyan bilim alanıdır. Belki de en eski bilim alanlarından biridir. Mantık bilim alanı düşünceyi her yönüyle ele almaz; bir yargı taşıyan düşünceler mantığın konusu içindedir. Dolayısıyla, bu tür düşüncelerin dildeki ifadesi olan yargı tümceleri mantığın konusu içindedir. Yargı tümceleri bundan böyle önerme diye anılacaktır.
-Önermenin açık tanımı aşağıda verilecektir. Mantığın konusu önermelerdir. Akıl yürütme "öncül önermelerden yargı çıkarma (hipotezden hüküm çıkarma)" olarak ifade edilebilir. Mantık bilimciler akıl yürütmeyle doğru bilgi üretmenin bilimsel yollarını tümdengelim ve tümevarım diye ikiye ayırırlar. Gerçeğe varmak amacıyla aklın uyması gereken genel düşünce yasalarını ve işlemlerini araştıran Aristoteles (İ.Ö. 384-322), tümdengelimi esas alarak, bugün Klasik Mantık dediğimiz mantık türünün temellerini atmıştır. İki bin yılı aşkın bir süre aklın yoluna egemen olan bu mantık türü, ortaçağ sonlarına doğru, yeni bilgi üretiminde tümdengelimin tek başına yeterli olamayacağı, tümevarımın da önemli olduğu görüşünün yaygınlaşmaya başlamasıyla yeni bir ivme kazanmıştır.
-. yüzyıla girildiğinde, Francis Bacon (1561-1626) ile başlayan tümdengelime karşı çıkış ve tümevarımın öne çıkarılması, matematikçilerin konuya ilgi duymaya başlamalarıyla yeni bir döneme girmiştir. Alman matematikçilerinden G. Wilhelm VonLeibniz (1646-1716) ile başlayan yeni yaklaşım, yine Alman matematikçi [[Friedrich L.G. Frege]] (1848-1925) in niceleyicileri ve değişkenleri simgelerle göstermesiyle matematiği tamamen mantıksal bir temele dayandırma çabaları hem mantığın gelişimini hızlandırmış hem de matematiğe yeni bir anlayış kazandırılmıştır. Böylece bu dönemde, [[De Morgan yasası|De Morgan]] (1806-1871), [[G. Boole]] (1815-1864), B. Russel (1872-1970) ile geliştirilen ve simgesel akıl yürütme denilen yöntemle matematikselleşen mantık [[Modern Mantık]] (ya da sembolik mantık, [[matematiksel mantık]]) adını almıştır.
-Matematik ve mantığın tarihsel gelişimleri pek çok farklılık göstermesine rağmen, bugün bu iki bilim alanını kesin çizgilerle birbirlerinden ayırma olanağı yoktur. Önceleri matematiğin mantıksal bir temele dayandırılması biçiminde başlayan gelişmeler, sonradan mantığın matematikselleştirilmesine yol açmıştır. Dolayısıyla bu iki alan birbirlerinin içine girmiştir. Gene de bugün, [[Mantık|Klasik Mantık]], [[Felsefe]] bilim alanı ve [[Modern Mantık]] da Matematik bilim alanı içinde düşünülür.
-=== Önermeler İçin Temel Kavramlar ===
-Dilimizdeki tümceler emir, istek, ünlem, soru, yargı tümceleri diye sınıflanır. Bu konu yargı tümceleri ile ilgilidir.
-# [[Ankara]], [[Türkiye]]'nin başkentidir.
-# Ankara, Türkiye'nin en kalabalık kentidir.
-# [[Güneş]] [[Kuzey|kuzeyden]] doğar.
-# Yağmur yağıyor.
-# 2 x 3 , 5 etmez.
-# Buraya geliniz.
-# Bugün günlerden nedir?
-# Ah! güzel [[İstanbul]].
-(1. ve 5. için yanıtınız "doğru", 2. ve 3. için "yanlış" olacaktır. 4.'deki yanıt o andaki duruma bağlıdır; o anda yağmur yağıyorsa "doğru", yağmıyorsa "yanlış" olacaktır. 6., 7., ve 8. tümceler, için bu soruların anlamlı olmayacağı belli dir.)
-Bu örneklerden anlaşılabileceği gibi, kimi tümceleri taşıdıkları yargıya göre, "doğru" ya da "yanlış" diye değerlendirilir. İşte bu tür bir yargı tümceleri "önerme" diye anılacaktır.
-Aşağıda önermelerin açık tanımları yer almaktadır.
-# Bir yargı taşıyan ve bu yargının doğruluğu ya da yanlışlığı kesin olarak belirlenebilen tümcelere [[önerme]] denir.
-# Kar beyazdır.
-# [[Paris]] [[İngiltere]]'dedir.
-# Nereye gidiyorsunuz?
-# Uçan kuşlar kanatlıdır.
-# Sinemaya gidelim.
-# Pırasa yararlı bir sebzedir.
-# Yüzme tehlikeli bir spordur.
-# {[[Ayraç]] içinde yazılı olan bütün tümceler yanlıştır.}
-(Yukarıdaki tümcelerden 1. ve 2. dekinin doğru, 3. dekinin yanlış olduğu bariz dir. O halde, 1. 2. ve 3. deki tümcelerin her biri birer önermedir. 4. ve 6. daki tümceler yargı tümcesi olmadıklarından önerme değildirler. 7. ve 8. deki tümcelerin taşıdıkları yargı yanıtlayan kişiye göre değişecektir. Kimine göre yüzme tehlikeli bir spordur, kimine göre de değildir; ve ya bir kimsenin pırasaya alerjisi vardır; dolayısıyla onu yememelidir: Bu sebze onun için zararlıdır. Fakat bir kimse, bu tümce için ya "doğru", ya da "yanlış" diyebilecektir; hem "doğru" hem de "yanlış" diyemeyecektir. O halde 8. ve 7. tümceleri de birer önermedirler. 9. tümce: Önce bu tümcenin doğru olduğunu varsayalım; o zaman bu tümce yanlıştır. Çünkü kendisi de bir ayraç içinde yazılıdır. Şimdi bu tümcenin yanlış olduğunu varsayalım; öyleyse bir ayraç içinde yazılı olan bir tümce doğru olacak demektir. Bu nedenle bu tümce doğrudur. Böylece 9. daki tümce hem doğru hem de yanlış olmaktadır; bir başka ifadeyle, bu tümcenin yargısı kesin olarak belirlenememektedir. Bu nedenle bu tümce bir önerme değildir.)
-Önermeleri ve mantık bağlaçlarını simgelerle göstermek, önerme işlemlerini simgelere dayandırmak, hem kısalık, hem de kolaylık sağlayacaktır. Bu nedenle genellikle yalın önermeleri ''p'', ''q'', ''r'', gibi küçük harfler ile "''ve''", "''ve ya''", "''ise''", "''ancak ve ancak''" mantık bağlaçlarını da, sırasıyla, "''∧''", "''∨''", "''→''", "''↔''" simgeleriyle göstereceğiz.
-* ''p'': Bugün hava soğuktur,
-* ''q'': Bugün hava yağışlıdır
-yalın önermelerinden "''ve''" bağlacıyla oluşturulan bileşik önerme p ''∧ q'': Bugün hava soğuk ve yağışlıdır olur. ''p'', ''q'' önermelerinden "''ise''" bağlacıyla oluşturulan bileşik önerme ''p → q'': Bugün hava soğuk ise yağışlıdır biçiminde yazılmaktadır. Bir önermenin doğruluğu ya da yanlışlığına o önermenin doğruluk değeri adı verilir. (Doğru bir önermenin doğruluk değeri ''D'', yanlış bir önermenin doğruluk değeri ''Y'' ile belirtilecektir). Yalın bir önermenin doğruluk değerini kolayca belirlenebilmektedir. Bileşik bir önermenin doğruluk değeri ise, söz konusu bileşik önermeyi oluşturan yalın önermelerin doğruluk değerleri ve mantık bağlaçlarına bağlı olarak tanımlanır. Bir önermenin doğruluk değeri seçeneklere bağlı olarak bir çizelge ile gösterilebilir. Böyle bir çizelgeye, o önermenin doğruluk çizelgesi adı verilir.
-==== Tanım (Bir önermenin değili) ====
-Bir p önermesinin doğruluk değeri doğru iken yanlış, yanlış iken doğru yapılarak elde edilen önermeye p nin değili denir ve ~p (değil p diye okunur) simgesiyle gösterilir. ~p nin doğruluk çizelgesi p nin doğruluk değerlerine bağlı olarak şöyle olacaktır:
-{| class="wikitable"
-|''p''
-|''~p''
-|-
-|''D''
-|''Y''
-|-
-|''Y''
-|''D''
-|}
-Kedi bir kuştur, ''q'': ''5 ≤ 7'' dir önermelerinin değilleri: ''~p'': Kedi bir kuş değildir, ''~q'': ''5 ≤ 7'' değildir (çoğunlukla bunun yerine ''~q'': ''5 ≤ 7'' dir, yazılır) olur.
-* Kuş kanatlı bir hayvandır.
-* Ayda canlı yoktur.
-* 3 = 5 dir.
-* 3 < 4 dür.
-==== Tanım ("ve" Bağlacı) ====
-Verilen ''p, q'' önermelerinin "''ve''" bağlacıyla birleştirilmesiyle oluşturulan bileşik önerme, ancak ''p'' ile ''q'' birlikte doğru olduklarında doğru, diğer durumlarda yanlış olarak tanımlanan önermedir. Bu bileşik önermeye ''p'' ve ''q'' nun tümel evetlenmesi denir ve ''p ∧ q'' (''p'' ve ''q'' diye okunur) simgesiyle gösterilir. Bu tanıma göre ''p'' ve ''q'' nun doğruluk değerleri için bütün seçenekler göz önüne alınarak ''p'' ''∧ q'' nun doğruluk çizelgesi şöyle verilir: Yağmur yağıyor, ''q'': Bir hafta 9 gündür, ''r'': ''4'' bir çift sayıdır önermeleri veriliyor. ''p ∧ q'', (''~q ∧ r'') önermelerini ifade ediniz ve doğruluk değerleri,  ''p ∧ q'': Yağmur yağıyor ve bir hafta 9 gündür (Doğruluk değeri yanlış), (''~q'') ''∧ r'': Bir hafta 9 gün değildir ve 4 bir çift sayıdır (Doğruluk değeri doğru) olur.
-==== Tanım ("ve ya" Bağlacı) ====
-Verilen p, q önermelerinin "ve ya" bağlacıyla birleştirilmesiyle oluşturulan bileşik önerme, ancak p ile q birlikte yanlış olduklarında yanlış diğer durumlarda doğru olarak tanımlanan önermedir. Bu bileşik önermeye p ve q nun tikel evetlenmesi denir ve p ∨ q (p ve ya q diye okunur) simgesiyle gösterilir. Bu tanıma göre p ∨ q nun doğruluk çizelgesi şöyle olur:
-{| class="wikitable"
-!''p''
-!''q''
-!''p ^ q''
-|-
-|''D''
-|''D''
-|''D''
-|-
-|''D''
-|''Y''
-|''Y''
-|-
-|''Y''
-|''D''
-|''Y''
-|-
-|''Y''
-|''Y''
-|''Y''
-|}
-* ''p'': [[Ekonomi]] iyiye gidiyor,
-* ''q'': Fiyatlar düşüyor
-''p ∨ q'' nun doğruluk değeri nedir? ''p ∨ q'': Ekonomi iyiye gidiyor ve ya fiyatlar düşüyor bileşik önermesi elde edilir. Burada ''p'', ''q'' önermelerinin doğruluk değerlerini belirlemeden ''p'' ''∨ q'' bileşik önermesinin doğruluk değeri için bir şey söylenemez. Öte yandan, p, q önermeleri için kimi doğru kimi de yanlış diyecektir. Dolayısıyla ''p'', ''q'' önermelerinin doğruluk değerleri ve buna bağlı olarak ''p ∨ q'' bileşik önermesinin doğruluk değeri, değerlendiren kişiye göre değişecektir. Bu durum şunu gösteriyor: Her önermenin doğruluk değeri evrensel değildir; bazen görelidir; yani kişiye bağlı olabilir, yere bağlı olabilir, zamana bağlı olabilir. Sözgelişi, "Dünya dönüyor" önermesi bugün doğru bir önermedir; ama ortaçağda yanlış bir önerme idi. Yeniden yukarıdaki ''p ∨ q'' bileşik önermesine dönecek olursak, bunun doğru olması ya da yanlış olması gerçek hayattaki durumu göstermez, sadece bileşen önermelerin doğruluk değerlerinin mantıksal sonucunu verir.
-== Soyutlama ve Genelleme ==
 Soyut matematikteki temel kavramlardan biri genellemeler fikridir; soyut matematik, genellemelere karşı genel olarak yükselen bir trend gösterir.
-*Teoremleri ve ya matematiksel yapıları genellemek onları daha kolay anlamamızı ve temellerini görebilmemizi sağlar.Genellemeler materyal olanın gösterimi olarak basitleştirilebilir, bu da daha kısa kanıtlar ve ya
+*Teoremleri veya matematiksel yapıları genellemek onları daha kolay anlamamızı ve temellerini görebilmemizi sağlar.Genellemeler materyal olanın gösterimi olarak basitleştirilebilir, bu da daha kısa kanıtlar veya
 anlaşılması ve takibi daha kolay argümanlara yol açar.
-*Genellemeler bizim gereksiz çabalardan kaçınmamızı sağlar; ayrık konularda bağımsız kanıtlar bulmaktansa, genel kanıtlara ulaşabiliriz ve ya matematiğin başka alanlarından sonuçları kullanabiliriz.
+*Genellemeler bizim gereksiz çabalardan kaçınmamızı sağlar; ayrık konularda bağımsız kanıtlar bulmaktansa, genel kanıtlara ulaşabiliriz veya matematiğin başka alanlarından sonuçları kullanabiliriz.
 *Genellemeler matematiğin çeşitli branşları arasındaki bağlantıları kolaylaştırır. [[Kategori Teorisi matematiğin]] çeşitli alanlarındaki yapıların yaygınlığını inceler
-Genellemenin sezgi üzerindeki etkisi hem özneye hem de kişisel tercihler ve ya kişisel öğrenme metotlarına bağlıdır. Sıklıkla genellemeler sezgiye bir engel olarak görülürler; ama genellemeler, sezgiye bir yardımcı olarak da algılanabilir, özellikle materyal olanı anlamak için [[analojiler]] kurarak sezgisi iyi olanlara yardımcı olabilir.
+Genellemenin sezgi üzerinedeki etkisi hem özneye hem de kişisel tercihler veya kişisel öğrenme metodlarına bağlıdır. Sıklıkla genellemeler sezgiye bir engel olarak görülürler; ama genellemeler, sezgiye bir yardımcı olarak da algılanabilir, özellikle materyal olanı anlamak için [[analojiler]] kurarak sezgisi iyi olanlara yardımcı olabilir.
 ==Pürizm==
-Matematikçiler daima soyut matematik ile uygulamalı matematik fikirlerinde ayrıma düştüler. Bu tartışmaların en ünlü ve modern örneği [[G.H.Hardy]]’nin [[A Mathematician's Apology|A Mathematician’a Apology]] (Bir Matematikçinin Savunması)’sinde bulunabilir. Genellikle Hardy’nin uygulamalı matematiği çirkin ve sıkıcı bulduğu düşünülür. Hardy’ni [[resim]] ve [[Şiir|şiirle]] karşılaştırdığı soyut matematiği tercih etse de, soyut matematik ve [[uygulamalı matematik]] arasındaki farkı söyle görüyor, uygulamalı matematik [[fiziksel]] dünyanın doğrularını ararken, soyut matematik fizikten bağımsız doğruları açıklar. Gerçek matematik olarak adlandırdığı ve [[estetik]] değeri olan matematik ile sıkıcı ve pratik değeri olan matematiği böyle ayırır.
+Matematikçiler daima soyut matematik ile uygulamalı matematik fikirlerinde ayrıma düştüler. Bu tartışmaların en ünlü ve modern örneği G.H.Hardy’nin A Mathematician’a Apology’sinde bulunabilir.genellikle Hardy’nin uygulamalı matematiği çirkin ve sıkıcı bulduğu düşünülür. Hardy’ni resim ve şiirle karşılaştırdığı soyut matematiği tercih etse de, soyut matematik ve uygulamalı matematik arasındaki farkı söyle görüyor, uygulamalı matematik fiziksel dünyanın doğrularını ararken, soyut matematik fizikten bağımsız doğruları açıklar. Gerçek matematik olarak adlandırdığı ve [[estetik]] değeri olan matematik ile sıkıcı ve pratik değeri olan matematiği böyle ayırır.
 [[Hardy]], [[Einstein]] ve [[Dirac]] gibi bazı fizikçileri matematikçilerin arasında görüyor ama the Apology’i yazdığı zamanda, genel görelilik ve kuantum mekaniğini işlevsiz görüyordu ki bu görüş sadece sıkıcı matematiğin işe yarar olduğunu savunmasını da izin veriyordu. Dahası, kısa süre sonra  [[matrix teorisinin]] ve [[grup teorisinin]] fiziğe uygulanmayla, gerçek matematiğin de işe yarayabileceğini kabul etti.
@@ 146. satır: / 42. satır: @@
 [[Geometri]] [[uzay]] ve şekillerle ilgilenen alandır, özellikle uzayı etkileyen dönüşüm gruplarıyla. projectif geometri projectif  gerçek projectiv düzlemleri etkileyen dönüşüm gruplarıyla ilgilidir ama tersini geometri hacmi olan kompleks düzlemlere etkiyen tersinir  dönüşüm gruplarıyla ilgilidir. Geometri topolojiye genişletilebilir. Topoloji uzayın bağlı olduğu yollarla ilgilenir ve uzaklıkların ve açıların keskin ölçülerini göz ardı eder.
-[[Sayı teorisi]] positif sayıların teorisidir. Bölünebilme ve ahenk gibi fikirlere dayanır. Temel teoremi her pozitif sayının asal bölenleri tektir. Bazı durumlarda, bu soyut matematiğe en çok uygulanabilen disiplindir. Örneğin, Goldbach hipotezi kolaylıkla ifade edilebilir.(fakat henüz ispatlanabilmiş ve ya çürütülebilmiş değil.) ve bazı durumlarda en az uygulanabilen disiplindir. Örneğin, Wiles’in fetmat eşitliğinin basit olmayan çözümleri olmadığı kanıtı otomorfik şekilleri anlamayı gerektirir
+[[Sayı teorisi]] positif sayıların teorisidir. Bölünebilme ve ahenk gibi fikirlere dayanır. Temel teoremi her pozitif sayının asal bölenleri tektir. Bazı durumlarda, bu soyut matematiğe en çok uygulanabilen disiplindir. Örneğin, Goldbach hipotezi kolaylıkla ifade edilebilir.(fakat henüz ispatlanabilmiş veya çürütülebilmiş değil.) ve bazı durumlarda en az uygulanabilen disiplindir. Örneğin, Wiles’in fetmat eşitliğinin basit olmayan çözümleri olmadığı kanıtı otomorfik şekilleri anlamayı gerektirir
-== Ayrıca bakınız ==
-* [[Matematik]]
-* [[Analoji|Uygulamalı Matematik]]
-* [[Matematik|Anoloji]]
 ==Notlar==
 {{Kaynakça}}
+==Ayrıca bakınız==
+*[[Uygulamalı matematik]]
+*[[Mantık]]
+*[[Metamantık]]
+*[[Metamatematik]]
 == Dış bağlantılar ==