Гильберт-Берней парадоксы - Hilbert–Bernays paradox - Wikipedia

The Гильберт-Берней парадоксы ерекше болып табылады парадокс парадокстардың отбасына жатады анықтама (сияқты Берри парадоксы ). Оған байланысты Дэвид Хилберт және Пол Бернейс.

Тарих

Парадокс Хильберт пен Бернейсте пайда болады Grundlagen der Mathematik және олар жеткілікті күшті дәйекті теорияның өзіндік сілтеме функциясын қамтуы мүмкін еместігін көрсету үшін қолданылады.[1] Ол 20-шы ғасырда елеусіз қалса да, жақында ол қайта табылып, ерекше қиындықтары үшін бағаланды.[2]

Қалыптастыру

Сияқты семантикалық меншігі шындық аңғал схемамен басқарылатын сияқты:

(T) сөйлем ′P′ Тек егер болса ғана дұрыс P

(егер бір тырнақшалар дәйексөздер ішіндегі тілдік өрнекті білдіреді), сілтеменің мағыналық қасиеті аңғал схемамен басқарылатын сияқты:

(R) Егер а бар, аты референт ′а′ -Мен бірдей а

Алайда есімді қарастырайық сағ (табиғи) сандар үшін:

(H) сағ ′-мен (референт сағ) +1′

Айталық, қандай да бір сан үшін n:

(1) референт сағ мен бірдей n

Сонда, әрине, референт сағ бар, және солай (референт сағ) +1. (R) бойынша, бұдан былай шығады:

(2) ′ референті (референті сағ) +1 ′ (референтімен) бірдей сағ)+1

және (H) принципі бойынша ұқсастықтардың анықталмауы, бұл жағдай:

(3) референт сағ (референтімен) бірдей сағ)+1

Бірақ, тағы бірдей ұқсастықтардың анықталмауы бойынша, (1) және (3) кірістілік:

(4) референт сағ мен бірдей n +1

және, бойынша өтімділік туралы жеке басын куәландыратын, (1) (4) өнімділікпен бірге:

(5) n мен бірдей n+1

Бірақ (5) сандырақ, өйткені ешқандай сан оның ізбасарымен бірдей болмайды.

Шешімдер

Әрбір жеткілікті күшті теория (H) сияқты нәрсені қабылдауы керек болғандықтан,[түсіндіру қажет ] абсурдты тек аңғал сілтеме принципінен (R) бас тарту арқылы немесе бас тарту арқылы болдырмауға болады классикалық логика (бұл (R) және (H) -дан ақылға қонымсыздыққа негізделген дәлелді растайды). Бірінші көзқарас бойынша, әдетте, кім туралы айтса да Өтірік парадоксы тегіс өткізеді Гильберт-Берней парадоксына дейін.[3] Оның орнына парадокс ұсынылады ерекше қиындықтар екінші тәсілмен жүретін көптеген шешімдер үшін: мысалы, өтірік парадоксынан бас тартатын шешімдер алынып тасталған орта заңы (қайсысы емес Гильберт-Берней парадоксы қолданған) референт сияқты нәрсе жоққа шығарды сағ;[4] шешімдері Өтірік парадоксы бас тартады қайшылықсыздық заңы (бұл да сол сияқты емес Гилберт-Берней парадоксы қолданған) деп мәлімдеді сағ бірнеше объектілерді білдіреді.[5]

Әдебиеттер тізімі

  1. ^ Хилберт, Дэвид; Бернейс, Павел (1939). Grundlagen der Mathematik. Берлин: Шпрингер. 263–278 беттер.
  2. ^ Priest, Graham (2005). Болмауға қатысты. Оксфорд: Оксфорд университетінің баспасы. 156–178 бб.
  3. ^ Кит Симмонс (2003). «Анықтама және парадокс». Беллда, JC (ред.) Өтірікшілер мен үймелер. Оксфорд: Оксфорд университетінің баспасы. 230–252 бет.
  4. ^ Field, Hartry (2008). Парадокстен шындықты сақтау. Оксфорд: Оксфорд университетінің баспасы. 291–293 бб.
  5. ^ Priest, Graham (2005). Болмауға қатысты. Оксфорд: Оксфорд университетінің баспасы. 156–178 бб.