Sırasal Analiz
Sırasal analiz, biçimsel bir kuramın gücünü, kuramın iyi sıralı olduğunu kanıtlayamadığı en küçük sıra sayısı ile ölçmekte ve her bir kurama kesin bir kanıt-kuramsal sıra sayısı atamaktadır.
Tanım
Bir kuramın kanıt-kuramsal sıra sayısı, kuramın iyi temelliliğini kanıtlayabildiği özyinelemeli iyi sıralamaların sıra tiplerinin supremumudur; sırasal analiz ise bu değişmezi hesaplama ve kuramları karşılaştırmak ve kalibre etmek için kullanma programıdır.
Kapsam
Bu konu, Gentzen'in aritmetik için epsilon-sıfır (epsilon-zero) sıra sayısına kadar transfinite tümevarım kullanarak yaptığı tutarlılık kanıtını, sıra sayısı gösterim sistemlerini, bir kuramın değişmezi olarak kanıt-kuramsal sıra sayısını, sonsuz türetmeler için kesim-eleme (cut-elimination) yöntemlerini ve aritmetik alt sistemlerinin ve yüklemsel (predicative) kuramların analizini kapsamaktadır.
Temel sorular
- Bir sıra sayısı, aritmetik bir kuramın gücünü nasıl ölçmektedir?
- Epsilon-sıfır'a kadar transfinite tümevarım, aritmetiğin tutarlılığını neden kanıtlamaktadır?
- Sıra sayısı gösterimleri, sonlu olarak akıl yürütülebilecek şekilde nasıl tanımlanmaktadır?
- İkinci dereceden aritmetiğin standart alt sistemlerine hangi sıra sayıları karşılık gelmektedir?
Temel kuramlar
- Gentzen tutarlılık kanıtı
- Gentzen, birinci dereceden aritmetiğin tutarlılığını, kanıtlara epsilon-sıfır'ın altındaki sıra sayılarını atayarak ve kesim indirgemesinin (cut reduction) bunları azalttığını göstererek kanıtlamıştır; böylece epsilon-sıfır'a kadar transfinite tümevarım tutarlılığı onaylamaktadır.
- Kanıt-kuramsal sıra sayısı
- Her yeterince güçlü kuram, haklı çıkarabileceği transfinite tümevarımı yakalayan karakteristik bir sıra sayısına sahiptir ve mantıksal gücün ince taneli ve büyük ölçüde doğrusal bir ölçeğini sağlamaktadır.
- Sıra sayısı gösterim sistemleri
- Büyük sıra sayıları, Veblen fonksiyonları ve çökertme fonksiyonları (collapsing functions) gibi sonlu sözdizimsel gösterimlerle temsil edilmekte ve sonsuz sıra sayılarının sonlu veya aritmetik kuramlar içinde manipüle edilmesine olanak tanımaktadır.
Klinik önem
Sırasal analiz, matematiksel kuramların gücünün mevcut en rafine ölçüsünü sağlamaktadır: bir kuramın tam olarak hangi transfinite tümevarımlara ihtiyaç duyduğunu belirlemekte, bir kuramın kanıtlanabilir özyinelemeli fonksiyonlarını sınıflandırmakta ve büyük kardinallerden elde edilenlere tamamlayıcı göreceli tutarlılık bilgisi sunmaktadır.
Tarihçe
Gentzen'in 1936 ve 1938 yıllarındaki aritmetik için tutarlılık kanıtları, epsilon-sıfır'a kadar transfinite tümevarım aracılığıyla sırasal analizi tanıtmıştır. Schuette, Feferman ve diğerleri yöntemi yüklemsel (predicative) kuramlara ve dallanmış analize (ramified analysis) genişletmiş; çökertme fonksiyonlarının (collapsing functions) gelişimi ise daha sonra sırasal analizi güçlü yüklemsel olmayan (impredicative) sistemlere taşımıştır.
Öne çıkan isimler
- Gerhard Gentzen
- Kurt Schuette
- Solomon Feferman
- Wolfram Pohlers
İlgili konular
Temel eserler
- pohlers2009
- takeuti1987
- schutte1977
Sıkça sorulan sorular
- Birinci dereceden aritmetiğin kanıt-kuramsal sıra sayısı nedir?
- Bu, omega üstel kulelerinin limiti olan epsilon-sıfır'dır. Birinci dereceden aritmetik, epsilon-sıfır'ın altındaki herhangi bir sıra sayısına kadar transfinite tümevarımı kanıtlamaktadır ancak epsilon-sıfır'ın kendisine kadar kanıtlayamamaktadır; ki bu, Gentzen'in tutarlılığını kanıtlamak için kullandığı ilkenin aynısıdır.
- Sırasal analiz eksiklikle (incompleteness) nasıl ilişkilidir?
- Goedel'in ikinci teoremi, aritmetiğin kendi tutarlılığını kanıtlayamadığını belirtmektedir. Sırasal analiz, bunu kanıtlayan ek ilkeyi, yani epsilon-sıfır'a kadar transfinite tümevarımı belirlemekte ve böylece tutarlılığını sağlamak için kuramın ne kadar ötesine geçilmesi gerektiğini kesin olarak ölçmektedir.