Sınırlı her şeyi bilme ilkesi - Limited principle of omniscience

İçinde yapıcı matematik, sınırlı her şeyi bilme ilkesi (LPO) ve daha az sınırlı her şeyi bilme ilkesi (LLPO) yapıcı olmayan ancak tam olandan daha zayıf aksiyomlardır. dışlanmış orta kanunu (Bridges ve Richman 1987 ). LPO ve LLPO aksiyomları, bir argüman için gerekli olan yapısal olmama miktarını ölçmek için kullanılır. yapıcı ters matematik. Ayrıca şunlarla da ilgilidir zayıf karşı örnekler Brouwer anlamında.

Tanımlar

Sınırlı her şeyi bilme ilkesi devletler (Bridges ve Richman 1987, s. 3):

LPO: Herhangi bir sıra için a0, a1, ... öyle ki her biri aben 0 veya 1 ise, aşağıdaki tutar: aben = Tümü için 0 benveya bir k ile ak = 1.[1]

Daha az sınırlı olan her şeyi bilme ilkesi şöyle der:

LLPO: Herhangi bir sıra için a0, a1, ... öyle ki her biri aben 0 veya 1'dir ve öyle ki en fazla bir aben sıfırdan farklıdır, aşağıdaki tutar: a2ben = Tümü için 0 benveya a2ben+1 = Tümü için 0 ben, nerede a2ben ve a2ben+1 Sırasıyla çift ve tek dizine sahip girişlerdir.

Dışlanan orta yasanın LPO'yu ve LPO'nun LLPO'yu ima ettiği yapıcı bir şekilde kanıtlanabilir. Bununla birlikte, bu çıkarımların hiçbiri tipik yapıcı matematiğin sistemlerinde tersine çevrilemez.

"Her şeyi bilme" terimi, bir matematikçinin LPO sonucundaki iki durumdan hangisinin belirli bir sıra için geçerli olduğunu nasıl söyleyebileceğine ilişkin bir düşünce deneyinden geliraben). "Var mı?" Sorusuna cevap k ile ak = 1? "Olumsuz olarak, cevabın olumsuz olduğunu varsayarsak, tüm diziyi incelemeyi gerektiriyor gibi görünüyor. Bu, sonsuz sayıda terimin incelenmesini gerektireceğinden, bu belirlemeyi yapmanın mümkün olduğunu belirten aksiyom, tarafından" her şeyi bilme ilkesi "olarak adlandırıldı. Piskopos (1967).

Referanslar

  1. ^ Madenler, Ray (1988). Yapıcı cebir dersi. Richman, Fred ve Ruitenburg, Wim. New York: Springer-Verlag. sayfa 4–5. ISBN  0387966404. OCLC  16832703.

Dış bağlantılar