Problem mit großen Zahlen

[seth]

gudn tach!

Meinetwegen auch "bei der Übersetzung von einem System in's andere".

die verluste treten nur in der praxis auf. und zwar wegen der beschraenktheit des speichers.

Kann es denn nicht auch inkompatible Systeme geben?

ich dachte, es gehe vor allem um binaer- und dezimalsystem.

ich meinte wirklich den String "pi * 0,1". Das ist bereits eine ausreichende Darstellung der vollständigen Zahl,

ist dann pi*0,1 groesser oder kleiner als 1?

Steht in den Systemregeln.

von denen es also unendlich viele geben muss.

(woher weiss der computer das?)

Man sagt es ihm durch o.a. Systemregeln.
Genauso, wie er es erfahren hat, das im Dezimalsystem 0 kleiner 1 ist.

da sind's bloss endlich viele regeln.

Du hast ein endliches Alphabet.
Die Worte daraus müssen endlich sein.
Es gibt eine Grammatik mit einer endlichen Anzahl Regeln.

Frage: ist es möglich damit jedes Element einer unendlichen Menge zu beschreiben?

implizit ist das kein problem: \mathbb{N} (das N als symbol fuer die menge der natuerlichen zahlen).
das geht sogar, wenn man eine ueberabzaehlbar grosse menge gegeben hat:
\mathbb{R} (das R als symbol fuer die menge der reellen zahlen).

Das wäre die ganze Menge, ich hatte jedoch einzelne Elemente gemeint. Grundmenge sei hier ... mmh ...  [latex]\mathbf{R}\cup\mathbf{C}[/latex]?

oh, toll, hier geht ja latex!

explizit ist es nicht moeglich.
die gruende wurden schon alle genannt:
jeder zahl eindeutig ein symbol zuordnen wuerde unendlich viele symbole erfordern. (unendliches alphabet)

Eine hübsches Lemma, gibt's dafür Beweise?

aeh, das ist doch schon eine evidente tautologie, dachte ich.
eine bijektion zwischen zwei mengen, von denen eine unendlich gross ist, erfordert, dass die zweite ebenfalls unendlich gross ist.

Einerseits haben wir, bei Nutzung des heutzutage im täglichem Umgang üblichen Dezimalsystems, ein elfteiliges Alphabet {0,1,2,3,4,5,6,7,8,9,"[,.]"} mit dem Regelsatz, das eine Stelle von der direkt benachbarten Stelle um den Faktor 10 verschieden ist und ein Trennzeichen eine Ziffernfolge einleitet, die nach gleichen Regeln den Abstand zwischen der aktuellen natürlichen Zahl aus Z vor dem Trennzeichen und der folgenden Zahl aus Z bezeichnet. Damit lassen sich alle Zahlen aus Q darstellen, jedoch kann es zu unendlich langen Ziffernfolgen/Worten kommen. Elemente aus C lassen sich alleine mit o.a. Alphabet nicht darstellen. Somit ist als Nebeneffekt schonmal herausgekommen, das es tatsächlich inkompatible Systeme gibt.

inkompatible systeme? Q ist halt bloss ne echte teilmenge von C, weshalb es trivialerweise keine bijektion zwischen beiden mengen gibt.
ich meinte zahlensysteme wie binaer oder dezimal...

Zudem ist es möglich mit diesem endlichem Alphabet eine unendliche Anzahl von Zahlen darzustellen. Leider gibt es dabei auch eine unendliche Anzahl an unendlich langen Worten und genau das sollte ja vermieden werden.
Wir können jede Zahl aus einer total geordneten unendlichen Menge auch durch ihre direkten Nachbarn beschreiben:

er hat jehova gesagt!
in einer menge wie N hast du recht. in der menge R jedoch, welche auch total geordnet ist, hat keine zahl "direkte nachbarn". zwischen zwei beliebigen reellen a,b, mit a!=b gibt es unendlich viele weitere reelle zahlen.

x<y<z. Somit gibt es vier Mengen:
[latex]\mathbb{A} = \left[\mathbb{A}|\mathbb{A} \subset\mathbb{G} \right][/latex]
[latex]\mathbb{B} = \left[\mathbb{B}| \mathbb{B} \subset \mathbb{G}\right] [/latex]
[latex]\left{x\right} = \left[\left{x\right}| \left{x\right} \subset \mathbb{G}\right] [/latex]
[latex]\mathbb{G} = \mathbb{A} \cup \mathbb{B} \cup \left{x\right}[/latex]
Damit gibt es:
[latex]\forall x \in \mathbf{G}~\exists\left{y,z\right} = \left[\left{y,z\right}\subset \mathbf{G}|y<x<z\right][/latex]
Somit auch die beiden Intervalle[latex]\mathbf{A} = \left(-\infty,y\right] [/latex] und [latex]\mathbf{B} = \left[z,+\infty\right) [/latex]. Somit folgt:
[latex]x = \mathbf{G}\setminus \left(\mathbf{A}\cup\mathbf{B}\right)[/latex]

Also ist es möglich jede Zahl als endliche Symbolfolge darzustellen.
Wwenn ich mich nicht irgendwo vertan habe natürlich ;-)

hmm, ich war so frei, mal die latex-fehler zu beseitigen. aber nun stellt sich mir die frage, was du eigentlich meintest, denn die konventionen, die deiner schreibweise zu grunde liegen, kenne ich nicht. zudem verstehe ich die reihenfolge nicht.
ich bitte dich, dass noch mal, aber anders zu formulieren. um zu verdeutlichen, was ich nicht verstehe:
was sind A, B, G?
was ist [latex]\left[\mathbb{A}|\mathbb{A} \subset\mathbb{G} \right][/latex]?
[latex]\left{mathbb{A}|\mathbb{A} \subset\mathbb{G} \right}[/latex] waere einfach die menge aller ((je nach konvention) echten) teilmengen von G. aber was bedeuten die eckigen klammern?
ist x eine teilmenge oder ein element aus G? (erst scheint es element zu sein, aber in der letzten zeile dann doch teilmenge)

BTW: ich glaube folgender Code aus meinem Archiv dürfte Dich amüsieren:

sorry, ich werde in den naechsten tagen nicht zu dazu kommen ihn mir anzuschauen.

Ich glaube, da reicht schon ein Überfliegen ;-)

ok, spaeter...

prost
seth