Matematické Fórum

s-o-k-o-l

Zdravím ...
chtěl bych se zeptat na problematiku s Godelovo číslováním.
Mám výraz $(\exists x)(x=s\cdot y)$

Očísluji si znaky:
$(...1$
$\exists ...2$
$x...3$
$)...4$
$=...5$
$s...6$
$\cdot ...7$
$y...8$

Mám celkem 11 míst, tedy potřebuji 11 prvočísel:
$2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31$
Godelovo číslo: $2^{1}\cdot 3^{2}\cdot 5^{3}\cdot 7^{4}\cdot 11^{1}\cdot 13^{3}\cdot 17^{5}\cdot 19^{6}\cdot 23^{7}\cdot 29^{8}\cdot 31^{4}=...$

Je to takto správně? Děkuji za odpověď :)

A ještě jedna otázka ... mám číslo, rozložím ho na prvočísla, dostanu zápis, jak z toho udělám opět formuli? potřebuji znát 1,2,3,4,5,6,7 ... co znamenají jednotlivé symboly nebo je zdě nějaký trik ještě :)

Matematické Fórum

#1 07. 02. 2014 13:24 — Editoval s-o-k-o-l (07. 02. 2014 13:45)

Godelovo očíslování

Zápatí