gün için tedavide amaç göz tansiyonunu düşürerek göz sinirinin hasarını durdurmak ve görme kaybının ilerlemesini engellemektir. Bu amaçla uygulanabilecek yöntemler ilaç tedavisi, laser tedavisi ve cerrahi tedavi olarak üçe ayrılabilir. Bugün için genelde tanı sonrası ilk seçilen yöntemin ilaç tedavisi olmasına, ilaç tedavisine yeterli derecede yanıt vermeyen hastalarda laser tedavisinin ya da cerrahi tedavi yöntemlerinin uygulanmasına karşın, özellikle geç dönemde tanı konulan ya da sürekli ilaç kullanımının uygun olmadığı olgularda doğrudan laser girişimleri ya da cerrahi yöntemler de kullanılabilir. Glokomda ilaç tedavisinde son yıllarda önemli gelişmeler sağlanmış, etkili yeni ilaçlar tedavinin başarısını büyük ölçüde artırmıştır. İlaç tedavisinde önemli olan hastanın ilaçları sürekli olarak düzenli kullanmasıdır. İlaç kullandırılmayan veya ilaç tedavisine yanıt vermeyen olgularda kullanılan cerrahi yöntemler de son yıllarda giderek artan oranda başarılı olmakta, sürekli ilaç kullanım zorunluluğunu da ortadan kaldırarak etkili tedavi sağlayabilmektedir.

Glokom hastalığına karşı geliştirilen yeni bir ilacın “yan etki” olarak kirpikleri uzattığı saptandı. Miami Üniversitesi’nde yapılan bir deneyde de söz konusu ilaç bir jelle karıştırıldı. Araştırmaya katılanlardan bir gruba ilacın etken maddesinin bulunduğu jel verilirken, diğer gruba bu maddenin bulunmadığı bir jel verildi. Deneklerden jeli her iki göze de düzenli olarak uygulamaları istendi.

İlacın bulunduğu jeli tatbik edenlerin kirpikleri 6 haftada 2 milimetre uzadı. Bu kişilerin kirpiklerinin, içinde ilacın bulunmadığı jel sürenlerinkinden iki kat hızlı uzadığı tespit edildi. Ancak ilacın kirpikleri nasıl uzattığı henüz bilinmiyor.





Ortahisar, Nevşehir

Ortahisar, Nevşehir-Ürgüp karayolu üzerinde, Ürgüp'e 5 kilometre uzaklıkta bulunan, Nevşehir'in bir kasabasıdır.

En belirgin yapısı Etiler zamanında oyulmuş, 1200 m rakımlı 86 m yükseklikteki Ortahisar Kalesi'dir. Kale hem stratejik hem de yerleşim amacıyla kullanılmıştır. Kalenin eteklerinde Kapadokya'nın karakteristik sivil mimari örnekleri bulunmaktadır. Ayrıca hemen hemen tüm vadilerin yamaçlarına oyulan kaya depolarında yörede yetişen patates ve elma, Akdeniz Bölgesi'nden getirilen portakal ve limon saklanmaktadır.

Ürgüp'ün 5 km batısında ve Nevşehir yolu yakınındadır. 1916 yılında kasaba olmuştur. Doğal güzellikleri ve tarihsel özellikleriyle ilgi çekici bir kasabadır. Kavak, İbrahim Paşa ve Ortahisar'ın içinde yeraldığı vadi Damsa çayı vadisine ulaşır. Bu vadinin Damsa çayı yakınları Üzengi deresi adını alır. Doğal özellikleri içme suyu, maden suları olan bir yerdir. Ortahisarın ortasında dev bir peri bacası olan bir kale vardır. Bu kaleye yabancılar şato da derler. İçi oyuktur. Oda ve salonlar vardır. Tepesine çıkmak zor ise de oradan görülen çevre güzelliği yorgunlukları gideridir. Ayrıca kasabanın çevresinde de pek çok kilise vardır. Talaş deresi bu bakımdan çok ilgi çeker. Orta hisarda evler kaleye doğru basmak basamak yükselir. Son yıllarda Nevşehir yoluna doğru düzlükte yeni doğal karakteristik yapıya uygun renkli kesme taşan evler yapmışlardır. Bölgedeki kayalar sit alanı olarak belirlenmiştir. Atik ve Cedit adlarında iki mahalleden oluşur. Doğal güzellikleri eski tarihsel yapıları ilginç narenciye ambarları göreme kaya kiliselerine yakın oluşu turislerin rağbet göstermelerini sağlar. Ortahisar vadilerinde son derece ilginç manastır ve kiliseler bulunmaktadır. Bunlar Sarıca Kilise, Cambazlı Kilise, Tavşanlı Kilise, Balkan Deresi Kiliseleri, Hallaç Dere Manastırı'dır.

Ortahisar halkı geçimini bağcılıktan sağlar. Ayrıca büyük baş hayvancılıkta yapılır. Ortahisar Kalesi hem stratejik hem de yerleşim amacıyla kullanılmıştır. Kalenin eteklerinde Kapadokya'nın karakteristik sivil mimari örnekleri bulunmaktadır. Ayrıca hemen hemen tüm vadilerin yamaçlarına oyulan soğuk hava depolarında yörede yetişen patates ve elma, Akdeniz Bölgesi'nden getirilen portakal ve limon saklanmaktadır.

Ayrıca 2004 yılında tüm Kapadokya'nın yaşantısının anlatıldığı Kapadokya'nın ilk ve Tek Etnografya Müzesi Ortahisar'da açılmıştır.




Tüketerek tanıtlama

Tüketerek tanıtlama veya kaba kuvvet yöntemi ya da durum çözümlemesi olarak bilinen yöntem, tanıtlanacak önermenin sonlu sayıda duruma bölünerek her durumun ayrı ayrı tanıtlandığı bir matematiksel tanıt yoludur. Tüketerek tanıtlama iki aşamada gerçekleştirilir:


Bunun aksine Eski Yunan bilginlerinden Eudoxus of Cnidus'un tüketme yöntemi (tanıtlama) yöntemi matematiksel limitleri geometrik ve esas olarak özenli bir şekilde hesaplama yöntemiydi.

Her küp sayısı 9'un katı ya da 9'un katının 1 eksiği ya da 1 fazlasıdır.

"Tanıt"

Her küp sayısı bir tam sayısının küpüdür. Bu tam sayı ya 3'ün katıdır ya da 3'ün katının 1 eksiği ya da bir fazlasıdır. Bu nedenle aşağıdaki üç durum tüm durumları kapsar:


[Tanıtı tamamlamak için, 2 ve 3 durumlarındaki önermeler basit cebir kullanılarak tanıtlanabilir.]

Tüketerek tanıtlama yönteminde, izin verilen durum sayısı için bir üst sınır yoktur. Bazı hallerde yalnızca iki ya da üç durum bulunur. Diğer hallerde ise birkaç düzine durum olabilir. Örneğin, satrançta bir oyun sonu problemini çözmek bazen bir düzine ya da daha fazla hamle dizisinin incelenmesini gerektirebilir. Bazı durumlarda ise yüzlerce hamle (durum) incelenmek zorundadır.

Dört Renk Teoreminin ilk tanıtı 1.936 durumu olan bir tüketerek tanıtlama tanıtıydı. Verilen tanıt tartışma konusu olmuştu çünkü durumların çoğu matematikçi eliyle değil de bir bilgisayar programı tarafından denetlenmişti. Dört renk teoreminin günümüzde bilinen en kısa tanıtı dahi 600'ü aşkın duruma sahiptir.

Matematikçiler çok sayıda durumu olan tanıtlamalardan kaçınmayı yeğlerler; çünkü bu tanıtlar zarafetten yoksun görünürler, teoremin yalnızca şans eseri doğru olduğu ve temelinde bir ilke ya da bağlantının bulunmadığı izlenimini bırakırlar. Bununla birlikte, tüketerek tanıtlama dışında hiçbir yöntemle tanıtı bulunamayan teoremler mevcuttur. Dört renk teoremine ek olarak, tüketerek tanıtlamanın yapıldığı büyük tanıtlar için şu örnekler verilebilir:





Tüketme yöntemi

Tüketme yöntemi, geleneksel şekiller yoluyla kolaylıkla tanımlanamayan bir şekilin alanını ya da hacmini bulma yoludur.

Eudoxus'a atfedilen bu yöntem, bilinen şekillerin birleştirilmesiyle bir alanın ya da hacmin makul bir tahmini değerinin elde edilmesine dayanır. Şekillerin sayısı ve küçüklüğü arttırılarak bu tahmini değer iyileştirilebilir.

Arşimet bu yöntemi kullanarak, bir 96-gen yardımıyla Pi sayısı için bilinen yaklaşık 22/7 değerini bulmuştur.

Sonsuz sayıda böylesi şekil kullanılarak alanın ya da hacmin kesin büyüklüğünü bulmak kalkülüsün görevidir ve dolayısıyla bu yöntemi gereksiz kılmaktadır.




Oluşturarak tanıtlama

Matematikte oluşturarak tanıtlama istenen özelliğe sahip somut bir örnek oluşturularak ya da böyle bir nesneyi oluşturma yöntemi verilerek, istenen özellikte bir matematiksel nesnenin var olduğunun tanıtlandığı bir yöntemdir. Bu yöntem, belirli özelliklere sahip olan matematiksel bir nesnenin var olduğunu tanıtlayan fakat bu nesnenin bir örneğini oluşturmak için yol göstermeyen oluşturmacı olmayan tanıtlama yöntemine karşıttır.

Oluşturmacılık, matematikte oluşturmacı tanıtlar dışındaki tüm tanıtları reddeden bir felsefedir.

Oluşturmacı bir tanıt ile oluşturmacı olmayan bir tanıt arasındaki karşıtlık, cebirsel sayılar olmayan aşkın sayılar (transandantal sayılar) ya da kompleks sayılar kavramlarıyla gösterilebilir. Hardy & Wright (1979) eserlerinde yazdığı gibi:-

"Aşkın sayılar gibi bir kavramın olabileceği ilk bakışta gözükmez ... Üç farklı sorunu ayırt etmemiz gerekir. İlki, aşkın sayıların var olduğunu tanıtlamak (herhangi bir somut örnek verme zorunluluğunu hissetmeden). İkincisi, özellikle tasarlanmış bir yöntemle somut bir aşkın sayı örneği vermek. Üçüncüsü ise -ki bu en zor sorundur-, verilen herhangi bir sayının ... aşkın olduğunu tanıtlamak."

Aşkın sayıların var olduğunu tanıtlamak aşağıdaki argümanla tanıtlanabilir. Cebirsel sayıların kümesi sayılabilir bir kümedir. Buna karşın reel sayıların kümesi sayılamaz bir kümedir. Dolayısıyla cebirsel sayı olmayan bazı reeel sayılar olmak zorundadır. Bu sayılar, tanım itibarıyla aşkın sayılardır. Bu tanıt, oluşturmacı olmayan bir tanıttır.

Aşkın sayıların olşturmacı bir tanıtı için, bu sayıları oluşturma yöntemine sahip olmalıyız. Bu işlem, var olduklarını tanıtlamaktan daha zordur. Matematiksel sabitelerden "e" ve π aşkın sayılar için göze çarpan ilk adaylardır fakat bunların "gerçekten" aşkın olduğunu tanıtlamak çok zor bir görevdir. Aşkın oldukları tanıtlanabilen ilk sayılar Joseph Liouville tarafından betimlenmiştir ve kendisi, Liouville sayıları adı verilen sonsuz bir aşkın sayı sınıfını oluşturma yöntemini bulmuştur.





Reductio ad absurdum

Reductio ad absurdum, olmayana ergi ya da Osmanlıca "abese irca", Latince "saçma olana indirgeme" anlamına gelir ve bir iddiayı doğru kabul ederek saçma bir sonuca varıp iddianın yanlış olduğu sonucuna ulaşıldığı bir mantık yöntemidir. Bu yöntemde, yanlış olamayacak bir önermeyi zorunlu olarak doğru olduğunu kabul eden üçüncü olanağın dışlanması kanunu kullanılır. Aristo'nun sıkça uyguladığı bir yöntemdir..

Matematiksel tanıt




Mantık tarihi

Mantık tarihi, mantığın tarihteki çeşitli kültürler ve geleneklerde ortaya çıktığı biçimlerini karşılaştırmalı olarak inceler.

Birçok kültür, ayrıntılı uslamlama sistemleri uygulamasına karşın, uslamlamanın doğrudan çözümlenmesi uğraşısı olarak mantık, başlangıçta yalnızca üç gelenekte geliştirilmiştir: Çin, Hindistan ve Yunanistan. Kesin tarihler bilinmemekle birlikte - özelikle Hindistan için -, mantığın her üç toplumda MÖ 4. yüzyılda ortaya çıkmış olma ihtimali var. Mondern mantığın biçimsel olarak gelişkin ele alınışı Yunan geleneğinden gelmektedir. Aristo mantığının ve yorumlarının İslam felsefecileri üzerinden Orta Çağ Avrupası mantıkçıklarına ulaşmasıyla gelişmiştir.






Hiper metin

Hiper metin (İng. hypertext), bilgisayar ekranı ya da diğe