10.te Hilbertsche Problem < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 15:18 Mi 05.06.2013 | | Autor: | Lu- |
| Aufgabe | Wie betrachten die Mnge det Polynome (in bel. vielen Variablen) mit ganzzahligen Koeffizienten.
Sei B [mm] \subseteq [/mm] A definiert durch diejenigen Polynome, die eine ganzzahlige Nullstelle haben. Argumentiere (Mit Hilfe der Church-Thuring-These) B ist rekursiv aufählbar. |
Hallo
Church- Thuring-These: "rekursiv = berechenbar in ihrer Lieblingsprogrammiersprache"(intuitiv berechenbar)
[mm] P(X_1, \dotsc, X_n) [/mm] = [mm] \sum_{i_1,\dotsc,i_n}a_{i_1,\dotsc,i_n}X_1^{i_1}\dotsm X_n^{i_n}
[/mm]
Hat wer einen Tipp für mich!?
Liebe Grüße
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 15:20 Fr 07.06.2013 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
