Gödlovo število - Wikipedija, prosta enciklopedija

# Gödlovo število

### Iz Wikipedije, proste enciklopedije

Gödlova števila so v formalni teoriji števi oblika kodiranega logičnega stavka. Funkcija priredi vsakemu simbolu ali enačbi nekega formalnega jezika natančno določeno naravno število. Takšna števila je prvi uporabil Kurt Gödel pri dokazu svojega izreka o nepopolnosti.

Logični simboli | Števila 1:12
--- | ---

¬
(
)
S
0
=
.
+

1 (»ne«)
2 (»za vse«)
3 (»če, potem«)
4 (»ali«)
5 (»in«)
6
7
8 (»je naslednik«)
9
10
11
12

Predloženi simboli | Števila večja od 10 in deljiva s 3
P Q R S | 12 15 18 21
Posamezne spremenljivke | Števila večja od 10 z ostankom 1 pri deljenju s 3
v x y | 13 16 19
Predikatni simboli | Števila večja od 10 z ostankom 2 pri deljenju s 3
E F G | 14 17 20

## [uredi] Glej tudi

- veliko število

Vzpostavljeno iz »http://sl.wikipedia.org../../../g/%C3%B6/d/G%C3%B6dlovo_%C5%A1tevilo.html«

Kategorija: Števila

##### Views

- Članek
- Pogovor
- Trenutna redakcija

##### občestvo

- Portal občestva
- Pod lipo
- Stik z nami

##### podpora

- Pomoč
- Denarni prispevki

##### Iskanje

##### V drugih jezikih

- Deutsch
- English
- 中文