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 …
Markus Osterhoff /
npub1m6…k8zk9
2024-10-08 04:21:49
Author Public Key
npub1m6w66jr64aax42g9wtw20jxgayph7apc9wqtvsv6p247fk4qdnnq9k8zk9Published at
2024-10-08 04:21:49Event JSON
{
"id": "00c8e39b7c412d2054e18289254441c1eb089e34bd3e952403962237c7e2ef14",
"pubkey": "de9dad487aaf7a6aa90572dca7c8c8e9037f74382b80b6419a0aabe4daa06ce6",
"created_at": 1728361309,
"kind": 1,
"tags": [
[
"p",
"69fd501288d3a1e01f20d6843e43693dc021dbe06238c10f1ac5808d6fcb2cc8",
"wss://relay.mostr.pub"
],
[
"p",
"0388ecceb15f2ed62c763e9c72bb0bc591362fcf1348576a44ef8d4b34d52b72",
"wss://relay.mostr.pub"
],
[
"proxy",
"https://troet.cafe/users/sci_photos/statuses/113269886793112853",
"activitypub"
]
],
"content": "nostr:npub1d874qy5g6ws7q8eq66zrusmf8hqzrklqvguvzrc6ckqg6m7t9nyq7yq096 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.\n\nDass |R durch die Forderung, „jede Cauchy-Folge konvergiert“, so unglaublich viel größer wird als |N, habe ich mittlerweile hingenommen.\n\nAber was ist in der Berechenbarkeit / aufschreibbare Algorithmen die Entsprechung der Cauchy-Folgen? \nDiagonal-Konstruktion für Quellcode? Hmm, das könnte sein …",
"sig": "69bf2ead795ffaba8822ba0f15464c94bf255329a14c3c05a75007b68a1fab90a69b9bba91c4d2b8f58d35e953b59ab0612c1dc48a6f9f3822d972498d642cd6"
}