Нумерація Геделя — це функція g , що зіставляє з кожним об'єктом деякої формальної мови її номер. З її допомогою можна явно пронумерувати наступні об'єкти мови: змінні, , , і формули, побудовані з них.
Побудова нумерації Геделя для об'єктів теорії називається арифметизацією теорії — вона дозволяє переводити висловлювання, аксіоми, теореми чи теорії в об'єкти арифметики . При цьому потрібно, щоб нумерація g була ефективно обчислюваною і для будь-якого натурального числа можна було визначити, чи є воно номером чи ні, і якщо є, то побудувати відповідний йому об'єкт мови. Нумерація Геделя дуже схожа на посимвольне кодування рядків числами, але з тією різницею, що для кодування послідовностей номерів букв використовується не конкатенація номерів однакової довжини, а основна теорема арифметики.
Нумерація Геделя була ним застосована як інструмент для доказу неповноти формальної арифметики.
Варіант нумерації Геделя формальної теорії першого порядку
Нехай — теорія першого порядку, що містить змінні , предметні константи , функціональні символи і предикатні символи , де — номер, а — арність функціонального або предикатного символу.
Кожному символу довільній теорії першого порядку поставимо у відповідність його Ґьоделя номер наступним чином:
Номер Геделя довільної послідовності виразів визначимо наступним чином: .
Існують також інші нумерації Геделя формальної арифметики.
Приклад
Узагальнення
Взагалі, нумерацією множини називають усюди повне сюр'єктивне відображення. Якщо , то називають номером об'єкта . Окремі випадки — мови і теорії.
Див. також
Література
- Кліні С.К. Введення в метаматематику. — М. : ІЛ, 1957. — 526 с.
- Мендельсон Е. Введення в математичну логіку. — М. : «Наука», 1971. — 320 с.
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Numeraciya Gedelya ce funkciya g sho zistavlyaye z kozhnim ob yektom deyakoyi formalnoyi movi yiyi nomer Z yiyi dopomogoyu mozhna yavno pronumeruvati nastupni ob yekti movi zminni i formuli pobudovani z nih Pobudova numeraciyi Gedelya dlya ob yektiv teoriyi nazivayetsya arifmetizaciyeyu teoriyi vona dozvolyaye perevoditi vislovlyuvannya aksiomi teoremi chi teoriyi v ob yekti arifmetiki Pri comu potribno shob numeraciya g bula efektivno obchislyuvanoyu i dlya bud yakogo naturalnogo chisla mozhna bulo viznachiti chi ye vono nomerom chi ni i yaksho ye to pobuduvati vidpovidnij jomu ob yekt movi Numeraciya Gedelya duzhe shozha na posimvolne koduvannya ryadkiv chislami ale z tiyeyu rizniceyu sho dlya koduvannya poslidovnostej nomeriv bukv vikoristovuyetsya ne konkatenaciya nomeriv odnakovoyi dovzhini a osnovna teorema arifmetiki Numeraciya Gedelya bula nim zastosovana yak instrument dlya dokazu nepovnoti formalnoyi arifmetiki Variant numeraciyi Gedelya formalnoyi teoriyi pershogo poryadkuNehaj K displaystyle mathrm K teoriya pershogo poryadku sho mistit zminni x1 x2 displaystyle x 1 x 2 predmetni konstanti a1 a2 displaystyle a 1 a 2 funkcionalni simvoli fkn displaystyle f k n i predikatni simvoli Akn displaystyle A k n de k displaystyle k nomer a n displaystyle n arnist funkcionalnogo abo predikatnogo simvolu Kozhnomu simvolu u displaystyle u dovilnij teoriyi pershogo poryadku K displaystyle mathrm K postavimo u vidpovidnist jogo Godelya nomer g u displaystyle g u nastupnim chinom g 3 g 3 g 3 g 3 g 3 displaystyle g 3 g 3 g 3 g neg 3 g to 3 g xk 5 8k k 1 2 displaystyle g x k 5 8k k 1 2 g ak 7 8k k 1 2 displaystyle g a k 7 8k k 1 2 g fkn 9 8 2n3k k n 1 displaystyle g f k n 9 8 cdot 2 n 3 k k n geqslant 1 g Akn 11 8 2n3k k n 1 displaystyle g A k n 11 8 cdot 2 n 3 k k n geqslant 1 Nomer Gedelya dovilnoyi poslidovnosti e0 er displaystyle e 0 e r viraziv viznachimo nastupnim chinom g e0 er 2g e0 3g e1 prg er displaystyle g e 0 e r 2 g e 0 cdot 3 g e 1 cdot cdot p r g e r Isnuyut takozh inshi numeraciyi Gedelya formalnoyi arifmetiki Priklad g A12 x1 x2 2g A12 3g 5g x1 7g 11g x2 13g 2107 33 513 77 1121 135 displaystyle g A 1 2 x 1 x 2 2 g A 1 2 cdot 3 g cdot 5 g x 1 cdot 7 g cdot 11 g x 2 cdot 13 g 2 107 cdot 3 3 cdot 5 13 cdot 7 7 cdot 11 21 cdot 13 5 UzagalnennyaVzagali numeraciyeyu mnozhini F displaystyle F nazivayut usyudi povne syur yektivne vidobrazhennyan N F displaystyle nu mathbb N to F Yaksho n n f displaystyle nu n f to n displaystyle n nazivayut nomerom ob yekta f displaystyle f Okremi vipadki F displaystyle F movi i teoriyi Div takozhTeorema Gedelya pro nepovnotuLiteraturaKlini S K Vvedennya v metamatematiku M IL 1957 526 s Mendelson E Vvedennya v matematichnu logiku M Nauka 1971 320 s