Markus Osterhoff on Nostr: npub1d874q…yq096 Im Nachgang zu den „unreellen“ Zahlen, ...
npub1d874qy5g6ws7q8eq66zrusmf8hqzrklqvguvzrc6ckqg6m7t9nyq7yq096 (npub1d87…q096) Im Nachgang zu den „unreellen“ Zahlen, https://eigenpod.de/eig008-unreelle-zahlen/ grübel ich gerade über diese Verbindung zwischen den nicht-berechenbaren Zahlen in |R und dem Halteproblem.
Dass |R durch die Forderung, „jede Cauchy-Folge konvergiert“, so unglaublich viel größer wird als |N, habe ich mittlerweile hingenommen.
Aber was ist in der Berechenbarkeit / aufschreibbare Algorithmen die Entsprechung der Cauchy-Folgen?
Diagonal-Konstruktion für Quellcode? Hmm, das könnte sein …
Dass |R durch die Forderung, „jede Cauchy-Folge konvergiert“, so unglaublich viel größer wird als |N, habe ich mittlerweile hingenommen.
Aber was ist in der Berechenbarkeit / aufschreibbare Algorithmen die Entsprechung der Cauchy-Folgen?
Diagonal-Konstruktion für Quellcode? Hmm, das könnte sein …