Sprache - Unentscheidbarkeit

28.11.2015, 17:58	mariem	Auf diesen Beitrag antworten »
Sprache - Unentscheidbarkeit Hallo, um zu zeigen dass die positive existentielle Theorie von $\begin{eqnarray} \mathbb{C}[e^{\mu x} \mid \mu \in \mathbb{C}] \end{eqnarray}$ in eine Sprache die die Ableitung enthält, unentscheidbar ist, kann man die Implikation $\begin{eqnarray} k \in \mathbb{Z} \leftrightarrow \exists \lambda \left (\lambda '=0 \land \lambda \neq 0 \land e^{\lambda}=1 \land e^{\lambda k}=1\right ) \end{eqnarray}$ benutzen um Hilbert's 10.tes Problem (positive existentielle Theorie von $\begin{eqnarray} \mathbb{Z} \end{eqnarray}$ ) in der oben ernannten Theorie zu reduzieren, richtig? Um das zu tun welche Sprache muss man benutzen? Vielleicht die $\begin{eqnarray} \{+, \cdot , ' , 0 , 1, e , T(t)\} \end{eqnarray}$ wobei $\begin{eqnarray} T(t)=e^t \end{eqnarray}$ ?

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »