2215 2495 die 2495 3275 Gödelschen 3275 4935 Unvollständigkeitssätze 4935 5175 aus 5175 5355 dem 5355 5555 Jahr 5555 5915 neunzehn 5915 6075 hundert 6075 8355 einunddreißig 8355 8575 das 8575 8715 mal 8715 10115 einzuordnen 10115 10295 die 10295 10755 allgemeine 10755 12295 Relativitätstheorie 12295 12595 was 12595 12815 hundert 12815 13995 fünfzehn 13995 14675 und 14675 14815 die 14815 15175 Entdeckung 15175 15355 der 15355 16075 Kernspaltung 16075 16455 neunzehn 16455 17755 achtunddreißig 17755 18135 in 18135 18295 die 18295 18915 Periode 18915 20715 Filters 20715 20875 um 20875 21035 es 21035 21295 eine 21295 21455 Idee 21455 21595 zu 21595 22135 kriegen 22135 22335 was 22335 22515 sie 22515 22775 setz 22775 23135 überhaupt 23135 24015 bedeuten 24015 24235 Komma 24235 24435 ganz 24435 24815 vorne 24815 25995 an 25995 26215 ich 26215 26455 gehe 26455 26775 aus 26775 26955 von 26955 27195 einer 27195 27975 mathematischen 27975 28655 Theorie 28655 28875 ganz 28875 29255 abstrakt 29255 30215 gesprochen 30215 30395 das 30395 30595 wird 30595 31035 nachher 31035 31595 mindestens 31595 31955 direkt 31955 32295 mittig 32295 33035 sein 33035 33695 also 33695 33995 Plus 33995 34175 und 34175 34795 mal 34795 34975 und 34975 35055 die 35055 35495 natürlichen 35495 37055 Zahlen 37055 37195 es 37195 37515 könnte 37515 37695 auch 37695 38255 Geometrie 38255 38655 seines 38655 38975 Kantor 38975 39155 ganz 39155 39315 was 39315 39715 anderes 39715 40575 sein 40575 40815 fang 40815 40955 es 40955 41055 mal 41055 41235 ganz 41235 41735 abstrakt 41735 42575 an 42575 42735 es 42735 42955 sei 42955 43135 eine 43135 43755 mathematische 43755 44135 Theorie 44135 44975 gegeben 44975 45315 und 45315 45475 das 45475 45875 wichtige 45875 46075 für 46075 46215 die 46215 46415 man 46415 46635 einen 46635 47215 formalen 47215 48555 Beweisprüfer 48555 49135 schreiben 49135 50695 kann 50695 50915 und 50915 51115 zwar 51115 51335 als 51335 51835 Programm 51835 52355 schreiben 52355 53395 kann 53395 53655 also 53655 54055 wirklich 54055 54435 streng 54435 56095 formal 56095 56295 und 56295 56515 dieses 56515 57035 Programm 57035 57195 soll 57195 57335 auf 57335 57535 einem 57535 57875 Rechner 57875 58255 laufen 58255 58655 dürfen 58655 58935 der 58935 59355 beliebig 59355 59495 viel 59495 59935 Speicher 59935 60235 hat 60235 60435 oder 60435 60755 genauer 60755 61055 gesagt 61055 61275 vor 61275 61515 ich 61515 62015 speichern 62015 62475 beliebig 62475 63095 nachrüsten 63095 64675 kann 64675 64915 diese 64915 65395 Programm 65395 65935 simuliert 65935 66615 sozusagen 66615 66755 den 66755 67535 Mathematiker 67535 67735 der 67735 68375 versucht 68375 68675 einen 68675 69175 Beweis 69175 70195 nachzuvollziehen 70195 70475 Schritt 70475 70655 für 70655 70955 Schritt 70955 71935 exakt 71935 72475 formal 72475 73695 nachzuvollziehen 73695 73935 und 73935 74675 dabei 74675 74895 einen 74895 75375 endlosen 75375 75795 Vorrat 75795 75915 an 75915 76275 Papier 76275 76755 beschreiben 76755 77795 darf 77795 78075 wenn 78075 78215 ich 78215 78395 einen 78395 78755 Beweis 78755 79135 formal 79135 79875 nachvollziehen 79875 80395 kann 80395 80595 auf 80595 80815 diese 80815 81095 Art 81095 81655 dann 81655 81875 werde 81875 81975 ich 81975 82095 auch 82095 82195 ein 82195 82615 Programm 82615 82895 dafür 82895 83375 schreiben 83375 84175 können 84175 84475 dieses 84475 85115 Programm 85115 85315 mit 85315 85435 dem 85435 85715 Teich 85715 86915 analysiert 86915 87315 Gödel 87315 87635 hatte 87635 88375 einunddreißig 88375 88755 natürlich 88755 88935 noch 88935 89155 nicht 89155 89255 die 89255 89695 Idee 89695 89895 von 89895 90335 heutigen 90335 92175 Computerprogrammherdes 92175 92355 ganz 92355 92635 anders 92635 93155 formuliert 93155 93515 das 93515 93735 hier 93735 93915 ist 93915 93995 die 93995 94475 moderne 94475 95815 Interpretation 95815 95995 von 95995 96155 dem 96155 96335 was 96335 96615 Goethe 96615 96995 gemacht 96995 97195 hat 98704 99104 schreibt 99104 99284 man 99284 99544 auf 99544 99564 ?? 99564 99724 man 99724 99864 sich 99864 99984 so 99984 100124 ein 100124 100804 Programm 100804 101584 vorstellen 101584 102444 könnte 102444 102664 das 102664 102884 meine 102884 103144 Idee 103144 103584 kriecht 103584 103704 in 103704 103844 der 103844 104124 Tat 104124 104364 so 104364 104544 ein 104544 105144 Programm 105144 105544 müsste 105544 105724 man 105724 106104 schreiben 106104 106384 können 106384 106484 und 106484 106704 kann 106704 106864 man 106864 107064 auch 107064 107144 in 107144 107284 der 107284 107524 Tat 107524 108264 schreiben 108264 108464 für 108464 108564 die 108564 108924 üblichen 108924 109484 mathematischen 109484 110644 Theorien 110644 110824 ich 110824 110964 habe 110964 111104 das 111104 111244 mal 111244 111364 in 111364 111564 einer 111564 112344 Fantasiesprache 112344 112744 auf 112744 113064 diesem 113064 113364 bisschen 113364 113784 WC 113784 114324 aussieht 114324 114744 oder 114744 115284 Java 115284 115464 oder 115464 115684 sich 115684 116744 Sharp 116744 116924 eine 116924 117844 Funktion 117844 118084 dieses 118084 119324 Programm 119324 119664 schreibe 119664 119824 eine 119824 120404 Funktion 120404 120944 hin 120944 121104 die 121104 121564 Funktion 121564 121844 ist 121844 123124 Beweis 123124 123404 dass 123404 123724 solche 123724 124284 Funktion 124284 125264 bekommen 125264 125484 Sie 125484 125724 soll 125724 125904 ein 125904 126564 Beweis 126564 127064 bekommen 127064 127304 als 127304 128644 Zeichenkette 128644 129284 oder 129284 129524 einen 129524 130464 vermeintlichen 130464 131544 Beweis 131544 131844 und 131844 131984 sie 131984 132224 soll 132224 132464 eine 132464 133244 Aussage 133244 134284 bekommen 134284 134904 die 134904 135724 vermeintlich 135724 136244 vielleicht 136244 136624 nur 136624 137084 bewiesen 137084 137944 wird 137944 138164 durch 138164 138364 diesen 138364 139564 Beweis 139564 139944 zurück 139944 140364 liefern 140364 140624 soll 140624 141124 sie 141124 141444 ja 141444 141624 oder 141624 142384 nein 142384 142624 ein 142624 143984 Burschenwert 143984 144264 ist 144264 144384 der 144384 145524 Beweis 145524 145944 der 145944 146404 vielleicht 146404 146604 nur 146604 147204 angebliche 147204 148024 Beweis 148024 148424 wirklich 148424 148524 ein 148524 148884 Beweis 148884 149024 für 149024 149144 die 149144 149664 Aussage 149664 150004 oder 150004 151624 nicht 151624 151724 ?? 151724 151924 können 151924 152124 sich 152124 152584 überlegen 152584 152804 jetzt 152804 152884 wie 152884 153024 das 153024 153104 im 153104 153764 Prinzip 153764 154344 ablaufen 154344 155304 würde 155304 155564 was 155564 155824 macht 155824 156004 diese 156004 156504 Funktion 156504 156644 im 156644 158364 Prinzip 158364 158564 ich 158564 158764 werde 158764 158924 mehr 158924 159064 als 159064 159224 man 159224 159524 gucken 159524 159644 ob 159644 159824 dieser 159824 160324 Beweis 160324 160884 syntaktisch 160884 161264 korrekt 161264 161664 ist 161664 161924 steht 161924 162024 der 162024 162504 irgendein 162504 163504 Unsinn 163504 164024 sowas 164024 165124 wie 165124 165164 ?? 165164 165364 es 165364 165944 gibt 165944 166644 fünf 166644 166944 so 166944 167904 das 167904 168424 sieben 168424 168704 X 168704 168944 ist 168944 169304 gleich 169304 170084 mal 170084 170304 das 170304 170524 wäre 170524 171124 offensichtlich 171124 171864 Unsinn 171864 172104 das 172104 172204 will 172204 172284 ich 172284 172724 zuerst 172724 173624 prüfen 173624 173924 steht 173924 174204 der 174204 174844 syntaktische 174844 176224 Unsinn 176224 176864 wenn 176864 177064 sie 177064 177344 meiner 177344 178084 Fantasiesprache 178084 178684 aufgeschrieben 178684 179384 ist 179384 179544 der 179544 180104 Beweis 180104 180684 syntaktisch 180684 181044 falsch 181044 182344 ist 182344 182584 dann 182584 182824 gebe 182824 182924 ich 182924 183844 natürlich 183844 184384 sofort 184384 185024 zurück 185024 185204 das 185204 185404 soll 185404 185624 kein 185624 186004 Beweis 186004 186164 für 186164 186284 die 186284 186824 Aussage 186824 187104 sein 187104 187404 egal 187404 187724 welche 187724 188204 Aussage 188204 188424 das 188424 189224 war 189224 189464 die 189464 190424 Syntaxüberprüfung 190424 190664 hier 190664 190864 kann 190864 191544 laufen 191544 191964 wie 191964 192184 das 192184 192284 der 192284 192684 normale 192684 193204 Compiler 193204 193504 macht 193504 193704 der 193704 193964 guckt 193964 194064 ja 194064 194304 auch 194304 194624 nach 194624 194744 ob 194744 194884 ein 194884 195604 Programm 195604 196104 syntaktisch 196104 196404 korrekt 196404 196884 geschrieben 196884 197484 ist 197484 197724 das 197724 197924 kann 197924 198044 ich 198044 198144 hier 198144 198464 machen 198464 198544 die 198544 198984 Statik 198984 199184 war 199184 199304 sie 199304 199484 ein 199484 200204 Compiler 200204 200404 nicht 200404 200604 ganz 200604 200704 ein 200704 201184 Compiler 201184 201344 aber 201344 202024 zumindest 202024 202224 die 202224 202504 erste 202504 202864 Hälfte 202864 203104 eines 203104 205144 Compilers 205144 205304 gar 205304 205424 nicht 205424 205704 gesagt 205704 205864 was 205864 206064 dieser 206064 206504 Beweis 206504 206984 sein 206984 207304 soll 207304 207504 dieser 207504 207984 Beweis 207984 208144 soll 208144 208364 eine 208364 208964 Liste 208964 209144 an 209144 209664 Formen 209664 210324 seien 210324 210524 die 210524 210724 zum 210724 211384 Schluss 211384 211524 in 211524 211664 der 211664 212204 Aussage 212204 213144 mündet 213144 213364 das 213364 213624 checke 213624 213724 ich 213724 213884 jetzt 213884 214024 auch 214024 214204 noch 214204 214464 ganz 214464 214704 zu 214704 215104 Beginn 215104 215324 ist 215324 215404 die 215404 215884 letzte 215884 216324 Formel 216324 216564 aus 216564 216824 dieser 216824 217384 Liste 217384 217864 wirklich 217864 218024 die 218024 219324 Aussage 219324 219624 und 219624 219744 wenn 219744 219824 die 219824 220144 letzte 220144 220564 Formel 220564 221044 nicht 221044 221264 die 221264 221864 Aussage 221864 222564 ist 222564 222784 dann 222784 223224 akzeptiere 223224 223304 ich 223304 223464 das 223464 223644 nicht 223644 223824 als 223824 224684 Beweis 224684 225024 also 225024 226904 Returnfords 226904 227084 und 227084 227244 jetzt 227244 227504 gucken 227504 227604 wir 227604 227904 wirklich 227904 228084 diese 228084 228484 einzelnen 228484 228784 Schritte 228784 228964 an 228964 229124 der 229124 229604 Beweis 229604 229764 soll 229764 229904 eine 229904 230224 Liste 230224 230424 von 230424 230804 Formen 230804 231424 sein 231424 231884 Formel 231884 232324 inklusive 232324 232684 logischer 232684 233524 Ausdrücke 233524 233704 jetzt 233704 233884 guck 233884 234004 ich 234004 234164 mir 234164 234344 an 234344 234504 ob 234504 234784 das 234784 235364 stimmig 235364 235804 ist 235804 236004 für 236004 236344 jede 236344 237344 Formel 237344 237524 in 237524 238164 diesen 238164 239064 Beweis 239064 239684 oder 239684 240164 erhofften 240164 241244 Beweis 241244 241504 mache 241504 241644 ich 241644 242344 folgendes 242344 242524 ich 242524 243724 prüfe 243724 243924 ob 243924 244104 diese 244104 245204 Formelaxiom 245204 245524 ist 245524 245764 als 245764 245984 eine 245984 246104 der 246104 246924 Grundannahme 246924 247224 oder 247224 247344 ob 247344 247424 ich 247424 247524 die 247524 248064 formlos 248064 248244 eine 248244 248364 der 248364 249084 vorhergehenden 249084 250024 Formen 250024 250504 beweist 250504 250684 ?? 250684 250844 eine 250844 251164 Liste 251164 251344 von 251344 251724 Formen 251724 251944 sein 251944 252104 ?? 252104 252644 herleiten 252644 253764 kann 253764 253944 wenn 253944 254084 das 254084 254204 für 254204 254504 irgend 254504 254684 eine 254684 255024 Farbe 255024 255204 nicht 255204 255304 der 255304 255544 Fall 255544 255904 ist 255904 256084 war 256084 256264 das 256264 256504 kein 256504 257784 Beweis 257784 257844 ?? 257844 257964 ich 257964 258084 es 258084 258344 aus 258344 259444 Gegenteil 259444 259684 für 259684 259984 jede 259984 260344 Form 260344 260444 ?? 260444 260804 drin 260804 261264 ist 261264 261544 häufig 261544 261664 auf 261664 261824 das 261824 262604 Gegenteil 262604 262884 ist 262884 263104 diese 263104 263964 Formel 263964 264364 keine 264364 265504 Aktion 265504 265704 und 265704 265864 ist 265864 266024 diese 266024 266344 Formel 266344 266744 nicht 266744 266984 aus 266984 267204 den 267204 267984 vorherigen 267984 268684 Formen 268684 268944 aus 268944 269184 diesem 269184 269844 Beweis 269844 271364 herleitbar 271364 271644 dafür 271644 271884 brauche 271884 272084 ich 272084 273344 Schlussregeln 273344 273524 wie 273524 273764 kann 273764 274084 ich 274084 274384 von 274384 274704 einen 274704 274864 oder 274864 275284 mehreren 275284 275904 Aussagen 275904 276104 auf 276104 276284 eine 276284 276684 weitere 276684 277804 schließen 277804 278004 und 278004 278084 die 278084 278404 Form 278404 278624 ist 278624 278884 nicht 278884 279184 mit 279184 280224 Schlussregeln 280224 281364 herleitbar 281364 281664 aus 281664 281884 den 281884 282604 vorherigen 282604 284384 Formen 284384 285004 Millimeter 285004 285424 dieses 285424 285804 geht 285804 285964 auch 285964 286224 das 286224 286444 geht 286444 286824 weiß 286824 287004 ich 287004 287184 au 287184 287424 das 287424 287624 was 287624 288604 faul 288604 288864 das 288864 289044 war 289044 289344 kein 289344 289924 Beweis 289924 290044 in 290044 290344 jedem 290344 291364 Beweisschritt 291364 291604 muss 291604 291804 das 291804 292304 gehen 292304 292444 die 292444 292844 Formel 292844 293084 muss 293084 293204 ein 293204 293624 Axiom 293624 294064 sein 294064 294604 oder 294604 294724 sie 294724 294964 muss 294964 295144 aus 295144 295244 den 295244 295764 vorherigen 295764 296224 Formen 296224 296944 herleitbar 296944 297444 sein 297444 297924 mit 297924 298804 Schlussregeln 298804 299144 die 299144 299644 beschreiben 299644 299764 wie 299764 299924 ich 299924 300344 logisch 300344 300664 denn 300664 300864 von 300864 301024 einem 301024 301204 zum 301204 301424 andern 301424 301704 kommen 301704 302784 darf 302784 303084 entweder 303084 303244 das 303244 303504 eine 303504 303664 noch 303664 303864 das 303864 304204 andere 304204 304484 geht 304484 304744 weiß 304744 304904 ich 304904 305444 also 305444 305684 das 305684 305844 war 305844 306104 kein 306104 306784 Beweis 306784 309024 Returnfords 309024 309204 wenn 309204 309344 ich 309344 309524 aber 309524 309724 durch 309724 309944 diese 309944 310384 Schleife 310384 310744 durch 310744 311364 Komma 311364 311804 ohne 311804 312684 jemals 312684 312864 ein 312864 313244 Problem 313244 313604 gefunden 313604 313784 zu 313784 314484 haben 314484 314844 ?? 314844 315144 jede 315144 315784 Formel 315784 316304 war 316304 316484 ein 316484 316944 Axiom 316944 317164 oder 317164 317264 die 317264 317464 sich 317464 317584 aus 317584 317684 den 317684 318144 vorherigen 318144 319364 herleiten 319364 319644 dann 319644 319984 weiß 319984 320284 ich 320284 320824 okay 320824 320924 es 320924 321064 hat 321064 321884 funktioniert 321884 322204 alles 322204 322324 in 322324 322824 Ordnung 322824 322964 ich 322964 323284 mache 323284 323604 Ritter 323604 323784 und 323784 325424 trugen 325424 325764 so 325764 326024 könnte 326024 326224 das 326224 326744 prinzipiell 326744 327864 aussehen 327864 328184 soll 328184 328404 jetzt 328404 328844 durchaus 328844 328984 noch 328984 330064 ausformulieren 330064 330224 wird 330224 330704 fürchterlich 330704 331104 werden 331104 331344 aber 331344 331444 im 331444 331884 Prinzip 331884 332004 ist 332004 332104 an 332104 332284 dieser 332284 332564 Stelle 332564 332824 klar 332824 332944 es 332944 333144 muss 333144 334084 funktionieren 334084 334244 ich 334244 334484 kann 334484 334604 so 334604 334804 eine 334804 335244 Funktion 335244 335944 schreiben 335944 336204 für 336204 336344 eine 336344 337504 mathematisch 337504 338204 formalisierte 338204 339024 Theorie 339024 339224 mit 339224 339364 dass 339364 339444 sie 339444 339884 hinhauen 339884 341464 müssen 341464 341604 man 341604 341804 sieht 341804 342124 nebenbei 342124 342264 auch 342264 342364 die 342364 342964 Zutaten 342964 343064 die 343064 343184 man 343184 343384 jetzt 343384 344024 braucht 344024 344244 was 344244 344404 ist 344404 344564 eine 344564 345124 mathematische 345124 346604 Theorie 346604 346764 ich 346764 347084 brauche 347084 347304 eine 347304 347504 Art 347504 347804 von 347804 348904 Sprache 348904 349364 für 349364 350264 Formeln 350264 350464 so 350464 350664 zu 350664 351904 sagen 351904 352064 ich 352064 352404 brauche 352404 353404 Axiome 353404 353684 meine 353684 354784 Grundannahmen 354784 354924 und 354924 355024 ich 355024 355264 brauche 355264 356444 Schlussregeln 356444 356604 wie 356604 356824 kann 356824 356944 ich 356944 357724 folgern 357724 357924 von 357924 358304 ein 358304 358484 was 358484 358844 anderes 358844 359284 folgern 359284 359524 oder 359524 359904 mehreren 359904 360184 Sachen 360184 360464 etwas 360464 360784 anderes 360784 362284 folgen 362284 362544 solche 362544 362844 Sachen 362844 363284 wie 363284 363544 wenn 363544 363764 aus 363764 364304 A 364304 364584 B 364584 365164 folgt 365164 365384 und 365384 365564 wenn 365564 365764 aus 365764 366324 B 366324 366684 C 366684 367204 folgt 367204 367424 dann 367424 367784 weiß 367784 367964 ich 367964 368204 aus 368204 368524 A 368524 368944 folgt 368944 369444 auch 369444 370304 C 370304 370524 das 370524 370764 für 370764 371004 eine 371004 371564 ganz 371564 372064 einfache 372064 372344 solche 372344 372624 Schluss 372624 373044 Regel 373044 373364 davon 373364 373624 brauche 373624 373804 ?? 373804 374344 Sammlung 374344 374544 was 374544 374704 ist 374704 374944 alles 374944 376064 erlaubt 376064 376344 diese 376344 376664 Sachen 376664 377284 hier 377284 378184 Sprache 378184 379044 Axiome 379044 379384 Schluss 379384 380124 Regel 380124 380344 das 380344 380504 sind 380504 380624 die 380624 381484 Zutaten 381484 381684 zu 381684 381844 einer 381844 382524 mathematischen 382524 383164 Theorie 383164 383364 wenn 383364 383484 man 383484 383784 das 383784 383984 so 383984 385484 formalisiert 385484 385704 wenn 385704 385804 ich 385804 385964 dir 385964 386584 habe 386584 386804 kann 386804 386904 ich 386904 387024 so 387024 387204 einen 387204 388004 Beweisprüfer 388004 390584 schreiben 390584 390724 ich 390724 390884 kann 390884 391004 dir 391004 391324 hinten 391324 391624 irgend 391624 391884 eine 391884 392364 Aussage 392364 392504 in 392504 392764 meiner 392764 393184 Sprache 393184 394044 hinschreiben 394044 394404 hiervon 394404 394664 sogar 394664 394964 gab 394964 395064 es 395064 395524 Leerzeichen 395524 395744 Kette 395744 396564 eingeben 396564 396704 weil 396704 396784 ich 396784 396984 diese 396984 397524 syntaktische 397524 397864 Prüfung 397864 398704 habe 398833 399193 es 399193 399453 egal 399453 399633 was 399633 399753 ich 399753 399873 hier 399873 400553 mache 400553 400813 sieht 400813 400973 man 400973 401393 nun 401393 401653 diese 401653 402333 Funktion 402333 402653 dieses 402653 403533 Programm 403533 403813 muss 403813 404053 immer 404053 404933 hinten 404933 405153 ins 405153 405553 Programm 405553 405753 kann 405753 405913 nicht 405913 406353 endlos 406353 407193 laufen 407193 407333 es 407333 407613 läuft 407613 407873 ?? 407873 408173 sehr 408173 408913 lang 408913 409173 aber 409173 409313 es 409313 409533 muss 409533 410033 irgendwann 410033 410713 enden 410713 411053 wir 411053 411453 keine 411453 411993 Schleife 411993 412893 eingebaut 412893 413113 die 413113 413273 ?? 413273 413653 Probleme 413653 413953 machen 413953 414273 könnte 414273 414693 selbst 414693 414933 diese 414933 415433 Schleife 415433 415993 hier 415993 416193 ist 416193 416513 irgendwann 416513 417193 beendet 417193 417293 ich 417293 417453 gehe 417453 417813 jede 417813 418453 Formel 418453 418573 in 418573 418733 diesem 418733 419213 Beweis 419213 419513 durch 419513 419733 eine 419733 420033 Liste 420033 420233 von 420233 420813 Formen 420813 421093 dessen 421093 421393 endlich 421393 422013 viele 422013 422193 auch 422193 422413 diese 422413 422773 Schleife 422773 422953 wird 422953 423373 irgendwann 423373 424233 enden 424233 424573 also 424573 424813 diese 424813 425373 Funktion 425373 425753 endet 425753 428073 immer 428202 428602 das 428602 428882 gibt 428882 429582 einem 429582 429842 eine 429842 430142 gute 430142 430462 Idee 430462 430702 was 430702 430862 denn 430862 431042 eine 431042 431742 mathematische 431742 432222 Theorie 432222 432882 ist 432882 433042 im 433042 433462 üblichen 433462 434342 Sinne 434342 434502 das 434502 434702 muss 434702 434842 man 434842 435222 eigentlich 435222 435522 jetzt 435522 435902 genauer 435902 436362 sagen 436362 436942 aber 436942 437062 die 437062 437622 mathematischen 437622 438022 Theorien 438022 438202 im 438202 438602 üblichen 438602 438902 Sinne 438902 439142 sind 439142 439422 die 439422 439662 von 439662 439942 dieser 439942 441062 Art 441062 441762 insbesondere 441762 441962 kann 441962 442062 ich 442062 442462 dafür 442462 442622 so 442622 442782 ein 442782 443182 Beweis 443182 443382 früh 443382 445742 verschreiben 445742 445882 kann 445882 446002 man 446002 446182 sich 446182 446782 überlegen 446782 447062 was 447062 447462 wollen 447462 447622 wir 447622 448082 eigentlich 448082 448242 von 448242 448382 so 448382 448622 einer 448622 449882 Theorie 449882 450122 sind 450122 450762 grundlegende 450762 451942 Eigenschaften 451942 452062 die 452062 452242 man 452242 452662 verlangen 452662 454402 könnte 454402 454582 und 454582 454742 was 454742 454862 man 454862 455022 sich 455022 455382 anguckt 455382 455602 ist 455602 455962 einmal 455962 456362 die 456362 458142 Konsistenz 458142 458382 also 458382 458522 wenn 458522 458642 man 458642 458742 so 458742 458882 will 458882 459122 die 459122 461062 Widerspruchsfreiheit 461062 461302 und 461302 461562 einmal 461562 461782 die 461782 462882 Vollständigkeit 462882 463042 jetzt 463042 463322 Komma 463322 463462 den 463462 464082 Begriff 464082 465362 Unvollständigkeitssätze 465362 465542 schon 465542 466102 allmählich 466102 467862 nahe 467862 469402 Konsistenz 469402 470742 Widerspruchsfreiheit 470742 471042 hast 471042 472102 folgendes 472102 472322 wenn 472322 472482 es 472482 472722 einen 472722 473322 Beweis 473322 474582 gibt 474582 474802 schon 474802 474922 ein 474922 475702 Beweisprüfer 475702 476562 geschrieben 476562 476962 können's 476962 477322 überlegen 477322 477522 gibt 477522 477642 es 477642 477762 für 477762 478082 irgendwas 478082 478262 ein 478262 479142 Beweis 479142 479602 angenommen 479602 479742 es 479742 480102 gibt 480102 480362 einen 480362 481222 Beweis 481222 481462 für 481462 481702 eine 481702 482322 Aussage 482322 482942 A 482942 483182 dann 483182 483602 heißt 483602 485362 Widerspruchsfreiheit 485362 485542 es 485542 485802 darf 485802 486102 kein 486102 486622 Beweis 486622 486782 für 486782 486942 das 486942 487422 Gegenteil 487422 488262 geben 488262 488582 egal 488582 488802 welche 488802 489282 Aussage 489282 489502 das 489502 490922 war 490922 491162 was 491162 491302 ist 491302 491522 also 491522 493142 Inkonsistenz 493142 493582 das heißt 493582 493662 die 493662 494262 Konsistenz 494262 494422 ist 494422 495302 verletzt 495302 495422 ich 495422 495662 habe 495662 495902 eine 495902 496382 Aussage 496382 497042 A 497042 497562 irgendwo 497562 497742 die 497742 498242 beweisen 498242 498782 kann 498782 498942 und 498942 499062 auch 499062 499242 das 499242 499642 Gegenteil 499642 499922 davon 499922 500102 kann 500102 500202 ich 500202 501822 beweisen 501822 502082 eine 502082 502642 Aussage 502642 503382 A 503382 504622 irgendeine 504622 504922 wich 504922 505062 ein 505062 505482 Beweis 505482 505702 für 505702 505922 A 505922 507042 selbst 507042 507622 und 507622 507802 auch 507802 508002 noch 508002 508402 einen 508402 508542 für 508542 508702 das 508702 510142 Gegenteil 510142 510382 im 510382 510902 Anschluss 510902 511262 gegen 511262 511482 den 511482 512002 indirekten 512002 512442 Beweis 512442 512782 dabei 512782 513542 hat 513542 513722 als 513722 513862 das 513862 514202 sofort 514202 514362 das 514362 514642 alles 514642 515242 beweisbar 515242 515462 ist 515462 516102 insbesondere 516102 516322 das 516322 516542 nur 516542 516842 gleich 516842 517322 eins 517322 517742 Beweis 517742 518922 weiß 518922 519122 und 519122 519222 wenn 519222 519302 der 519302 519762 indirekte 519762 520162 Beweis 520162 520622 erlaubt 520622 520922 ist 520922 521082 kann 521082 521362 ich 521362 521542 mit 521542 521802 diesem 521802 522102 einen 522102 522502 einzigen 522502 523422 Widerspruch 523422 523742 alles 523742 525322 begründen 525322 525502 was 525502 525602 sie 525602 525962 daraus 525962 526402 schon 526402 526662 wir 526662 527002 wollen 527002 527842 unbedingt 527842 528062 eine 528062 528762 konsistente 528762 529762 Theorie 529762 529982 eine 529982 530682 inkonsistente 530682 531082 Theorie 531082 531282 ist 531282 531442 nicht 531442 531682 allzu 531682 533382 hilfreich 533382 533522 die 533522 533882 zweite 533882 534282 wichtige 534282 535562 Eigenschaft 535562 537562 Vollständigkeit 537562 537702 die 537702 538442 Vollständigkeit 538442 538602 ist 538602 539182 sozusagen 539182 539242 die 539242 539942 Konsistenz 539942 540462 rückwärts 540462 541262 gedacht 541262 541522 wenn 541522 541902 ich 541902 542342 kein 542342 543062 Beweis 543062 543202 für 543202 543382 eine 543382 543862 bestimmte 543862 544402 Aussage 544402 545122 habe 545122 545302 dann 545302 545502 muss 545502 545702 sich 545702 545902 ein 545902 546582 Beweis 546582 546782 für 546782 546962 das 546962 547462 Gegenteil 547462 548562 haben 548562 549682 Unvollständigkeit 549682 550002 heißt 550002 550942 also 550942 551122 ich 551122 551362 habe 551362 551642 eine 551642 552602 Aussage 552602 552782 die 552782 553042 nicht 553042 553602 beweisbar 553602 554222 ist 554222 554382 und 554382 554522 das 554522 554982 Gegenteil 554982 555162 ist 555162 555402 auch 555402 555602 nicht 555602 556182 beweisbar 556182 556582 das heißt 556582 556662 die 556662 557182 Aussage 557182 557462 ist 557462 557822 weder 557822 558422 beweisbar 558422 558702 noch 558702 559462 widerlegbar 561913 562293 darum 562293 562493 geht 562493 562613 es 562613 563333 natürlich 563333 563833 zumindest 563833 564013 beim 564013 564473 ersten 564473 566913 Unvollständigkeitssatz 566913 567093 der 567093 567433 erste 567433 568413 Unvollständigkeitssatz 568413 568993 sagt 568993 569213 wenn 569213 569313 die 569313 569673 Theorie 569673 570513 konsistent 570513 571353 ist 571353 571533 dann 571533 571693 ist 571693 571833 sie 571833 573353 unvollständig 573353 573513 ich 573513 573793 kriege 573793 574033 also 574033 574233 diese 574233 574493 beiden 574493 574813 schönen 574813 575653 Eigenschaften 575653 576453 Konsistenz 576453 576633 und 576633 577613 Vollständigkeit 577613 578113 nicht 578113 579433 zusammen 579433 579633 und 579633 579733 der 579733 580133 zweite 580133 581333 Unvollständigkeitssatz 581333 582413 sagt 582413 582573 wenn 582573 582673 ich 582673 582773 die 582773 583493 Konsistenz 583493 584013 innerhalb 584013 584273 meiner 584273 584613 Theorie 584613 585113 beweisen 585113 585993 kann 585993 586193 dann 586193 586333 ist 586333 586433 die 586433 586893 Theorie 586893 588533 inkonsistent 588533 588713 mit 588713 588953 anderen 588953 589873 Worten 589873 590073 wenn 590073 590293 eine 590293 590733 Theorie 590733 591153 ihre 591153 592333 Widerspruchsfreiheit 592333 592713 selber 592713 593173 beweisen 593173 593753 kann 593753 594473 dann 594473 594673 die 594673 595283 Theorie 596867 597367 wichtige 597367 598507 Fußnote 598507 598647 die 598647 599307 mathematischen 599307 599787 Theorien 599787 599907 die 599907 600067 man 600067 600207 hier 600207 601047 betrachtet 601047 601867 müssen 601867 603007 stark 603007 603347 groß 603347 603667 genug 603667 604387 sein 604387 604567 die 604567 604907 müssen 604907 605507 hinreichend 605507 605827 viel 605827 606027 von 606027 606147 der 606147 606807 Arithmetik 606807 606907 der 606907 607447 natürlichen 607447 607927 Zahlen 607927 608497 umfassen 610010 610150 ich 610150 610310 muss 610310 610770 bestimmte 610770 611450 Aussagen 611450 611650 über 611650 612150 natürliche 612150 612810 Zahlen 612810 613510 und 613510 614190 Addition 614190 616010 Subtraktionsmultiplikation 616010 616530 beweisen 616530 617630 können 617630 617790 im 617790 618170 Verlauf 618170 618450 selber 618450 618750 gleich 618750 619170 noch 619170 619390 was 619390 619570 das 619570 620310 ist 620310 620590 alles 620590 620810 nichts 620810 621470 besonderes 621470 621730 dessen 621730 622010 Sachen 622010 622090 die 622090 622430 man 622430 623290 erwartet 623290 623490 das 623490 623650 kann 623650 623790 man 623790 624190 freundlich 624190 624310 mit 624310 624410 den 624410 625170 Grundrechenarten 625170 628050 arbeiten 628050 628150 der 628150 628350 Trick 628350 628510 ist 628510 629210 folgender 629210 629430 wenn 629430 629510 die 629510 630030 Theorie 630030 630270 über 630270 630810 natürliche 630810 631290 Zahlen 631290 631610 reden 631610 632110 kann 632110 632310 dann 632310 632490 kann 632490 632610 sie 632610 632810 auch 632810 633070 über 633070 633690 Programme 633690 634090 reden 634090 634710 zumindest 634710 635230 grundlegende 635230 635910 Eigenschaften 635910 636130 von 636130 636670 Programmen 636670 638570 reden 638570 638790 und 638790 639090 eine 639090 639610 einfache 639610 640270 Art 640270 640750 die 640750 641070 beiden 641070 641630 Gödelschen 641630 642710 Unvollständigkeitssätze 642710 642870 zu 642870 643410 beweisen 643410 643650 ist 643650 644130 dann 644130 644370 man 644370 644690 lässt 644690 644990 diese 644990 646270 Theorie 646270 646610 über 646610 647130 Programme 647130 647950 reden 647950 648110 die 648110 648390 Leute 648390 648630 von 648630 648790 dieser 648790 649650 Funktion 649650 649950 ist 649950 650570 Beweis 650570 650990 gebaut 650990 652590 hat 652590 652770 das 652770 653050 gucken 653050 653210 uns 653210 653370 jetzt 653370 655070 an 655070 655310 jetzt 655310 655510 kommt 655510 655630 die 655630 656070 geniale 656070 656410 Idee 656410 656950 von 656950 657970 Gödel 657970 658170 hat 658170 658330 sich 658330 658870 überlegt 658870 659010 wenn 659010 659270 ich 659270 659490 es 659490 660270 schaffe 660270 661670 folgendes 661670 662690 auszudrücken 662690 663230 formal 663230 664160 auszudrücken 666479 666739 eine 666739 667379 Aussage 667379 667539 ich 667539 667739 nenne 667739 667859 sie 667859 668099 mal 668099 668859 gehen 668859 669019 die 669019 670119 besagt 670119 670279 es 670279 670519 gibt 670519 671039 keinen 671039 671999 Beweis 671999 672279 für 672279 672519 diese 672519 673099 Aussage 673099 675239 gehen 675239 675479 wenn 675479 675579 ich 675579 675679 es 675679 675919 schaffe 675919 676079 das 676079 676559 überhaupt 676559 676979 hinzu 676979 677959 schreiben 677959 678239 also 678239 678419 nicht 678419 678559 zu 678559 678919 sagen 678919 679079 ob 679079 679399 die 679399 679599 wahr 679599 679839 oder 679839 680259 falsch 680259 680819 ist 680819 681079 so 681079 681139 ?? 681139 681239 bin 681239 681359 ich 681359 681679 überhaupt 681679 682059 schaffe 682059 682519 dieses 682519 682979 formal 682979 683379 hinzu 683379 683859 schreiben 683859 683979 in 683979 684159 einer 684159 684859 mathematischen 684859 686119 Theorie 686119 686439 dann 686439 686699 muss 686699 687239 irgendwas 687239 687519 ganz 687519 687979 fürchterlich 687979 688539 knirschen 688539 688739 dieser 688739 689339 mathematischen 689339 689819 Theorie 691553 691793 die 691793 692153 Idee 692153 692633 direkter 692633 693093 konkreter 693093 693553 machen 693553 693753 ist 693753 694653 folgende 694653 694893 wenn 694893 695053 es 695053 695253 einen 695253 695613 Beweis 695613 695793 für 695793 695993 G 695993 697293 gibt 697293 697513 dich 697513 697613 ein 697613 697993 Beweis 697993 698753 dafür 698753 698973 dass 698973 699113 es 699113 699453 keinen 699453 699893 Beweis 699893 700073 für 700073 700313 G 700313 701713 gibt 701713 702013 das 702013 702213 wäre 702213 702333 ein 702333 702933 Widerspruch 704547 704647 ?? 704647 704787 ist 704787 704967 ein 704967 705307 Beweis 705307 705447 für 705447 705587 das 705587 706207 Gegenteil 706207 706427 von 706427 706647 G 706647 707107 gibt 707107 707307 als 707307 707427 ein 707427 707807 Beweis 707807 708727 dafür 708727 708947 dass 708947 709087 es 709087 709387 einen 709387 710167 Beweis 710167 711727 gibt 711727 712027 hätte 712027 712367 ich 712367 712827 gebe 712827 714487 Wiesen 714487 714727 aber 714727 715247 gesagt 715247 715387 es 715387 715607 gibt 715607 715907 keinen 715907 716527 Beweis 716527 716787 auch 716787 716907 ein 716907 717477 Widerspruch 719135 719375 stellt 719375 719495 sich 719495 719595 ?? 719595 719995 heraus 719995 720175 man 720175 720375 das 720375 720655 etwas 720655 720995 strenger 720995 721555 betrachtet 721555 721715 ist 721715 721815 es 721815 721975 nicht 721975 722215 ganz 722215 722335 so 722335 723215 einfach 723215 723695 aber 723695 723995 erst 723995 724235 mal 724235 724415 ist 724415 724515 die 724515 725295 Idee 725295 725455 es 725455 725635 kann 725635 725875 weder 725875 725975 die 725975 726415 Aussage 726415 727015 G 727015 727235 noch 727235 727395 das 727395 727855 Gegenteil 727855 728455 beweisbar 728455 729515 sein 729515 729675 und 729675 729975 damit 729975 730135 ist 730135 730335 diese 730335 730995 Theorie 730995 732095 unvollständig 732095 732195 ich 732195 732415 habe 732415 732675 eine 732675 733475 Aussage 733475 733915 sodass 733915 734515 weder 734515 734655 die 734655 735215 Aussage 735215 735455 noch 735455 735495 ?? 735495 736475 Gegenteil 736475 737075 beweisbar 737075 738435 ist 738435 738735 Gödel 738735 738895 hat 738895 739075 das 739075 739395 neunzehn 739395 739595 ein 739595 739975 dreißig 739975 740375 natürlich 740375 740635 noch 740635 740955 ohne 740955 741095 die 741095 741875 Idee 741875 742095 des 742095 742415 heutigen 742415 742915 Computers 742915 744615 gemacht 744615 744755 er 744755 744935 diese 744935 745475 mathematische 745475 745795 Theorie 745795 746335 tatsächliche 746335 746835 natürliche 746835 747335 Zahlen 747335 747915 übersetzte 747915 748635 sogenannte 748635 750675 Gürtellinie 750675 751275 Formeln 751275 751595 werden 751595 751975 zu 751975 752675 monströs 752675 753635 großen 753635 754175 natürlichen 754175 755055 Zahlen 755055 755315 zu 755315 756215 Beweise 756215 756555 werden 756555 756915 zum 756915 757515 monströs 757515 757915 großen 757915 758435 natürlichen 758435 759535 Zahlen 759535 759835 das 759835 759975 aus 759975 760395 heutiger 760395 761035 Sicht 761035 761635 etwas 761635 763355 umständlich 763355 763575 was 763575 763675 ich 763675 763835 hier 763835 764215 zeigen 764215 764475 will 764475 764735 ist 764735 765095 eine 765095 765755 Begründung 765755 766055 die 766055 766195 die 766195 766515 Idee 766515 766855 des 766855 767395 Computers 767395 769195 aufgreift 769195 769695 analog 769695 769935 zum 769935 771975 Halteproblemtüren 771975 772035 ?? 772035 772315 neunzehn 772315 772475 hundert 772475 773305 sechsunddreißig 775439 775559 mit 775559 775659 der 775659 776099 Funktion 776099 776199 des 776199 776619 Beweis 776619 776819 von 776819 777159 eben 777159 777479 schreibt 777479 777619 man 777619 777739 ein 777739 778079 neues 778079 778999 Programm 778999 779199 eine 779199 779579 neue 779579 780479 Funktion 780479 780719 nennen 780719 780859 sie 780859 781359 groß 781359 781899 die 781899 782139 für 782139 782879 Gödel 782879 783039 und 783039 783139 sie 783139 783519 liefert 783519 784039 nichts 784039 785399 zurück 785399 785759 nimmt 785759 785959 aber 785959 786159 eine 786159 787539 Zeichenkette 787539 787699 in 787699 787859 den 787859 787959 ich 787959 788139 mal 788139 790199 groß B 790199 790379 der 790379 790619 Job 790619 790759 von 790759 790959 diesem 790959 791679 Programm 791679 792659 groß G 792659 792939 ist 792939 793099 es 793099 793319 ein 793319 793759 Beweis 793759 794019 zu 794019 794919 suchen 794919 795219 ?? 795219 795819 dazu 795819 796319 laufe 796319 796459 ich 796459 796659 alle 796659 797379 Zeichenketten 797379 798019 durch 798019 798219 dieser 798219 798859 Variablen 798859 799839 B 799839 800179 fange 800179 800379 mit 800379 800539 der 800539 800919 leeren 800919 801539 Zeichenkette 801539 802279 an 802279 802539 eine 802539 803659 Schleife 803659 804439 dann 804439 804619 von 804619 804919 innen 804919 805479 abgebrochen 805479 805699 wird 805699 805779 ich 805779 806059 schreibe 806059 806299 jetzt 806299 806459 mein 806459 807059 Endlosschleife 807059 807499 Hinweis 807499 808999 Schulung 808999 809139 ich 809139 809419 möchte 809419 809559 mit 809559 809979 B 809979 810219 alle 810219 810659 möglichen 810659 811579 Beweise 811579 812379 ausprobieren 812379 812759 solange 812759 812979 bis 812979 813119 ich 813119 813379 einen 813379 813859 gefunden 813859 814779 habe 814779 814939 ich 814939 815219 brauche 815219 815359 jetzt 815359 815559 eine 815559 816599 Funktion 816599 816739 die 816739 816859 mir 816859 816999 über 816999 817079 die 817079 817419 nächste 817419 818459 Zeichenkette 818459 818979 liefert 818979 819059 ich 819059 819359 schreibe 819359 819639 mal 819639 820319 BS 820319 820699 gleich 820699 821139 nächster 821139 821979 String 821979 822759 von 822759 823559 B 823559 823779 diese 823779 824279 Funktion 824279 824439 ist 824439 824639 das 824639 825079 trink 825079 825299 soll 825299 825459 so 825459 826359 funktionieren 826359 826559 wenn 826559 826679 ich 826679 826799 mit 826799 826879 der 826879 827479 Zeichenkette 827479 828059 ABC 828059 829279 reingehen 829279 829619 sollte 829619 830259 Zeichenkette 830259 830999 AP 830999 831479 die 831479 833059 rauskommen 833059 833279 wenn 833279 833419 ich 833419 833579 mit 833579 834259 AWD 834259 835299 reingehen 835299 835579 soll 835579 835759 A 835759 836359 B 836359 836699 E 836699 838199 rauskommen 838199 838699 irgendwann 838699 838879 bin 838879 839039 ich 839039 839619 bei 839619 840959 AWZ 840959 841999 angelangt 841999 842119 an 842119 842279 so 842279 842879 rauskommen 842879 843079 A 843079 844199 C 844199 845399 null 845399 845619 als 845619 845959 erblicher 845959 846779 weiterzählen 846779 847219 würde 847219 848599 Z 848599 848899 von 848899 849459 klein Z 849459 849659 wieder 849659 849879 ganz 849879 849999 nach 849999 850439 vorne 850439 850599 das 850599 850739 ist 850739 850799 die 850799 851159 Ziffer 851159 852579 null 852579 852859 und 852859 853059 von 853059 853199 den 853199 853939 B 853939 854139 ein 854139 855179 zweiter 855179 855359 dass 855359 855519 wir 855519 855719 zu 855719 856819 Ceinka 856819 856979 mit 856979 857319 Spatz 857319 857939 NZZ 857939 859499 angelangt 859499 859699 und 859699 859879 das 859879 860059 soll 860059 860239 dann 860239 860699 werden 860699 861539 null 861539 862119 null 862119 862779 null 862779 863959 null 863959 864179 also 864179 864319 wie 864319 864739 Zellen 864739 864839 im 864839 865799 Dezimalsystem 865799 866019 jetzt 866019 866239 aber 866239 866479 nicht 866479 866719 mit 866719 866999 zehn 866999 867419 Ziffern 867419 867759 sondern 867759 867919 mit 867919 868139 allen 868139 868499 möglichen 868499 869079 Buchstaben 869079 869199 die 869199 869319 wir 869319 869699 haben 869699 870199 Beistrich 870199 870319 ?? 870319 870719 Baxter 870719 871359 Buchstaben 871359 871699 sowas 871699 871959 wie 871959 872239 für 872239 872519 alle 872519 872719 und 872719 872879 es 872879 873639 gibt 873639 873819 die 873819 874259 Details 874259 874419 sind 874419 875039 auch 875039 875459 ziemlich 875459 876479 egal 876479 877279 Hauptsache 877279 877479 ich 877479 877839 gehe 877839 878039 alle 878039 878679 Zeichenketten 878679 879239 durch 879239 879659 Fischfang 879659 879799 mit 879799 879879 der 879879 880139 leeren 880139 880759 Zeichenkette 880759 881679 an 881679 881919 und 881919 882039 diese 882039 882559 Funktion 882559 882919 sollte 882919 883259 eine 883259 883499 nach 883499 883599 der 883599 883839 andern 883839 884379 Zeichenkette 884379 885399 liefern 885399 886499 dass 886499 886779 jede 886779 887459 Zeichenkette 887459 887919 hier 887919 888339 erreicht 888339 888599 werden 888599 888879 kann 888879 889039 von 889039 889159 dem 889159 890259 Programm 890259 890479 jetzt 890479 890599 will 890599 890699 ich 890699 891059 wissen 891059 891179 ob 891179 891279 die 891279 891919 Zeichenkette 891919 892319 dieser 892319 892859 aktuell 892859 893119 dran 893119 894459 ist 894459 894659 und 894659 894919 diese 894919 895559 Zeichenkette 895559 895719 ein 895719 896359 Beweis 896359 897059 ist 897059 897339 für 897339 898419 etwas 898419 900139 komplizierteres 900139 900959 wenn 900959 901219 ist 901219 902839 Beweis 902839 903219 dieses 903219 904219 B 904219 904439 ist 904439 904719 dieses 904719 905039 B 905039 905279 ein 905279 905939 Beweis 905939 906119 für 906119 906759 folgendes 906759 908119 Ding 908119 908259 hat 908259 908399 das 908399 908559 jetzt 908559 908679 als 908679 909259 Zeichenkette 909259 909439 in 909439 909599 das 909599 909799 muss 909799 909959 man 909959 910439 dann 910439 910699 nachher 910699 911259 noch 911259 911839 arithmetisch 911839 912659 ausformuliert 912659 913759 später 913759 914099 essbare 914099 915439 Zeichenkette 915439 915759 was 915759 916039 möchte 916039 916139 ich 916139 916679 beweisen 916679 916839 mit 916839 917219 B 917219 917479 für 917479 917839 jede 917839 918199 Zahl 918199 918779 N 918779 919059 läuft 919059 919219 das 919219 919659 Programm 919659 919799 mit 919799 920659 Quelltext 920659 921979 P 921979 922139 den 922139 922259 habe 922259 922339 ich 922339 922639 vorher 922639 924099 eingegeben 924099 924299 und 924299 924439 den 924439 924639 werde 924639 924759 ich 924759 924999 jetzt 924999 925419 hier 925419 925679 im 925679 926139 Original 926139 926759 abdrucken 926759 928099 also 928099 928639 bloß 928639 928859 was 928859 928919 in 928919 929039 der 929039 929779 Variablen 929779 930019 P 930019 930379 drin 930379 931199 steht 931199 931619 und 931619 931859 diesem 931859 932279 Programm 932279 932699 P 932699 932999 gibt's 932999 933299 noch 933299 933499 ein 933499 933999 Argument 933999 934979 mit 934979 935199 das 935199 935479 P 935479 935639 ist 935639 935779 eine 935779 936419 Zeichenkette 936419 936619 ich 936619 936879 gebe 936879 937119 diese 937119 937759 Zeichenkette 937759 938059 auch 938059 938459 als 938459 939019 Argument 939019 939439 mit 939439 939639 den 939639 939979 Wert 939979 940399 willigte 940399 941259 ein 941259 941419 die 941419 941799 Frage 941799 942079 ist 942079 942559 jetzt 942559 942939 läuft 942939 943219 dieses 943219 943799 Programm 943799 944559 mindestens 944559 944959 in 944959 945389 Schritte 947087 947327 wenn 947327 947507 das 947507 947667 der 947667 947907 Fall 947907 948747 ist 948747 949227 beende 949227 949567 ich 949567 949807 mein 949807 950287 Programm 950287 950667 hier 950667 951987 Mütter 951987 952967 und 952967 953227 gehe 953227 953747 also 953747 954407 insbesondere 954407 954667 aus 954667 955227 dieser 955227 955727 scheinbar 955727 956207 endlosen 956207 956807 while-Schleife 956807 958667 raus 958667 959287 so 959287 959507 noch 959507 959767 mal 959767 959927 was 959927 960147 macht 960147 960407 dieses 960407 960967 Programm 960967 961147 diese 961147 961727 Funktion 961727 963507 groß G 963507 963867 geht 963867 964047 alle 964047 964467 möglichen 964467 964967 Beweise 964967 965847 durch 965847 966067 und 966067 966447 sucht 966447 966767 ein 966767 967407 Beweis 967407 967607 für 967607 967827 eine 967827 969147 bestimmte 969147 969487 etwas 969487 969867 schräge 969867 970867 Aussage 970867 971187 wenn 971187 971287 sie 971287 971427 so 971427 971527 ein 971527 971867 Beweis 971867 972407 gefunden 972407 973447 hat 973447 973747 das 973747 974107 Programm 974107 975567 beendet 975567 975927 Mac 975927 976147 einen 976147 976587 Beweis 976587 977087 finden 977087 977387 läuft 977387 977647 dieses 977647 978287 Programm 978287 979407 endlos 979407 979647 auf 979647 979927 dieses 979927 980467 Programm 980467 980687 hat 980687 980927 eine 980927 982067 Chance 982067 982307 auch 982307 982627 nicht 982627 983367 anzuhalten 983367 983787 anders 983787 984407 als 984407 984767 dieses 984767 985167 hier 985167 985467 ist 985467 986147 Beweis 986147 986387 wird 986387 986567 auf 986567 986827 jeden 986827 987027 Fall 987027 987427 halten 987427 987567 es 987567 987727 aber 987727 987887 schon 987887 989407 gesehen 989407 989627 und 989627 989867 wofür 989867 990067 suche 990067 990147 ich 990147 990307 jetzt 990307 990487 ein 990487 991227 Beweis 991227 991367 für 991367 991487 ein 991487 991767 bisschen 991767 992087 schräge 992087 992647 Aussage 992647 994207 hier 994207 994427 ich 994427 994827 nehme 994827 994947 die 994947 996307 Zeichenkette 996307 996587 hier 996587 996807 oben 996807 997307 übergeben 997307 997967 wird 997967 998347 lese 998347 998527 die 998527 998687 als 998687 999867 Quelltext 999867 1000227 stelle 1000227 1000347 mir 1000347 1000527 das 1000527 1001047 Programm 1001047 1001207 mit 1001207 1001367 dem 1001367 1002027 Quelltext 1002027 1002967 vor 1002967 1003167 und 1003167 1003527 gucken 1003527 1003647 an 1003647 1003807 was 1003807 1004507 passiert 1004507 1004867 dieses 1004867 1005347 Programm 1005347 1005487 mit 1005487 1005587 dem 1005587 1006227 Quelltext 1006227 1007427 P 1007427 1007647 dem 1007647 1008067 Gewicht 1008067 1008447 genau 1008447 1008707 diese 1008707 1010707 Zeichenkette 1010707 1011527 gucke 1011527 1011967 läuft 1011967 1012267 das 1012267 1013107 Programm 1013107 1013287 für 1013287 1013587 jede 1013587 1013907 Zahl 1013907 1014447 in 1014447 1015067 mindestens 1015067 1015207 N 1015207 1015807 Schritte 1015807 1016307 besagen 1016307 1016647 läuft 1016647 1016907 dieses 1016907 1017627 Programm 1017627 1018607 endlos 1018607 1018907 hält 1018907 1019107 es 1019107 1019787 nicht 1019787 1020127 egal 1020127 1020227 wie 1020227 1020487 groß 1020487 1020667 das 1020667 1021207 NS 1021207 1021587 deutsches 1021587 1021967 Programm 1021967 1022347 mindestens 1022347 1022467 ein 1022467 1023347 Schritte 1023347 1023607 diese 1023607 1024067 Aussage 1024067 1024427 heißt 1024427 1024647 nichts 1024647 1024967 anders 1024967 1025147 als 1025147 1025287 das 1025287 1025607 Programm 1025607 1025987 hält 1025987 1026307 nicht 1026307 1026607 ?? 1026607 1026767 ich 1026767 1027067 suche 1027067 1027267 ein 1027267 1027807 Beweis 1027807 1028787 dafür 1028787 1029027 dass 1029027 1029147 das 1029147 1030207 Programm 1030207 1030747 P 1030747 1031447 aufgerufen 1031447 1031567 mit 1031567 1031707 dem 1031707 1032187 Argument 1032187 1032767 P 1032767 1033107 nicht 1033107 1033987 hält 1033987 1034167 das 1034167 1034467 ärmliche 1034467 1034767 Missing 1034767 1035107 komisch 1035107 1036107 formuliert 1036107 1036287 der 1036287 1036647 Vergleich 1036647 1036987 klarer 1036987 1037627 sehen 1037627 1037827 was 1037827 1037887 die 1037887 1038447 mathematischen 1038447 1038727 Hürden 1038727 1040147 sind 1040147 1040627 wahrscheinlich 1040627 1040907 müsste 1040907 1041267 man 1041267 1041487 das 1041487 1041707 ganze 1041707 1041847 noch 1041847 1042127 streng 1042127 1042307 zu 1042307 1042627 machen 1042627 1043207 hier 1043207 1044087 Backslash 1044087 1044427 doppelt 1044427 1045487 Anführungszeichen unten 1045487 1045647 und 1045647 1046087 hier 1046087 1046467 Backslash 1046467 1046747 doppelt 1046747 1047047 einfach 1047047 1047447 sein 1047447 1048127 Schreiben 1048127 1048287 hier 1048287 1049147 genauso 1049147 1049447 um 1049447 1050067 klarzumachen 1050067 1050287 wo 1050287 1050487 diese 1050487 1051067 Zeichenkette 1051067 1051547 P 1051547 1051907 jeweils 1051907 1052607 aufhört 1052607 1053167 ?? 1053167 1053347 ich 1053347 1053487 für 1053487 1053707 sich 1053707 1053927 ganz 1053927 1055547 übertragen 1055547 1055707 und 1055707 1055847 der 1055847 1056187 Text 1056187 1056967 hier 1056967 1057127 der 1057127 1057287 muss 1057287 1057707 natürlich 1057707 1057807 in 1057807 1058407 Arithmetik 1058407 1058927 übersetzt 1058927 1059907 werden 1059907 1060807 plusminus 1060807 1061667 mal 1061667 1061887 denn 1061887 1062007 ich 1062007 1062587 verlange 1062587 1062827 das 1062827 1063087 meine 1063087 1063947 Theorie 1063947 1064167 von 1064167 1064267 der 1064267 1064767 Arithmetik 1064767 1065207 natürlicher 1065207 1065767 Zahlen 1065767 1066127 reden 1066127 1066967 kann 1066967 1067187 nicht 1067187 1067567 gesagt 1067567 1067667 sie 1067667 1067867 soll 1067867 1068087 von 1068087 1068567 Programm 1068567 1068887 reden 1068887 1069707 kann 1069707 1069907 das 1069907 1070107 Kung 1070107 1070227 und 1070227 1070587 später 1070587 1071067 an 1071067 1071667 offensichtlich 1071667 1071847 wird 1071847 1071987 es 1071987 1072367 irgendwie 1072367 1072787 geht 1072787 1072967 ich 1072967 1073187 kann 1073187 1073507 dieses 1073507 1073727 hier 1073727 1073827 in 1073827 1074107 plus 1074107 1074447 minus 1074447 1075327 mal 1075327 1075847 unnatürliche 1075847 1076247 Zahlen 1076247 1078327 übersetzen 1078327 1078527 mein 1078527 1078947 Programm 1078947 1079527 gehen 1079527 1080007 sucht 1080007 1080327 also 1080327 1080607 einen 1080607 1081167 Beweis 1081167 1082167 dafür 1082167 1082327 dass 1082327 1082487 das 1082487 1083267 Programm 1083267 1083827 P 1083827 1084527 aufgerufen 1084527 1084707 mit 1084707 1084927 dem 1084927 1085567 Argument 1085567 1086167 P 1086167 1086507 nicht 1086507 1087507 hält 1087507 1087727 und 1087727 1088027 keinen 1088027 1088367 Beweis 1088367 1088847 gefunden 1088847 1089507 wird 1089507 1089807 läuft 1089807 1091287 geendet 1091287 1091527 wenn 1091527 1091647 ein 1091647 1092007 Beweis 1092007 1092447 gefunden 1092447 1093267 wird 1093267 1093607 endet 1093607 1094647 gehen 1094647 1094847 und 1094847 1095047 jetzt 1095047 1095247 kommt 1095247 1095387 was 1095387 1095667 kommen 1095667 1096787 muss 1096787 1097187 Anruf 1097187 1097367 diese 1097367 1098487 Funktion 1098487 1098627 mit 1098627 1098907 ihrem 1098907 1099367 eigenen 1099367 1099987 Quelltext 1099987 1101127 auf 1101127 1101367 als 1101367 1101767 Ehemann 1101767 1101927 nicht 1101927 1102007 die 1102007 1102767 Funktion 1102767 1104087 aufrufen 1104087 1104267 und 1104267 1104587 ihr 1104587 1104887 ihren 1104887 1105287 eigenen 1105287 1105827 Quelltext 1105827 1105947 als 1105947 1106507 Zeichenkette 1106507 1108287 übergeben 1108287 1108547 zwei 1108547 1108927 mögliche 1108927 1110067 Fälle 1110067 1110367 Fall 1110367 1111127 eins 1111127 1111307 es 1111307 1111547 gibt 1111547 1111687 den 1111687 1112107 Beweis 1112107 1112307 den 1112307 1112427 wir 1112427 1113667 suchen 1113667 1114187 nämlich 1114187 1114387 dass 1114387 1114567 für 1114567 1114747 alle 1114747 1115147 Zahlen 1115147 1116167 ähm 1116167 1116547 dieses 1116547 1117267 Programm 1117267 1117487 mit 1117487 1117727 seinem 1117727 1118007 eigenen 1118007 1118567 Quelltext 1118567 1119247 aufgerufen 1119247 1119747 mindestens 1119747 1119887 ein 1119887 1120167 Schritte 1120167 1120707 läuft 1120707 1120907 wir 1120907 1121207 sagen 1121207 1121427 nicht 1121427 1123007 hält 1123007 1123267 Fall 1123267 1123987 zwei 1123987 1124147 es 1124147 1124327 gibt 1124327 1124667 keinen 1124667 1125047 solchen 1125047 1127067 Beweis 1127067 1127467 Leerschritt 1127467 1127567 ?? 1127567 1127747 gar 1127747 1127887 nicht 1127887 1128347 ausführlich 1128347 1129147 in 1129147 1129347 der 1129347 1129847 unten 1129847 1130027 kommt 1130027 1130427 dasselbe 1130427 1131507 hinwiederum 1131507 1131807 wenn 1131807 1131967 es 1131967 1132147 einen 1132147 1132667 Beweis 1132667 1133307 gibt 1133307 1133527 für 1133527 1133747 diese 1133747 1135167 Aussage 1135167 1135387 dann 1135387 1135767 wird 1135767 1136067 G 1136067 1136387 von 1136387 1136627 G 1136627 1137347 haltenden 1137347 1137847 besuchen 1137847 1137967 ja 1137967 1138487 genauso 1138487 1138747 einen 1138747 1140747 Beweis 1140747 1140947 nach 1140947 1141347 endlich 1141347 1141647 vielen 1141647 1142187 Schritten 1142187 1142367 ist 1142367 1142507 mein 1142507 1142907 Programm 1142907 1143087 zu 1143087 1143787 Ende 1143787 1143967 kann 1143967 1144367 jeden 1144367 1144907 einzelnen 1144907 1145327 Schritt 1145327 1145867 aber 1145867 1146087 mit 1146087 1146587 Beweisen 1146587 1147627 nachvollziehen 1147627 1147887 diese 1147887 1148347 Variable 1148347 1149007 soundsoviel 1149007 1149287 ist 1149287 1149427 ist 1149427 1149647 diese 1149647 1150047 Variante 1150047 1150807 soundsoviel 1150807 1150907 und 1150907 1151047 hier 1151047 1151187 wird 1151187 1151367 was 1151367 1151627 drauf 1151627 1152087 addiert 1152087 1152687 und so weiter 1152687 1154507 und so weiter 1154507 1154727 falls 1154727 1154827 Sie 1154827 1155087 dies 1155087 1155567 Programm 1155567 1155847 Schritt 1155847 1155987 für 1155987 1156487 Schritt 1156487 1156947 nach 1156947 1157187 als 1157187 1157707 Beweis 1157707 1157847 und 1157847 1158147 habe 1158147 1158407 dann 1158407 1158607 ein 1158607 1159067 Beweis 1159067 1159747 dafür 1159747 1159987 dass 1159987 1160107 es 1160107 1161667 hält 1161667 1162027 also 1162027 1162247 ein 1162247 1162667 Beweis 1162667 1163407 dafür 1163407 1163727 das 1163727 1164627 nicht 1164627 1165027 für 1165027 1165307 alle 1165307 1165607 N 1165607 1165787 das 1165787 1166247 Programm 1166247 1166747 mindestens 1166747 1166927 ein 1166927 1167227 Schritte 1167227 1168547 läuft 1168547 1168767 Punkt 1168767 1169047 damit 1169047 1169207 habe 1169207 1169327 ich 1169327 1169487 eine 1169487 1170687 Inkonsistenz 1170687 1170927 wenn 1170927 1171067 es 1171067 1171267 einen 1171267 1171947 Beweis 1171947 1172747 gäbe 1172747 1173107 dafür 1173107 1173307 dass 1173307 1173467 das 1173467 1174187 Programm 1174187 1174487 für 1174487 1174707 alle 1174707 1174947 ähm 1174947 1175347 mindestens 1175347 1175467 in 1175467 1175707 Schritte 1175707 1176587 läuft 1176587 1176807 könnte 1176807 1176907 ich 1176907 1177087 einen 1177087 1177507 Beweis 1177507 1178807 finden 1178807 1179027 das 1179027 1179167 ist 1179167 1179547 nicht 1179547 1179727 für 1179727 1179987 alle 1179987 1180387 ähm 1180387 1180807 mindestens 1180807 1180947 ein 1180947 1181187 Schritte 1181187 1181887 läuft 1181887 1182067 ich 1182067 1182287 hätte 1182287 1182507 eine 1182507 1185107 Inkonsistenz 1185107 1185607 anzugucken 1185607 1185747 und 1185747 1185867 den 1185867 1186327 zweiten 1186327 1186587 Fall 1186587 1187407 an 1187407 1187847 angenommen 1187847 1187967 es 1187967 1188147 gibt 1188147 1188547 keinen 1188547 1188987 Beweis 1188987 1190027 dafür 1190027 1190267 dass 1190267 1190447 für 1190447 1190667 alle 1190667 1191167 N 1191167 1191447 das 1191447 1191847 Programm 1191847 1192287 mindestens 1192287 1192427 in 1192427 1192687 Schritte 1192687 1193747 läuft 1193747 1194387 das heißt 1194387 1194587 mein 1194587 1194927 Programm 1194927 1195207 wird 1195207 1195487 nicht 1195487 1196027 fündig 1196027 1196547 ersuchte 1196547 1196727 nach 1196727 1196927 diesem 1196927 1197387 Beweis 1197387 1197567 mein 1197567 1197947 Programm 1197947 1198247 wird 1198247 1198547 nicht 1198547 1199067 fündig 1199067 1199267 es 1199267 1199867 läuft 1199867 1200387 endlos 1200387 1200727 lange 1200727 1200867 es 1200867 1201227 hält 1201227 1203027 nicht 1203027 1203247 S 1203247 1203447 kann 1203447 1203587 ich 1203587 1203747 mit 1203747 1204867 Beweisen 1204867 1205107 wieder 1205107 1205367 Schritt 1205367 1205527 für 1205527 1205847 Schritt 1205847 1207567 nachvollziehen 1207567 1207747 aber 1207747 1208187 natürlich 1208187 1208407 nicht 1208407 1208747 unendlich 1208747 1208967 viele 1208967 1209487 Schritte 1209487 1209727 für 1209727 1210147 endlich 1210147 1210387 viele 1210387 1210787 Schritte 1210787 1211027 kann 1211027 1211147 ich 1211147 1211887 hier 1211887 1212067 mit 1212067 1212647 Beweisen 1212647 1213267 nachvollziehen 1213267 1213447 das 1213447 1213567 man 1213567 1214067 Programm 1214067 1214307 immer 1214307 1214447 noch 1214447 1214707 nicht 1214707 1215207 gehalten 1215207 1216567 hat 1216567 1216847 also 1216847 1217107 finde 1217107 1217227 ich 1217227 1217407 für 1217407 1217847 jede 1217847 1218407 natürliche 1218407 1218907 Zahl 1218907 1219807 N 1219807 1220047 ein 1220047 1220987 Beweis 1220987 1221167 das 1221167 1221247 es 1221247 1221407 nach 1221407 1221687 den 1221687 1222027 Schritten 1222027 1222267 immer 1222267 1222427 noch 1222427 1222627 nicht 1222627 1223247 angehalten 1223247 1223447 hat 1223447 1223667 das 1223667 1224287 es 1224287 1224587 also 1224587 1225187 mindestens 1225187 1225367 ein 1225367 1225687 Schritte 1225687 1227487 läuft 1227487 1227787 genau 1227787 1227987 was 1227987 1228087 ich 1228087 1228247 hier 1228247 1228967 überall 1228967 1229227 grün 1229227 1229787 eingerahmt 1229787 1231587 habe 1231587 1231727 und 1231727 1231947 jetzt 1231947 1232087 wird 1232087 1232247 das 1232247 1232507 ganze 1232507 1232767 etwas 1232767 1233727 subtil 1233727 1233927 hier 1233927 1234227 oben 1234227 1234807 steht 1234807 1234987 ich 1234987 1235207 habe 1235207 1235327 ein 1235327 1235787 Beweis 1235787 1236467 für 1236467 1236647 die 1236647 1237247 Aussage 1237247 1237547 für 1237547 1238347 alle 1238347 1238507 Bild 1238507 1238667 das 1238667 1239767 Grüne 1239767 1240027 und 1240027 1240107 die 1240107 1240467 unten 1240467 1240707 habe 1240707 1241587 ich 1241587 1241887 für 1241887 1243327 alle 1243327 1243547 gibt 1243547 1243687 es 1243687 1243847 einen 1243847 1244247 Beweis 1244247 1244387 für 1244387 1244587 das 1244587 1244967 grüne 1244967 1245187 das 1245187 1245627 sind 1245627 1246087 zwei 1246087 1246707 paar 1246707 1247087 Schuhe 1247089 1247529 das 1247529 1247749 muss 1247749 1247949 nicht 1247949 1248289 unbedingt 1248289 1248689 dasselbe 1248689 1249829 sein 1249829 1250189 Beginn 1250189 1250369 jetzt 1250369 1250529 so 1250529 1251989 vor 1251989 1252189 wenn 1252189 1252329 es 1252329 1252649 keinen 1252649 1253109 Beweis 1253109 1253289 für 1253289 1253609 diese 1253609 1254249 Aussage 1254249 1255249 gibt 1255249 1255409 und 1255409 1255509 ich 1255509 1255629 die 1255629 1256629 Vollständigkeit 1256629 1258209 annehme 1258209 1258889 vorgemerkt 1258889 1259729 wenn 1259729 1259829 ich 1259829 1259929 die 1259929 1260709 Vollständigkeit 1260709 1261889 annehme 1261889 1262069 dann 1262069 1262289 muss 1262289 1262429 es 1262429 1262609 ein 1262609 1263029 Beweis 1263029 1263169 für 1263169 1263349 das 1263349 1263929 Gegenteil 1263929 1264909 geben 1264909 1265269 also 1265269 1265729 nicht 1265729 1265949 für 1265949 1266209 alle 1266209 1267009 N 1267009 1267349 gibt 1267349 1267969 es 1267969 1270309 und so weiter 1270309 1270449 und 1270449 1270629 das 1270629 1270769 sieht 1270769 1271129 schräg 1271129 1272089 aus 1272089 1272269 für 1272269 1272509 alle 1272509 1273089 Türchenzahlen 1273089 1273349 ähm 1273349 1273549 kann 1273549 1273649 ich 1273649 1273769 die 1273769 1274049 grüne 1274049 1274529 Aussage 1274529 1276049 beweisen 1276049 1276769 gleichzeitig 1276769 1276989 kann 1276989 1277089 ich 1277089 1278109 beweisen 1278109 1278409 dass 1278409 1278669 diese 1278669 1279389 Aussage 1279389 1279729 nicht 1279729 1279929 für 1279929 1280129 alle 1280129 1280389 N 1280389 1280649 auch 1280649 1282009 Geld 1282009 1282229 da 1282229 1282429 muss 1282429 1282609 was 1282609 1282909 krumm 1282909 1284169 sein 1284169 1284369 das 1284369 1284529 nennt 1284529 1284869 Gödel 1284869 1285089 eine 1285089 1285609 Omega 1285609 1287449 Inkonsistenz 1287449 1287589 es 1287589 1287729 ist 1287729 1287969 nicht 1287969 1288409 direkt 1288409 1288569 ein 1288569 1289469 Widerspruch 1289469 1289649 es 1289649 1289869 ist 1289869 1290729 keine 1290729 1291069 echte 1291069 1292889 Inkonsistenz 1292889 1293069 ist 1293069 1293229 eine 1293229 1293949 Inkonsistenz 1293949 1294089 im 1294089 1294609 unendlichen 1294609 1295769 sozusagen 1295769 1295969 für 1295969 1296329 jede 1296329 1296669 endliche 1296669 1296929 Zahl 1296929 1297289 N 1297289 1297449 kann 1297449 1297569 ich 1297569 1297969 die 1297969 1298269 grüne 1298269 1298729 Aussage 1298729 1299789 beweisen 1299789 1299929 ich 1299929 1300169 kann 1300169 1300329 auch 1300329 1300849 beweisen 1300849 1300969 dass 1300969 1301089 die 1301089 1301349 grüne 1301349 1302329 Aussage 1302329 1302709 nicht 1302709 1302909 für 1302909 1303109 alle 1303109 1303289 N 1303289 1304189 gilt 1304189 1304369 das 1304369 1304509 kann 1304509 1304629 man 1304629 1304769 sich 1304769 1305769 denken 1305769 1306509 Punkt 1306509 1306689 wie 1306689 1306889 kann 1306889 1307109 das 1307109 1307849 sein 1307849 1308029 das 1308029 1308209 kann 1308209 1308409 so 1308409 1308749 sein 1308749 1308929 dass 1308929 1309189 diese 1309189 1309689 Enz 1309689 1309909 von 1309909 1310089 den 1310089 1310369 meine 1310369 1311069 Theorie 1311069 1311989 redet 1311989 1312269 dass 1312269 1312529 diese 1312529 1313209 Enns 1313209 1313729 unendlich 1313729 1314069 groß 1314069 1315409 sind 1315409 1315649 gibt 1315649 1315789 es 1315789 1315909 in 1315909 1316169 meiner 1316169 1316689 Theorie 1316689 1317209 unendlich 1317209 1317529 große 1317529 1317929 Zahlen 1317929 1318229 dies 1318229 1318489 nicht 1318489 1319489 erfüllen 1319489 1319689 man 1319689 1320049 sieht 1320049 1320369 das 1320369 1320669 plötzlich 1320669 1320929 ziemlich 1320929 1321569 philosophisch 1321569 1321789 dass 1321789 1321889 es 1321889 1322049 sich 1322049 1322189 aber 1322189 1322669 trotzdem 1322669 1322929 alles 1322929 1323269 noch 1323269 1323849 mathematisch 1323849 1323989 mit 1323989 1324189 Hand 1324189 1324289 und 1324289 1324889 Fuß 1324889 1325929 hinschreiben 1325929 1326169 was 1326169 1326309 haben 1326309 1326409 wir 1326409 1326569 also 1326569 1328169 zusammengenommen 1328169 1328309 im 1328309 1328689 ersten 1328689 1329289 Fall 1329289 1329589 habe 1329589 1331009 Inkonsistenz 1331009 1331109 im 1331109 1331549 zweiten 1331549 1332369 Fall 1332369 1332689 haben 1332689 1333129 wir 1333129 1333389 wenn 1333389 1333529 wir 1333529 1334389 Vollständigkeit 1334389 1335109 haben 1335109 1335509 obiger 1335509 1336849 Inkonsistenz 1336849 1337089 das 1337089 1337829 ergibt 1337829 1338049 den 1338049 1338409 ersten 1338409 1339889 Unvollständigkeitssatz 1339889 1340089 wie 1340089 1340189 in 1340189 1340549 Gödel 1340549 1340729 ein 1340729 1340829 ?? 1340829 1341249 formuliert 1341249 1342269 hat 1342269 1342569 aus 1342569 1343449 Omega 1343449 1344849 Konsistenz 1344849 1345869 also 1345869 1346109 wenn 1346109 1346489 keine 1346489 1347049 Omega 1347049 1347789 Inkonsistenz 1347789 1348329 vorliegt 1348329 1348569 aus 1348569 1348969 obiger 1348969 1350109 Konsistenz 1350109 1350409 folgt 1350409 1350529 die 1350529 1352949 Unvollständigkeit 1352949 1353109 wenn 1353109 1353229 ich 1353229 1353449 das 1353449 1353609 hier 1353609 1355169 verbiete 1355169 1355409 kann 1355409 1355689 meine 1355689 1356129 Theorie 1356129 1356349 nicht 1356349 1356889 vollständig 1356889 1357749 sein 1357749 1357949 das 1357949 1358089 es 1358089 1358209 noch 1358209 1358409 nicht 1358409 1358709 ganz 1358709 1358829 der 1358829 1359209 übliche 1359209 1360349 Unvollständigkeitssatz 1360349 1360649 dieses 1360649 1361049 Omega 1361049 1361289 hier 1361289 1361569 nerv 1361569 1361809 noch 1361809 1362649 bisschen 1362649 1362829 da 1362829 1363109 Komma 1363109 1363369 gleich 1363369 1363509 noch 1363509 1365069 drauf 1365069 1365269 was 1365269 1365389 den 1365389 1365769 Beweis 1365769 1365949 vom 1365949 1366289 ersten 1366289 1367509 Unvollständigkeitssatz 1367509 1367729 nach 1367729 1368489 Gödel 1368489 1368669 kann 1368669 1368789 man 1368789 1369249 zumindest 1369249 1369889 anschaulich 1369889 1370069 den 1370069 1370569 zweiten 1370569 1371829 Unvollständigkeitssatz 1371829 1372449 bauen 1372449 1372689 das 1372689 1372989 war 1372989 1373209 wenn 1373209 1373669 die 1373669 1374089 Theorie 1374089 1374289 ihre 1374289 1374609 eigene 1374609 1375289 Konsistenz 1375289 1375849 beweisen 1375849 1376409 kann 1376409 1376649 dann 1376649 1376909 ist 1376909 1377049 sie 1377049 1379109 inkonsistent 1379109 1379269 und 1379269 1379489 guckt 1379489 1379629 sich 1379629 1379769 den 1379769 1380109 Beweis 1380109 1380269 vom 1380269 1380849 ersten 1380849 1382089 Unvollständigkeitssatz 1382089 1382809 an 1382809 1383049 und 1383049 1383809 formalisiert 1383809 1384169 ihn 1384169 1384409 in 1384409 1384549 der 1384549 1384929 Theorie 1384929 1386609 selbst 1386609 1386729 ich 1386729 1386949 nehme 1386949 1387189 diese 1387189 1387769 Begründung 1387769 1387909 im 1387909 1388329 ersten 1388329 1389589 Fall 1389589 1390089 übersetzte 1390089 1390609 das 1390609 1390749 in 1390749 1391229 natürliche 1391229 1392189 Zahlen 1392189 1392369 ein 1392369 1392849 Argument 1392849 1393509 rein 1393509 1393649 in 1393649 1393789 der 1393789 1395089 Arithmetik 1395089 1395329 und 1395329 1395569 sehe 1395569 1396929 dann 1396929 1397069 die 1397069 1397609 Theorie 1397609 1397869 ihre 1397869 1398589 Konsistenz 1398589 1399689 beweist 1399689 1400029 dass 1400029 1400149 sie 1400149 1400409 oben 1400409 1400629 nicht 1400629 1401769 stattfinden 1401769 1401929 denn 1401929 1402069 dann 1402069 1402349 wäre 1402349 1402729 die 1402729 1403069 Theorie 1403069 1403249 ja 1403249 1404609 inkonsistent 1404609 1405409 also 1405409 1405949 indirekter 1405949 1407029 Beweis 1407029 1407569 beweist 1407569 1407669 die 1407669 1408529 Theorie 1408529 1408769 dass 1408769 1408909 es 1408909 1409269 keinen 1409269 1409749 Beweis 1409749 1409909 für 1409909 1410129 diese 1410129 1410609 Aussage 1410609 1411009 gibt 1411009 1411489 in 1411489 1411829 dieser 1411829 1412489 formalisierten 1412489 1412929 Form 1412929 1413129 all 1413129 1413349 das 1413349 1413489 in 1413489 1414029 Arithmetik 1414029 1415609 übersetzt 1415609 1415849 diese 1415849 1416329 Aussage 1416329 1416689 hinten 1416689 1416809 ist 1416809 1416969 aber 1416969 1417209 nichts 1417209 1417589 anderes 1417589 1418289 als 1418289 1418449 es 1418449 1418669 gibt 1418669 1419049 keinen 1419049 1419709 Beweis 1419709 1419909 ich 1419909 1420189 finde 1420189 1420969 kein 1420969 1421129 die 1421129 1421549 Theorie 1421549 1422129 würde 1422129 1422409 unsere 1422409 1422909 Aussage 1422909 1423789 beweisen 1423789 1423969 und 1423969 1424189 unsere 1424189 1424689 Aussage 1424689 1424929 würde 1424929 1425729 sagen 1425729 1425869 es 1425869 1426109 gibt 1426109 1426429 genau 1426429 1426749 dafür 1426749 1427049 keinen 1427049 1427909 Beweis 1427909 1428149 eine 1428149 1429729 Inkonsistenz 1429729 1430009 das 1430009 1430189 ist 1430189 1430269 die 1430269 1430609 Idee 1430609 1430889 hinter 1430889 1431029 dem 1431029 1431509 Beweis 1431509 1431749 vom 1431749 1432249 zweiten 1432249 1433849 Unvollständigkeitssatz 1433849 1434029 der 1434029 1434369 große 1434369 1434789 Ärger 1434789 1435209 ist 1435209 1435429 wie 1435429 1435589 man 1435589 1435869 das 1435869 1436149 jetzt 1436149 1436309 hier 1436309 1436829 alles 1436829 1437069 in 1437069 1437689 Arithmetik 1437689 1438909 übersetzt 1438909 1439049 aber 1439049 1439129 im 1439129 1439469 Prinzip 1439469 1439569 ist 1439569 1439769 klar 1439769 1439989 dass 1439989 1440109 es 1440109 1440369 gehen 1440369 1440719 muss 1443210 1443390 es 1443390 1443570 gibt 1443570 1443670 sie 1443670 1443810 noch 1443810 1443910 ein 1443910 1444290 kleines 1444290 1444870 Ärgernis 1444870 1446090 nämlich 1446090 1446330 das 1446330 1446470 mit 1446470 1446630 der 1446630 1447370 Omega 1447370 1448110 Konsistenz 1448110 1448290 oder 1448290 1449810 Inkonsistenz 1449810 1450010 hier 1450010 1450310 möchte 1450310 1450610 man 1450610 1451010 einfach 1451010 1451710 Konsistenz 1451710 1452050 haben 1452050 1452330 nicht 1452330 1452770 Omega 1452770 1454350 Konsistenz 1454350 1454530 das 1454530 1454710 hat 1454710 1455150 außer 1455150 1455430 ein 1455430 1455610 paar 1455610 1455890 Jahre 1455890 1456270 später 1456270 1457490 hingekriegt 1457490 1457790 neunzehn 1457790 1459370 sechsunddreißig 1459370 1459550 der 1459550 1459730 ist 1459730 1459970 das 1459970 1460350 Omega 1460350 1461750 losgeworden 1461750 1461990 und 1461990 1463210 klein I 1463210 1463670 irgendwann 1463670 1464510 aufgeschrieben 1464510 1465070 inspiriert 1465070 1465250 von 1465250 1465570 anderen 1465570 1466390 Leuten 1466390 1466610 wie 1466610 1466750 man 1466750 1466930 das 1466930 1467270 schön 1467270 1467630 mithilfe 1467630 1467790 von 1467790 1468730 Computerprogrammen 1468730 1469130 zeigen 1469130 1470610 kann 1470610 1471050 Gödel 1471050 1471290 hatte 1471290 1471470 die 1471470 1471870 Idee 1471870 1472410 formal 1472410 1473650 auszudrücken 1473650 1473870 dass 1473870 1474050 man 1474050 1474230 eine 1474230 1474690 bestimmte 1474690 1475630 Aussage 1475630 1475930 nicht 1475930 1476430 beweisen 1476430 1477090 kann 1477090 1477250 und 1477250 1478150 Wasser 1478150 1478350 hat 1478350 1478470 das 1478470 1478750 Ganze 1478750 1478930 noch 1478930 1479490 raffinierter 1479490 1480510 gemacht 1480510 1480710 ich 1480710 1480870 hab 1480870 1481050 das 1481050 1481190 mal 1481190 1481370 so 1481370 1481650 hin 1481650 1481890 eine 1481890 1482550 Aussage 1482550 1483510 eher 1483510 1483630 die 1483630 1484070 folgende 1484070 1485270 sagt 1485270 1485450 für 1485450 1485810 jeden 1485810 1486210 Beweis 1486210 1486650 der 1486650 1487190 Aussage 1487190 1487550 er 1487550 1487750 hatte 1487750 1487990 diese 1487990 1489550 Aussage 1489550 1489870 falls 1489870 1489990 es 1489990 1490190 einen 1490190 1490910 gibt 1490910 1490930 ?? 1490930 1491210 gibt's 1491210 1492270 kein 1492270 1492450 gibt 1492450 1492590 es 1492590 1492790 einen 1492790 1493330 kürzeren 1493330 1493790 Beweis 1493790 1493970 des 1493970 1494830 Gegenteils 1494830 1495070 das 1495070 1495270 ist 1495270 1495410 nun 1495410 1496210 wirklich 1496210 1498250 abgedreht 1498250 1498430 mit 1498430 1498630 anderen 1498630 1498930 Worten 1498930 1499070 wenn 1499070 1499190 ich 1499190 1499330 nach 1499330 1499470 ein 1499470 1499990 Beweis 1499990 1500150 für 1500150 1500450 diese 1500450 1501050 Aussage 1501050 1502270 ersuche 1502270 1502430 und 1502430 1503390 einfinde 1503390 1503570 habe 1503570 1503650 ich 1503650 1504130 vorher 1504130 1504650 schon 1504650 1504930 einen 1504930 1505150 fürs 1505150 1505610 Gegenteil 1505610 1507130 gefunden 1507130 1507250 ?? 1507250 1507610 records 1507610 1507810 wieder 1507810 1507950 nur 1507950 1508150 drauf 1508150 1508290 an 1508290 1508590 diese 1508590 1509090 Aussage 1509090 1510330 formal 1510330 1511830 auszudrücken 1511830 1512070 muss 1512070 1512230 gar 1512230 1512390 nicht 1512390 1512970 entscheiden 1512970 1513110 ob 1513110 1513230 die 1513230 1513470 wahr 1513470 1513690 oder 1513690 1514090 falsch 1514090 1514790 ist 1514790 1514950 es 1514950 1515170 geht 1515170 1515350 schon 1515350 1515610 alles 1515610 1516190 kaputt 1516190 1516970 sozusagen 1516970 1517130 wenn 1517130 1517270 ich 1517270 1517410 aber 1517410 1517770 schaffe 1517770 1518230 das 1518230 1518630 hinzu 1518630 1519070 schreiben 1519070 1519150 in 1519150 1519390 meiner 1519390 1520830 Theorie 1520830 1520990 die 1520990 1521290 DS 1521290 1521710 folgende 1521710 1521870 wenn 1521870 1521990 ich 1521990 1522210 diese 1522210 1522730 Aussage 1522730 1523210 beweisen 1523210 1524190 kann 1524190 1524370 habe 1524370 1524470 ich 1524470 1525630 bewiesen 1525630 1525770 dass 1525770 1525850 sie 1525850 1526030 schon 1526030 1526370 längst 1526370 1526750 ein 1526750 1527170 Beweis 1527170 1527310 des 1527310 1527790 Gegenteils 1527790 1527930 hätte 1527930 1528290 finden 1528290 1528870 müssen 1528870 1529010 ein 1529010 1530330 Widerspruch 1530330 1530650 was 1530650 1530930 wäre 1530930 1531110 wenn 1531110 1531210 ich 1531210 1531470 das 1531470 1532110 Gegenteil 1532110 1532450 hiervon 1532450 1532930 beweisen 1532930 1533150 kann 1533150 1533270 das 1533270 1533510 Schreiben 1533510 1533850 immerhin 1533850 1533990 weil 1533990 1534090 es 1534090 1534650 komplizierter 1534650 1535450 ist 1535450 1535710 was 1535710 1535830 ist 1535830 1535970 das 1535970 1536530 Gegenteil 1536530 1536750 dieser 1536750 1538350 Aussage 1538350 1538650 damit 1538650 1538910 das 1538910 1539050 hier 1539050 1540330 fehlschlägt 1540330 1541290 wenn 1541290 1541930 dann 1541930 1542110 wenn 1542110 1542250 es 1542250 1542450 einen 1542450 1542890 Beweis 1542890 1543650 gibt 1543650 1543910 gibt 1543910 1544050 es 1544050 1544250 einen 1544250 1544630 kürzeren 1544630 1545070 Beweis 1545070 1546030 von 1546030 1546310 damit 1546310 1546590 wenn 1546590 1547210 dann 1547210 1547930 fehlschlägt 1547930 1548250 heißt 1548250 1548410 das 1548410 1548550 ich 1548550 1548730 muss 1548730 1548890 den 1548890 1549390 Windteil 1549390 1550430 erfüllen 1550430 1550690 darf 1550690 1550910 aber 1550910 1551490 den 1551490 1551790 dann 1551790 1552230 Teil 1552230 1552570 nicht 1552570 1553110 erfüllen 1553110 1553610 also 1553610 1553970 es 1553970 1554470 gibt 1554470 1554730 einen 1554730 1555170 Beweis 1555170 1555310 der 1555310 1556570 Aussage 1556570 1556750 aber 1556750 1557510 keinen 1557510 1557990 kürzeren 1557990 1558570 Beweis 1558570 1558750 des 1558750 1559410 Gegenteils 1559410 1560970 dazu 1560970 1561430 angenommen 1561430 1561530 ich 1561530 1561790 könnte 1561790 1562130 das 1562130 1563530 beweisen 1563530 1563710 das 1563710 1564390 Gegenteil 1564390 1564690 von 1564690 1565910 er 1565910 1566090 dann 1566090 1566410 wüsste 1566410 1566530 ich 1566530 1566650 es 1566650 1566990 gibt 1566990 1567190 ein 1567190 1567650 Beweis 1567650 1567910 von 1567910 1568890 R 1568890 1569070 und 1569070 1569410 keinen 1569410 1569850 kürzeren 1569850 1570210 Beweis 1570210 1570350 für 1570350 1570670 nicht 1570670 1570850 eher 1570850 1570990 ich 1570990 1571390 habe 1571390 1571670 aber 1571670 1572130 einen 1572130 1572590 Beweis 1572590 1572790 von 1572790 1573110 nicht 1573110 1574010 er 1574010 1574470 das heißt 1574470 1574690 jeder 1574690 1574990 weiß 1574990 1575190 von 1575190 1575510 nicht 1575510 1575830 er 1575830 1576090 ist 1576090 1576670 mindestens 1576670 1576770 so 1576770 1577070 lang 1577070 1577230 wie 1577230 1577330 der 1577330 1577730 Beweis 1577730 1577950 von 1577950 1578890 R 1578890 1579010 ich 1579010 1579150 hätte 1579150 1579290 auch 1579290 1579410 den 1579410 1579750 Beweis 1579750 1579910 von 1579910 1580190 nicht 1580190 1580370 er 1580370 1580550 schon 1580550 1580950 finden 1580950 1581870 müssen 1581870 1582070 auch 1582070 1582190 ein 1582190 1583710 Widerspruch 1583710 1583870 auf 1583870 1584070 das 1584070 1584250 es 1584250 1584670 leichter 1584670 1584830 zu 1584830 1585670 formatieren 1585670 1585770 ?? 1585770 1586310 Programm 1586310 1586790 ausmacht 1586790 1586950 ?? 1586950 1587510 Training 1587510 1587710 hatte 1587710 1587930 das 1587930 1588070 so 1588070 1588630 ungefähr 1588630 1588830 schon 1588830 1589650 hingeschrieben 1589650 1589790 ich 1589790 1589970 das 1589970 1590150 jetzt 1590150 1591370 mache 1591370 1591590 nun 1591590 1591710 soll 1591710 1591870 das 1591870 1592330 Programm 1592330 1592570 eine 1592570 1593070 Zahl 1593070 1593410 zurück 1593410 1594610 liefern 1594610 1594910 nennt 1594910 1595490 er 1595490 1595750 aber 1595750 1596330 weiterhin 1596330 1596550 eine 1596550 1597610 Zeichenkette 1597610 1599070 annehmen 1599070 1599270 das 1599270 1599670 Programm 1599670 1599890 soll 1599890 1600150 wieder 1600150 1600310 nach 1600310 1600530 einem 1600530 1600990 Beweis 1600990 1601750 suchen 1601750 1601950 einer 1601950 1602490 Variablen 1602490 1602850 B 1602850 1603190 sollte 1603190 1604110 stehen 1604110 1604330 und 1604330 1604550 hier 1604550 1604810 wieder 1604810 1605070 eine 1605070 1605750 Schleife 1605750 1605870 die 1605870 1606510 vielleicht 1606510 1606710 von 1606710 1607010 Ihnen 1607010 1607650 abgebrochen 1607650 1608550 wird 1608550 1608790 eine 1608790 1609330 Schleife 1609330 1609650 die 1609650 1609930 nach 1609930 1610070 dem 1610070 1610470 Beweis 1610470 1611370 sucht 1611370 1611690 oder 1611690 1612150 jetzt 1612150 1612410 immer 1612410 1612650 gleich 1612650 1612790 nach 1612790 1613010 zwei 1613010 1613430 beweisen 1613430 1615330 sucht 1615330 1615610 und 1615610 1615950 zwar 1615950 1616230 gucken 1616230 1616370 wir 1616370 1616710 erst 1616710 1616870 mal 1616870 1617150 ob 1617150 1617490 unser 1617490 1617790 B 1617790 1618550 folgendes 1618550 1620170 beweist 1620170 1620370 das 1620370 1621450 Programm 1621450 1621630 mit 1621630 1622130 Quelltext 1622130 1622350 B 1622350 1622730 diesen 1622730 1623110 Texte 1623110 1624370 eingefügt 1624370 1625150 aufgerufen 1625150 1625330 mit 1625330 1625470 dem 1625470 1625950 Argument 1625950 1626410 P 1626410 1627590 wieder 1627590 1627910 endet 1627910 1628110 mit 1628110 1629070 null 1629070 1629370 ?? 1629370 1629590 es 1629590 1630250 endet 1630250 1630810 hält 1630810 1631030 und 1631030 1631570 endet 1631570 1632130 obendrein 1632130 1632310 noch 1632310 1632530 mit 1632530 1632910 null 1632910 1633110 ein 1633110 1633570 konkreter 1633570 1634450 Wert 1634450 1635530 Krokodilzeichenkette 1635530 1636170 B 1636170 1636570 hierfür 1636570 1636690 ein 1636690 1637150 Beweis 1637150 1638270 ist 1638270 1638430 wenn 1638430 1638590 das 1638590 1638730 der 1638730 1638990 Fall 1638990 1639230 ist 1639230 1639350 für 1639350 1639570 uns 1639570 1640030 raffiniert 1640030 1640810 machen 1640810 1641030 geb 1641030 1641170 ich 1641170 1641470 eins 1641470 1642170 zurück 1642170 1642410 als 1642410 1642510 ich 1642510 1642810 Suche 1642810 1642950 nach 1642950 1643110 ein 1643110 1643790 Beweis 1643790 1644070 ob 1644070 1644370 null 1644370 1645650 rauskommt 1645650 1646410 aus 1646410 1646670 P 1646670 1647190 aufgerufen 1647190 1647350 mit 1647350 1648250 P 1648250 1648410 und 1648410 1648730 gebe 1648730 1648950 dann 1648950 1649110 aus 1649110 1649310 mein 1649310 1649810 Programm 1649810 1650070 er 1650070 1650370 die 1650370 1650730 eins 1650730 1651130 zurück 1651130 1651390 nicht 1651390 1651490 die 1651490 1652750 null 1652750 1652930 dann 1652930 1653910 natürlich 1653910 1654110 das 1654110 1654410 nächste 1654410 1654610 was 1654610 1654710 ich 1654710 1655090 gucke 1655090 1655330 ganz 1655330 1656530 logisch 1656530 1656850 ist 1656850 1657170 dieses 1657170 1657810 B 1657810 1658370 vielleicht 1658370 1658570 ein 1658570 1659010 Beweis 1659010 1660310 dafür 1660310 1660570 dass 1660570 1660730 mein 1660730 1661290 Programm 1661290 1661730 nicht 1661730 1661910 mit 1661910 1662110 null 1662110 1663350 endet 1663350 1663590 alle 1663590 1664110 dasselbe 1664110 1664290 bla 1664290 1664710 Blabla 1664710 1665030 endet 1665030 1665310 nicht 1665310 1665490 mit 1665490 1666270 null 1666270 1666750 das heißt 1666750 1666990 endet 1666990 1667350 gar 1667350 1667950 nicht 1667950 1668330 oder 1668330 1668650 endet 1668650 1668830 mit 1668830 1669030 einer 1669030 1669270 anderen 1669270 1669550 Zahl 1669550 1669770 als 1669770 1670390 null 1670390 1670570 und 1670570 1670730 wenn 1670730 1670970 das 1670970 1671110 der 1671110 1671310 Fall 1671310 1671530 ist 1671530 1671830 gebe 1671830 1671950 ich 1671950 1672410 hier 1672410 1672790 einen 1672790 1673130 null 1673130 1675310 zurück 1675310 1675530 wenn 1675530 1675790 meine 1675790 1676130 Theorie 1676130 1677010 vollständig 1677010 1678110 ist 1678110 1678330 dann 1678330 1678710 muss 1678710 1679010 dieses 1679010 1679490 Programm 1679490 1680050 eher 1680050 1680330 immer 1680330 1681290 halten 1681290 1681450 ich 1681450 1681750 suche 1681750 1681910 nach 1681910 1682190 einem 1682190 1682790 Beweis 1682790 1682990 für 1682990 1683230 eine 1683230 1684110 Aussage 1684110 1684350 und 1684350 1684470 noch 1684470 1684610 ein 1684610 1685010 Beweis 1685010 1685190 für 1685190 1685370 das 1685370 1686630 Gegenteil 1686630 1686850 wenn 1686850 1687090 meine 1687090 1687390 Theorie 1687390 1688050 vollständig 1688050 1688470 ist 1688470 1688810 muss 1688810 1689170 eines 1689170 1689330 von 1689330 1689750 beiden 1689750 1690210 irgendwann 1690210 1690650 gefunden 1690650 1692610 werden 1692610 1692830 und 1692830 1693130 jetzt 1693130 1693470 natürlich 1693470 1693850 derselbe 1693850 1694090 Trick 1694090 1694270 wie 1694270 1694430 bei 1694430 1695130 Gödel 1695130 1695310 ich 1695310 1695610 rufe 1695610 1695870 diese 1695870 1696470 Funktion 1696470 1697210 eher 1697210 1697410 mit 1697410 1697650 ihrem 1697650 1698030 eigenen 1698030 1698650 Quellcode 1698650 1699530 auf 1699530 1699790 und 1699790 1699970 dann 1699970 1700130 wird 1700130 1700310 das 1700310 1700470 hier 1700470 1701010 natürlich 1701010 1701550 gnadenlos 1701550 1702710 Haken 1702710 1703070 bevor 1703070 1703210 ich 1703210 1703310 die 1703310 1703610 eins 1703610 1704690 zurückgebe 1704690 1704910 habe 1704910 1704990 ich 1704990 1705190 schon 1705190 1705730 längst 1705730 1706790 bewiesen 1706790 1707010 dass 1707010 1707070 er 1707070 1707270 null 1707270 1707870 rauskommen 1707870 1708830 muss 1708830 1709150 bevor 1709150 1709250 ich 1709250 1709410 den 1709410 1709610 Null 1709610 1710250 zurückgebe 1710250 1710490 habe 1710490 1710710 schon 1710710 1710970 längst 1710970 1711490 bewiesen 1711490 1711770 das 1711770 1712050 nicht 1712050 1712150 in 1712150 1712270 ?? 1712270 1712810 rauskommen 1712810 1713670 kann 1713670 1713870 man 1713870 1713970 im 1713970 1715030 Detail 1715030 1715210 ich 1715210 1715510 hoffe 1715510 1716210 auf 1716210 1716570 dieses 1716570 1717050 Programm 1717050 1717550 er 1717550 1717850 mit 1717850 1718210 seinem 1718210 1718890 eigenen 1718890 1719910 Quelltext 1719910 1720090 das 1720090 1720470 Programm 1720470 1720790 muss 1720790 1721290 halten 1721290 1722130 ?? 1722130 1722550 gerade 1722550 1723430 gesehen 1723430 1723730 wegen 1723730 1723870 der 1723870 1725190 Vollständigkeit 1725190 1725330 der 1725330 1725590 Gips 1725590 1725670 nur 1725670 1725890 zwei 1725890 1726650 Möglichkeiten 1726650 1726830 beim 1726830 1727310 halten 1727310 1727470 es 1727470 1727650 kann 1727650 1727750 die 1727750 1727910 null 1727910 1728410 rauskommen 1728410 1728590 oder 1728590 1728710 die 1728710 1728990 eins 1728990 1729670 rauskommen 1729670 1729870 was 1729870 1730530 anderes 1730530 1730710 war 1730710 1730890 nicht 1730890 1732650 vorgesehen 1732650 1732810 wenn 1732810 1732910 die 1732910 1733110 null 1733110 1734010 rauskommt 1734010 1734210 habe 1734210 1734330 ich 1734330 1734430 ein 1734430 1734890 Beweis 1734890 1735870 gefunden 1735870 1736090 dass 1736090 1736210 das 1736210 1736610 Programm 1736610 1736910 nicht 1736910 1737090 mit 1737090 1737270 null 1737270 1738410 endet 1738410 1738590 es 1738590 1738750 wird 1738750 1738950 also 1738950 1739230 etwas 1739230 1740110 bewiesen 1740110 1740350 was 1740350 1740570 nicht 1740570 1740970 wahr 1740970 1741230 ist 1741230 1741310 denn 1741310 1741450 das 1741450 1741830 Programm 1741830 1742170 ergibt 1742170 1742310 ja 1742310 1743210 null 1743212 1743792 aber 1743792 1743992 das 1743992 1744132 ?? 1744132 1744372 gleich 1744372 1744512 noch 1744512 1744692 was 1744692 1745172 dazu 1745172 1745392 uns 1745392 1745672 geht's 1745672 1745792 um 1745792 1745972 das 1745972 1746152 was 1746152 1746592 bewiesen 1746592 1746912 werden 1746912 1747692 kann 1747692 1747872 es 1747872 1747972 mal 1747972 1748152 nicht 1748152 1748272 um 1748272 1748472 das 1748472 1748672 was 1748672 1749852 Weiss 1749852 1749992 ich 1749992 1750272 finde 1750272 1750452 aber 1750452 1750712 jetzt 1750712 1751112 natürlich 1751112 1751272 auch 1751272 1751472 ein 1751472 1751952 Beweis 1751952 1752392 dafür 1752392 1752712 dass 1752712 1752932 nur 1752932 1753412 rauskommt 1753412 1753512 ich 1753512 1753632 kann 1753632 1753752 dir 1753752 1753992 Schritt 1753992 1754132 für 1754132 1754412 Schritt 1754412 1755652 nachrechnen 1755652 1756052 endlich 1756052 1756372 vielen 1756372 1756832 Schritten 1756832 1757112 endet 1757112 1757292 das 1757292 1758792 Programm 1758792 1758912 ich 1758912 1759092 kann 1759092 1759292 Schritt 1759292 1759412 für 1759412 1759672 Schritt 1759672 1760352 nachvollziehen 1760352 1760532 was 1760532 1760712 das 1760712 1761152 Programm 1761152 1762032 macht 1762032 1762192 den 1762192 1762392 dem 1762392 1762492 ich 1762492 1762832 das 1762832 1763392 tue 1763392 1763572 ich 1763572 1764032 natürlich 1764032 1764212 ein 1764212 1764652 Beweis 1764652 1765552 dafür 1765552 1765752 dass 1765752 1765932 nur 1765932 1767412 rauskommt 1767412 1767592 und 1767592 1767752 das 1767752 1767852 ist 1767852 1768272 natürlich 1768272 1769072 inkonsistent 1769072 1769252 ich 1769252 1769552 finde 1769552 1769732 ein 1769732 1770212 Beweis 1770212 1770452 das 1770452 1770752 nicht 1770752 1771452 rauskommt 1771452 1771612 und 1771612 1771732 ich 1771732 1772032 finde 1772032 1772272 eine 1772272 1772532 weiß 1772532 1772752 das 1772752 1772892 du 1772892 1774232 rauskommt 1774232 1774452 den 1774452 1774892 sprechenden 1774892 1775292 zweiten 1775292 1775792 Fall 1775792 1776012 lohnt 1776012 1776152 sich 1776152 1776312 gar 1776312 1776432 nicht 1776432 1776572 das 1776572 1777332 aufzuschreiben 1777332 1777512 auch 1777512 1777772 das 1777772 1778172 muss 1778172 1778412 zum 1778412 1778892 Widerspruch 1778892 1779752 führen 1779752 1780152 damit 1780152 1780392 habe 1780392 1780572 den 1780572 1781012 ersten 1781012 1782072 Unvollständigkeitssatz 1782072 1782152 in 1782152 1782312 der 1782312 1782732 üblichen 1782732 1783352 Form 1783352 1784732 Kühlwasser 1784732 1784992 aus 1784992 1786232 Konsistenz 1786232 1786792 folgt 1786792 1788912 Unvollständigkeit 1788912 1789232 damit 1789232 1789392 ist 1789392 1789532 hier 1789532 1789692 das 1789692 1790092 störende 1790092 1790492 Omega 1790492 1790972 weg 1790972 1791152 es 1791152 1791432 geht 1791432 1791612 nur 1791612 1791752 um 1791752 1791832 die 1791832 1792112 ganz 1792112 1792652 normale 1792652 1793382 Konsistenz 1795144 1795424 sollte 1795424 1795584 noch 1795584 1796064 andeuten 1796064 1796284 was 1796284 1796484 denn 1796484 1796844 eigentlich 1796844 1796924 die 1796924 1797584 mathematische 1797584 1798104 Leistung 1798104 1798944 ist 1798944 1799484 einerseits 1799484 1799664 muss 1799664 1799844 man 1799844 1800404 auf 1800404 1800804 solche 1800804 1801544 Aussagen 1801544 1802244 kommen 1802244 1802464 sich 1802464 1802644 schon 1802644 1802984 Goethes 1802984 1803564 ursprüngliche 1803564 1804524 Aussage 1804524 1804724 aber 1804724 1804904 dann 1804904 1805084 muss 1805084 1805224 man 1805224 1805404 vor 1805404 1805584 allen 1805584 1805744 Dingen 1805744 1805824 in 1805824 1805944 der 1805944 1806304 Lage 1806304 1806544 sein 1806544 1806844 diese 1806844 1807604 Aussage 1807604 1807784 zu 1807784 1808024 vom 1808024 1809884 realisieren 1809884 1810004 ich 1810004 1810424 muss 1810424 1810584 mit 1810584 1811224 mathematischen 1811224 1811524 Mitteln 1811524 1812184 hinschreiben 1812184 1812464 können 1812464 1812684 was 1812684 1813064 heißt 1813064 1813244 das 1813244 1813764 eigentlich 1813764 1813904 es 1813904 1814464 gibt 1814464 1814924 keinen 1814924 1816244 Beweis 1816244 1816624 Goethes 1816624 1816804 hat 1816804 1817224 geschafft 1817224 1817424 das 1817424 1817544 in 1817544 1817944 Zahlen 1817944 1818084 zu 1818084 1818884 übersetzen 1818884 1818904 ?? 1818904 1819524 Arithmetik 1819524 1820024 natürlicher 1820024 1820404 Zahlen 1820404 1820544 zu 1820544 1821704 übersetzen 1821704 1822084 Computer 1822084 1822404 heute 1822404 1822544 ist 1822544 1822844 das 1822844 1823284 klarer 1823284 1823464 man 1823464 1823644 kann 1823644 1824224 offensichtlich 1824224 1824344 ein 1824344 1824704 Programm 1824704 1825084 schreiben 1825084 1825204 das 1825204 1825964 Beweisbarkeit 1825964 1826864 prüft 1826864 1827184 das 1827184 1827304 die 1827304 1827604 erste 1827604 1828124 Hürde 1828124 1828264 die 1828264 1828424 man 1828424 1828864 überwinden 1828864 1829224 muss 1829224 1829404 und 1829404 1829484 die 1829484 1829864 zweite 1829864 1830204 Hürde 1830204 1830344 ist 1830344 1830524 dieser 1830524 1831824 Selbstbezug 1831824 1832084 eine 1832084 1832884 Aussage 1832884 1833304 spricht 1833304 1833464 von 1833464 1833624 sich 1833624 1834984 selbst 1834984 1835304 Gödel 1835304 1835464 hat 1835464 1835864 das 1835864 1836164 anders 1836164 1836324 als 1836324 1836464 es 1836464 1836764 jetzt 1836764 1837364 vorgekommen 1837364 1837704 ist 1837704 1837944 nicht 1837944 1838024 in 1838024 1838184 dem 1838184 1838284 ein 1838284 1838644 Programm 1838644 1838904 seine 1838904 1839144 eigene 1839144 1839684 Quellkode 1839684 1840394 verarbeitet 1842422 1842682 so 1842682 1842842 und 1842842 1843002 jetzt 1843002 1843222 geht's 1843222 1843462 darum 1843462 1843642 was 1843642 1843782 sind 1843782 1843922 das 1843922 1844202 einig 1844202 1846342 bedeutet 1846342 1846462 die 1846462 1846942 glücklichste 1846942 1847282 Frage 1847282 1847422 bei 1847422 1847562 den 1847562 1848002 kritischen 1848002 1849182 Unvollständigkeitssätzen 1849182 1849322 ist 1849322 1849962 wahrscheinlich 1849962 1850202 was 1850202 1850302 es 1850302 1850422 denn 1850422 1850662 jetzt 1850662 1851542 bedeutet 1851542 1851682 wie 1851682 1851862 man 1851862 1852022 das 1852022 1852622 verstehen 1852622 1853382 kann 1853382 1853522 da 1853522 1853722 kann 1853722 1853862 man 1853862 1854222 Tage 1854222 1854442 und 1854442 1854842 Wochen 1854842 1854942 und 1854942 1855342 Monate 1855342 1855622 drüber 1855622 1856722 diskutieren 1856722 1856862 ein 1856862 1857042 paar 1857042 1857362 erste 1857362 1858302 Ideen 1858302 1858562 diese 1858562 1859442 selbstbezüglichen 1859442 1860142 Aussagen 1860142 1860362 von 1860362 1860662 Göbel 1860662 1860782 und 1860782 1861062 Ross 1861062 1861562 war 1861562 1861802 ich 1861802 1862382 vorgeführt 1862382 1862882 hatte 1862882 1863082 zum 1863082 1863782 Beweis 1863782 1863982 die 1863982 1864362 wirklich 1864362 1864982 komisch 1864982 1865242 wenn 1865242 1865402 man 1865402 1865822 die 1865822 1866142 weder 1866142 1866662 beweisen 1866662 1866862 noch 1866862 1867442 widerlegen 1867442 1868142 kann 1868142 1868742 naja 1868742 1868962 was 1868962 1869482 soll's 1869482 1869662 mit 1869662 1869822 den 1869822 1869982 kann 1869982 1870142 mir 1870142 1870342 nicht 1870342 1870562 allzu 1870562 1870742 viel 1870742 1871222 anfangen 1871222 1871422 ?? 1871422 1871622 es 1871622 1871822 gibt 1871822 1871942 aber 1871942 1872142 auch 1872142 1872762 handfeste 1872762 1873322 Aussagen 1873322 1873422 in 1873422 1873522 der 1873522 1874302 Mathematik 1874302 1874422 die 1874422 1874562 man 1874562 1874862 weder 1874862 1875662 beweisen 1875662 1875822 noch 1875822 1876362 widerlegen 1876362 1877202 kann 1877202 1877362 soll 1877362 1877742 sein 1877742 1878142 innerhalb 1878142 1878262 der 1878262 1878542 üblichen 1878542 1879062 Mathematik 1879062 1879222 wenn 1879222 1879382 man 1879382 1879542 sie 1879542 1879702 als 1879702 1880442 konsistent 1880442 1881262 annimmt 1881262 1881522 weder 1881522 1881982 beweisen 1881982 1882102 noch 1882102 1882562 widerlegen 1882562 1882722 kann 1882722 1883062 ?? 1883062 1883262 in 1883262 1883342 die 1883342 1883622 übliche 1883622 1884142 Mathematik 1884142 1884902 inkonsistent 1884902 1885122 ist 1885122 1885302 kann 1885302 1885422 ich 1885422 1885702 alles 1885702 1886422 beweisen 1886422 1886642 und 1886642 1887682 widerlegen 1887682 1887902 diese 1887902 1888342 Aussagen 1888342 1888462 mit 1888462 1888782 ABS 1888782 1889182 gefunden 1889182 1889662 worden 1889662 1889822 war 1889822 1889982 dem 1889982 1890242 Gürtel 1890242 1890362 die 1890362 1891442 Unvollständigkeitssätze 1891442 1891922 bewiesen 1891922 1892242 hat 1892242 1892522 diesen 1892522 1893022 sogar 1893022 1893502 teilweise 1893502 1893642 von 1893642 1893902 Gödel 1893902 1894282 selbst 1894282 1894722 gefunden 1894722 1895902 worden 1895902 1896082 das 1896082 1896382 erste 1896382 1896542 ist 1896542 1897022 die 1897022 1899082 Kontinuumshypothese 1899082 1899362 die 1899362 1900462 sagt 1900462 1900802 jede 1900802 1901322 unendliche 1901322 1901602 Menge 1901602 1901962 reeller 1901962 1903042 Zahlen 1903042 1903462 gemeint 1903462 1903822 es 1903822 1904282 jede 1904282 1904582 Menge 1904582 1904842 mit 1904842 1905302 unendlich 1905302 1905962 vielen 1905962 1906422 reellen 1906422 1907342 Zahlen 1907342 1907682 jede 1907682 1908062 solche 1908062 1908762 Menge 1908762 1908962 hat 1908962 1909462 entweder 1909462 1909702 die 1909702 1910602 Mächtigkeit 1910602 1911022 der 1911022 1911342 Menge 1911342 1911482 der 1911482 1911982 natürlichen 1911982 1912682 Zahlen 1912682 1912882 ist 1912882 1913182 also 1913182 1914342 selber 1914342 1914682 oder 1914682 1914782 die 1914782 1915742 Mächtigkeit 1915742 1915902 der 1915902 1916162 Menge 1916162 1916442 aller 1916442 1916902 realen 1916902 1917902 Zahlen 1917902 1918022 es 1918022 1918242 gibt 1918242 1918582 nichts 1918582 1919482 dazwischen 1919482 1919782 keine 1919782 1921102 Unendlichkeitsstufe 1921102 1922182 sozusagen 1922182 1922482 was 1922482 1923242 Mächtigkeit 1923242 1924102 angeht 1924102 1924802 zwischen 1924802 1924962 den 1924962 1925462 natürlichen 1925462 1925922 Zahlen 1925922 1926042 und 1926042 1926162 den 1926162 1926542 reell 1926542 1927582 zahlen 1927582 1927702 und 1927702 1927862 was 1927862 1927962 wir 1927962 1928222 heute 1928222 1928942 wissen 1928942 1929082 die 1929082 1929362 übliche 1929362 1929862 Mathematik 1929862 1930062 kann 1930062 1930302 das 1930302 1930582 weder 1930582 1931602 beweisen 1931602 1931922 noch 1931922 1933022 widerlegen 1933022 1933242 Mann 1933242 1933422 gibt 1933422 1933522 es 1933522 1933602 im 1933602 1934222 Zweifelsfall 1934222 1934442 als 1934442 1934902 zweites 1934902 1935362 Aktion 1935362 1936042 dazu 1936042 1936302 dazu 1936302 1936542 gleich 1936542 1937882 mehr 1937882 1938042 das 1938042 1938362 nächste 1938362 1939142 handfeste 1939142 1939962 Beispiel 1939962 1940262 heißt 1940262 1940422 noch 1940422 1940762 wirklich 1940762 1941342 Aktion 1941342 1941542 das 1941542 1943342 Auswahlaxiom 1943342 1943862 betrachte 1943862 1944102 eine 1944102 1944462 Menge 1944462 1944702 von 1944702 1945042 Licht 1945042 1945382 leeren 1945382 1946502 Mengen 1946502 1946742 sagt 1946742 1946902 das 1946902 1948202 Auswahlaxiom 1948202 1948382 es 1948382 1948642 gibt 1948642 1948862 eine 1948862 1949942 Funktion 1949942 1950362 mindestens 1950362 1950542 eine 1950542 1951442 Funktion 1951442 1951962 folgender 1951962 1952662 Art 1952662 1953062 egal 1953062 1953382 welche 1953382 1953942 Menge 1953942 1955022 klein M 1955022 1955362 dieser 1955362 1955822 Mengen 1955822 1956442 groß M 1956442 1956642 mich 1956642 1956722 in 1956722 1956962 meine 1956962 1957422 Funktion 1957422 1958082 stecke 1958082 1958202 die 1958202 1959042 Funktion 1959042 1959302 für 1959302 1959722 solche 1959722 1960222 Mengen 1960222 1960442 ist 1960442 1960622 das 1960622 1961142 Ergebnis 1961142 1961322 dann 1961322 1961602 ein 1961602 1962522 Element 1962522 1962822 von 1962822 1963082 dieser 1963082 1964082 Menge 1964082 1964902 normal 1964902 1965662 groß N 1965662 1965882 ist 1965882 1966082 eine 1966082 1966602 Menge 1966602 1967002 von 1967002 1967362 nicht 1967362 1967722 leeren 1967722 1968222 Mengen 1968222 1968342 ich 1968342 1968482 kann 1968482 1968642 mir 1968642 1968842 also 1968842 1968962 die 1968962 1969222 Mengen 1969222 1969822 klein 1969822 1970102 ähm 1970102 1970642 angucken 1970642 1970762 die 1970762 1970842 in 1970842 1970962 den 1970962 1971402 groß 1971402 1971982 Entrinnen 1971982 1972302 sind 1972302 1972422 und 1972422 1972662 meine 1972662 1974102 Funktion 1974102 1974382 soll 1974382 1974802 solche 1974802 1975122 Mengen 1975122 1976082 verarbeiten 1976082 1976242 die 1976242 1976802 Elemente 1976802 1977082 von 1977082 1978142 groß M 1978142 1978302 und 1978302 1978482 aus 1978482 1979602 jedem 1979602 1979802 von 1979802 1980422 diesem 1980422 1981222 Element 1981222 1981462 von 1981462 1982562 groß M 1982562 1982822 was 1982822 1983062 wieder 1983062 1983282 eine 1983282 1983702 Menge 1983702 1984342 ist 1984342 1984602 ein 1984602 1985382 Element 1985382 1985582 aus 1985582 1985742 dem 1985742 1986262 klein M 1986262 1987222 Hausbecken 1987222 1988442 auswählen 1988442 1988562 und 1988562 1988722 eine 1988722 1990122 Auswahlfunktion 1990122 1990362 und 1990362 1990542 auch 1990542 1990862 das 1990862 1991402 hier 1991402 1991802 ist 1991802 1992062 aus 1992062 1992362 der 1992362 1992802 üblichen 1992802 1993402 Mathematik 1993402 1993802 weder 1993802 1994042 zu 1994042 1994702 beweisen 1994702 1994962 noch 1994962 1995142 zu 1995142 1996222 widerlegen 1996222 1996422 man 1996422 1996642 nimmt 1996642 1996822 es 1996822 1997182 weiß 1997182 1997322 es 1997322 1997402 ja 1997402 1997662 schon 1997662 1998382 typischerweise 1998382 1999182 dazu 1999182 1999402 das 1999402 2001342 Auswahlaxiom 2001342 2001502 und 2001502 2001682 das 2001682 2001902 ?? 2001902 2002862 grinste 2002862 2003322 finde 2003322 2003482 ich 2003482 2004642 folgendes 2004642 2004842 man 2004842 2005102 kann 2005102 2005302 ein 2005302 2006082 Polynom 2006082 2006402 ?? 2006402 2007222 superkompetentes 2007222 2007762 Polynom 2007762 2009002 konstruieren 2009002 2009222 ein 2009222 2010322 Polynom 2010322 2010702 von 2010702 2011482 mehreren 2011482 2011962 Zahlen 2011962 2012662 abhängt 2012662 2012802 ein 2012802 2013222 Polynom 2013222 2013342 mit 2013342 2013922 ganzzahligen 2013922 2015022 Koeffizienten 2015022 2015242 das 2015242 2015622 folgende 2015622 2016182 Eigenschaft 2016182 2016962 hat 2016962 2017302 dieses 2017302 2018162 Polynom 2018162 2018342 in 2018342 2018762 ganzen 2018762 2019222 Zahlen 2019222 2019442 zu 2019442 2019702 null 2019702 2020182 gemacht 2020182 2020562 werden 2020562 2020862 kann 2020862 2021122 also 2021122 2021462 gibt 2021462 2021642 es 2021642 2021982 ganze 2021982 2022442 Zahlen 2022442 2023482 X eins 2023482 2023862 bis 2023862 2024122 X 2024122 2024842 in 2024842 2025142 so 2025142 2025762 das 2025762 2026022 wenn 2026022 2026202 ich 2026202 2026422 die 2026422 2026982 Einsätze 2026982 2027062 in 2027062 2027302 mein 2027302 2027922 Polynom 2027922 2028142 null 2028142 2029182 rauskommt 2029182 2029442 das 2029442 2029622 hier 2029622 2029862 ist 2029862 2030082 weder 2030082 2031022 beweisbar 2031022 2031362 noch 2031362 2032842 widerlegbar 2032842 2033142 daraus 2033142 2033342 folgt 2033342 2034122 natürlich 2034122 2034462 wenn 2034462 2034602 die 2034602 2035002 übliche 2035002 2035582 Mathematik 2035582 2036322 konsistent 2036322 2036862 ist 2036862 2037142 dann 2037142 2037482 darf 2037482 2037782 dieses 2037782 2038262 Polynom 2038262 2038542 keine 2038542 2039122 Nullstellen 2039122 2039862 haben 2039862 2040042 denn 2040042 2040422 sonst 2040422 2040642 kann 2040642 2040762 ich 2040762 2040862 die 2040862 2041402 Nullstelle 2041402 2042042 einsetzen 2042042 2042422 finde 2042422 2042622 eine 2042622 2043182 Lösung 2043182 2043462 habe 2043462 2043782 damit 2043782 2043982 auch 2043982 2044242 ein 2044242 2045062 Beweis 2045062 2045302 das 2045302 2045422 es 2045422 2045582 eine 2045582 2046082 Nullstelle 2046082 2047362 gibt 2047362 2047562 wenn 2047562 2047702 man 2047702 2048042 solche 2048042 2048542 Aussagen 2048542 2049282 hat 2049282 2049482 wie 2049482 2049762 die 2049762 2050162 von 2050162 2050942 Gödel 2050942 2051162 und 2051162 2051422 Rossa 2051422 2052102 konstruierten 2052102 2052322 oder 2052322 2052442 wie 2052442 2052582 die 2052582 2052802 von 2052802 2053122 gerade 2053122 2053462 eben 2053462 2053742 konnte 2053742 2054022 nun 2054022 2054582 Hypothese 2054582 2055622 Auswahlaktion 2055622 2055782 immer 2055782 2056062 solche 2056062 2056582 Aussagen 2056582 2057382 hat 2057382 2057562 kann 2057562 2057682 man 2057682 2057982 damit 2057982 2058142 neue 2058142 2058642 Axiome 2058642 2059382 bauen 2059382 2059662 als 2059662 2060102 gegeben 2060102 2060242 so 2060242 2060502 eine 2060502 2061102 Aussage 2061102 2061302 dass 2061302 2061722 weder 2061722 2061862 die 2061862 2062382 Aussage 2062382 2062982 selbst 2062982 2063162 noch 2063162 2063282 ihr 2063282 2063882 Gegenteil 2063882 2064522 beweisbar 2064522 2064802 ist 2064802 2064982 die 2064982 2065422 Aussage 2065422 2065602 ist 2065602 2065782 weder 2065782 2066602 beweisbar 2066602 2067042 noch 2067042 2068442 widerlegbar 2068442 2068622 man 2068622 2068882 gerne 2068882 2069242 dann 2069242 2069502 einen 2069502 2070042 Schalter 2070042 2070222 aus 2070222 2070642 ungefähr 2070642 2070802 nicht 2070802 2070922 so 2070922 2071262 klar 2071262 2071822 ist 2071822 2072102 oder 2072102 2073222 unabhängig 2073222 2073422 als 2073422 2073882 angenommen 2073882 2073982 ich 2073982 2074242 habe 2074242 2074402 so 2074402 2074562 eine 2074562 2075042 Aussage 2075042 2075742 A 2075742 2075922 die 2075922 2076142 weder 2076142 2076782 beweisbar 2076782 2077082 noch 2077082 2077862 widerlegbar 2077862 2078422 ist 2078422 2078622 dann 2078622 2078802 kann 2078802 2078922 ich 2078922 2079042 die 2079042 2079522 Aussage 2079522 2080062 ganz 2080062 2080762 schlicht 2080762 2081162 zu 2081162 2081482 meiner 2081482 2081862 Theorie 2081862 2082282 dazu 2082282 2082942 nehmen 2082942 2083142 und 2083142 2083362 nichts 2083362 2083502 wird 2083502 2084362 kaputtgehen 2084362 2084542 wie 2084542 2084902 stört 2084902 2084982 die 2084982 2085362 Theorie 2085362 2085542 ja 2085542 2086202 sozusagen 2086202 2086782 nicht 2086782 2087122 besteht 2087122 2087442 einfach 2087442 2088202 daneben 2088202 2088402 kann 2088402 2088602 aber 2088602 2088882 als 2088882 2089142 neues 2089142 2089542 Action 2089542 2089862 dazu 2089862 2090322 nehmen 2090322 2090502 und 2090502 2090782 kriegt 2090782 2091082 keine 2091082 2091322 neuen 2091322 2092182 Widersprüche 2092182 2093082 oder 2093082 2093242 ich 2093242 2093462 genau 2093462 2093622 das 2093622 2094082 Gegenteil 2094082 2094402 dazu 2094402 2095282 nehmen 2095282 2095442 sie 2095442 2095842 jedes 2095842 2096102 Mal 2096102 2096282 wenn 2096282 2096382 ich 2096382 2096662 so 2096662 2096862 eine 2096862 2097342 Aussage 2097342 2097822 finde 2097822 2098122 eine 2098122 2098382 neue 2098382 2098682 solche 2098682 2099122 Aussage 2099122 2099562 finde 2099562 2099782 kann 2099782 2099922 ich 2099922 2100382 überlegen 2100382 2101022 hoch 2101022 2101282 nämlich 2101282 2101462 das 2101462 2101802 eine 2101802 2101982 wurde 2101982 2102302 nämlich 2102302 2102482 das 2102482 2102982 andere 2102982 2103162 was 2103162 2103382 wäre 2103382 2103662 schön 2103662 2103742 in 2103742 2104022 meiner 2104022 2104822 Theorie 2104822 2105102 egal 2105102 2105282 was 2105282 2105422 von 2105422 2105722 beiden 2105722 2105922 nicht 2105922 2106202 dazu 2106202 2106582 nehme 2106582 2106742 ich 2106742 2107002 kriege 2107002 2107302 keine 2107302 2107522 neuen 2107522 2108602 Widersprüche 2108602 2108862 falls 2108862 2108982 ich 2108982 2109302 überhaupt 2109302 2109362 ?? 2109362 2110002 Widersprüche 2110002 2110302 haben 2110302 2111022 sollte 2111022 2111322 indem 2111322 2111462 ich 2111462 2111622 aber 2111622 2111782 ein 2111782 2112102 neues 2112102 2112502 Action 2112502 2112942 dazu 2112942 2113322 nehme 2113322 2113642 ändert 2113642 2113802 sich 2113802 2114002 diese 2114002 2114602 Funktion 2114602 2114942 ist 2114942 2115942 Beweis 2115942 2116062 die 2116062 2116502 prüft 2116502 2116862 ja 2116862 2117002 ob 2117002 2117442 Axiome 2117442 2118502 vorkommen 2118502 2118802 Punkt 2118802 2119302 das heißt 2119302 2119422 ich 2119422 2119642 kann 2119642 2119902 wieder 2119902 2120102 mit 2120102 2120462 Gödel 2120462 2120622 und 2120622 2120862 Ross 2120862 2121422 war 2121422 2121622 eine 2121622 2121962 weitere 2121962 2122442 Aussage 2122442 2123362 konstruieren 2123362 2123522 die 2123522 2123822 weder 2123822 2124282 bewiesen 2124282 2124442 noch 2124442 2124962 widerlegt 2124962 2125782 wird 2125782 2126202 das heißt 2126202 2126282 in 2126282 2126422 dem 2126422 2126542 ich 2126542 2127042 versuche 2127042 2127362 meine 2127362 2128122 Theorie 2128122 2128382 so 2128382 2129002 vollständig 2129002 2129162 zu 2129162 2129922 kriegen 2129922 2130082 kann 2130082 2130202 ich 2130202 2130402 nicht 2130402 2130982 gewinnen 2130982 2131082 ?? 2131082 2131242 es 2131242 2131402 muss 2131402 2131622 schon 2131622 2131882 wieder 2131882 2132162 eine 2132162 2132462 weitere 2132462 2132962 Aussage 2132962 2133702 geben 2133702 2133862 die 2133862 2134102 nicht 2134102 2134522 bewiesen 2134522 2134742 werden 2134742 2135162 kann 2135162 2135382 und 2135382 2135562 nicht 2135562 2135982 widerlegt 2135982 2136262 werden 2136262 2137182 kann 2137182 2137442 was 2137442 2137582 man 2137582 2137902 daraus 2137902 2138302 lernt 2138302 2138482 ist 2138482 2138642 das 2138642 2138762 es 2138762 2139322 unendlich 2139322 2139542 viele 2139542 2140062 verschiedene 2140062 2140802 Modelle 2140802 2141022 das 2141022 2141102 in 2141102 2141202 der 2141202 2141642 Mathematik 2141642 2141762 so 2141762 2141962 schön 2141962 2142422 heißt 2192433 2193373 wie 2193373 2193893 Computer 2193893 2194113 stell 2194113 2194233 ich 2194233 2194393 mir 2194393 2194553 als 2194553 2195353 Turingmaschine 2195353 2197693 vor 2247704 2248104 das 2248104 2248404 heißt 2248404 2248504 ich 2248504 2248864 habe 2248864 2249104 ein 2249104 2250064 Rechenwerk 2250064 2250204 und 2250204 2250704 Logik 2250704 2251544 darin 2251544 2251764 und 2251764 2251984 einen 2251984 2252404 beliebig 2252404 2252744 großen 2252744 2253444 Speicher 2253444 2253684 von 2253684 2253904 dem 2253904 2254044 ich 2254044 2254284 immer 2254284 2254444 nur 2254444 2254764 endlich 2254764 2254904 viel 2254904 2255184 Platz 2255184 2255624 benutzen 2255624 2255864 darf 2255864 2256504 natürlich 2256504 2256844 sonst 2256844 2257064 wird 2257064 2257364 sowas 2257364 2257664 unter 2257664 2258784 sieben 2258784 2259284 Rechenwerk 2259284 2259404 und 2259404 2259884 Logik 2259884 2260264 sind 2260264 2260464 ein 2260464 2260944 endlicher 2260944 2261824 Automat 2261824 2262404 starte 2262404 2262564 in 2262564 2263004 einem 2263004 2264564 Anfangszustand 2264564 2265304 sinnvollerweise 2265304 2265464 mit 2265464 2265664 null 2265664 2266764 bezifferte 2266764 2267084 und 2267084 2267324 dann 2267324 2268204 wird 2268204 2268384 je 2268384 2268644 nach 2268644 2269084 dem 2269084 2269324 was 2269324 2269484 da 2269484 2269704 so 2269704 2270064 los 2270064 2270724 ist 2270724 2270864 er 2270864 2270984 nach 2270984 2271284 den 2271284 2272364 Situationen 2272364 2272524 für 2272524 2272744 das 2272744 2273104 eine 2273104 2273264 oder 2273264 2273444 das 2273444 2273884 andere 2273884 2274044 oder 2274044 2274164 wie 2274164 2274324 auch 2274324 2274524 immer 2274524 2276264 passieren 2276264 2276584 das 2276584 2277524 natürlich 2277524 2278224 aberwitzig 2278224 2278464 viele 2278464 2279104 Zustände 2279104 2279324 für 2279324 2279504 einen 2279504 2279904 normalen 2279904 2281324 Computer 2281324 2281604 acht 2281604 2282384 Bits 2282384 2282604 als 2282604 2283124 Register 2283124 2283344 auf 2283344 2283444 dem 2283444 2283964 Prozessor 2283964 2284204 werden 2284204 2284364 schon 2284364 2284524 zwo 2284524 2284744 hundert 2284744 2285024 sechzehn 2285024 2285404 fünfzig 2285404 2286644 Zustände 2286644 2286804 kann 2286804 2286944 sich 2286944 2287804 vorstellen 2287804 2288124 beim 2288124 2288564 realen 2288564 2289624 Prozessor 2289624 2289844 das 2289844 2290424 sozusagen 2290424 2290604 fand 2290604 2290784 das 2290784 2291264 Millionen 2291264 2291384 an 2291384 2292524 Zuständen 2292524 2292704 ich 2292704 2292904 mal 2292904 2293124 jetzt 2293124 2293224 hier 2293224 2293364 nur 2293364 2293604 meine 2293604 2293824 Hand 2293824 2294004 voll 2294004 2294424 hin 2294424 2294564 es 2294564 2294724 geht 2294724 2294844 dann 2294844 2295544 irgendwie 2295544 2296524 weiter 2296524 2296764 die 2296764 2297084 Nummer 2297084 2297404 dieses 2297404 2298104 Zustands 2298104 2298464 merklich 2298464 2298764 als 2298764 2298944 eine 2298944 2299244 Zahl 2299244 2300044 Z 2300044 2300324 jetzt 2300324 2300504 zum 2300504 2301424 Speicher 2301424 2301644 dass 2301644 2301724 es 2301724 2301884 bei 2301884 2302524 Tuning 2302524 2302804 das 2302804 2303604 Band 2303604 2303764 ich 2303764 2304044 möchte 2304044 2304164 mit 2304164 2304564 natürlichen 2304564 2305024 Zahlen 2305024 2305464 arbeiten 2305464 2305744 deshalb 2305744 2305904 ist 2305904 2306084 ein 2306084 2306984 Band 2306984 2307644 ungeschickt 2307644 2307784 ich 2307784 2308004 nehme 2308004 2308384 zwei 2308384 2308904 natürliche 2308904 2309684 Zahlen 2309684 2309864 und 2309864 2310684 verstehe 2310684 2310964 diese 2310964 2311244 beiden 2311244 2311784 natürlichen 2311784 2312684 Zahlen 2312684 2312904 als 2312904 2314324 Binärzahlen 2314324 2314524 und 2314524 2314724 als 2314724 2314804 die 2314804 2315144 linke 2315144 2315264 und 2315264 2315324 die 2315324 2315644 rechte 2315644 2315964 Hälfte 2315964 2316144 des 2316144 2317344 Bands 2317344 2317544 sieht 2317544 2317704 das 2317704 2317924 dann 2317924 2318284 aus 2318284 2318404 die 2318404 2318724 eine 2318724 2319404 Zahl 2319404 2319684 nennen 2319684 2319824 Sie 2319824 2320524 X 2320524 2320824 ist 2320824 2321264 die 2321264 2321624 linke 2321624 2321984 Hälfte 2321984 2322144 des 2322144 2322664 Bandes 2322664 2322824 und 2322824 2322924 die 2322924 2323224 andere 2323224 2323444 Zahl 2323444 2323604 ist 2323604 2324684 Y 2324684 2325044 sondern 2325044 2325184 an 2325184 2325284 der 2325284 2326044 lege 2326044 2326244 die 2326244 2326524 rechte 2326524 2326844 Hälfte 2326844 2327024 des 2327024 2329024 Bandes 2329024 2329244 geht 2329244 2329404 ?? 2329404 2329784 Maschine 2329784 2330044 musste 2330044 2330304 eine 2330304 2330884 Stelle 2330884 2331044 von 2331044 2331204 dem 2331204 2331444 Band 2331444 2332084 abfragt 2332084 2332464 können 2332464 2332724 immer 2332724 2333064 dieses 2333064 2333364 Bild 2333364 2334004 hier 2334004 2334204 das 2334204 2334424 wird 2334424 2334564 mit 2334564 2334644 der 2334644 2335004 kleinsten 2335004 2335444 Wertigkeit 2335444 2335624 von 2335624 2336224 X 2336224 2336484 und 2336484 2336564 die 2336564 2337064 Tormaschine 2337064 2337244 muss 2337244 2337424 das 2337424 2337804 Band 2337804 2338204 schieben 2338204 2338664 können 2338664 2339104 also 2339104 2339384 vier 2339384 2339584 von 2339584 2339904 unten 2339904 2340084 nach 2340084 2340324 oben 2340324 2340564 rein 2340564 2340704 oder 2340704 2341264 umgekehrt 2341264 2341384 ich 2341384 2341564 muss 2341564 2341884 irgendwie 2341884 2342404 so 2342404 2342944 schieben 2342944 2344004 können 2344004 2344384 das 2344384 2344704 letzte 2344704 2345004 bitte 2345004 2345344 unten 2345344 2346004 raus 2346004 2346124 da 2346124 2346404 oben 2346404 2347224 rein 2347224 2347464 oder 2347464 2348144 jedes 2348144 2348884 abgefragten 2348884 2349524 Bild 2349524 2349824 oben 2349824 2350144 raus 2350144 2350424 und 2350424 2351144 rein 2351144 2351384 also 2351384 2351524 was 2351524 2351644 soll 2351644 2351764 der 2351764 2352184 Speicher 2352184 2353504 können 2353504 2353684 der 2353684 2354204 Speicher 2354204 2355064 soll 2355064 2355384 von 2355384 2355644 oben 2355644 2355824 nach 2355824 2356084 unten 2356084 2356424 schieben 2356424 2357164 können 2357164 2357204 ?? 2357204 2357524 soll 2357524 2357764 von 2357764 2358064 unten 2358064 2358244 nach 2358244 2358484 oben 2358484 2358844 schieben 2358844 2359924 können 2359924 2360204 möchte 2360204 2360624 Abfragen 2360624 2361044 günstig 2361044 2361144 an 2361144 2361344 dieser 2361344 2361624 Stelle 2361624 2361744 der 2361744 2362024 Wert 2362024 2362364 null 2362364 2362584 oder 2362584 2362704 der 2362704 2362964 Wert 2362964 2363844 eins 2363844 2364104 und 2364104 2364184 ich 2364184 2364464 möchte 2364464 2364624 hier 2364624 2364744 ein 2364744 2364944 Wert 2364944 2365624 reinschreiben 2365624 2365984 können 2365984 2366164 den 2366164 2366484 Wert 2366484 2367084 null 2367084 2367804 einschreiben 2367804 2368164 können 2368164 2368364 oder 2368364 2368524 den 2368524 2368744 Wert 2368744 2369084 eins 2369084 2369704 reinschreiben 2369704 2370624 können 2370624 2370764 der 2370764 2370984 Zoll 2370984 2371164 das 2371164 2372324 Rechenwerk 2372324 2372584 soll 2372584 2372684 die 2372684 2373304 Logik 2373304 2373544 das 2373544 2373924 Ion 2373924 2374904 ansteuern 2374904 2375104 wenn 2375104 2375224 ich 2375224 2375344 in 2375344 2375524 einem 2375524 2375864 bestimmten 2375864 2376324 Zustand 2376324 2377224 bin 2377224 2377484 kuck 2377484 2377644 ich 2377644 2377944 also 2377944 2378704 nach 2378704 2379504 steht 2379504 2379704 der 2379704 2380004 null 2380004 2380204 oder 2380204 2380364 null 2380364 2381144 eins 2381144 2381384 an 2381384 2381624 dieser 2381624 2381904 Stelle 2381904 2382044 die 2382044 2382704 abgefragt 2382704 2383204 wird 2383204 2383464 und 2383464 2383624 je 2383624 2383804 nach 2383804 2384024 dem 2384024 2385404 verzweigten 2385404 2385724 Stand 2385724 2385924 eine 2385924 2386584 null 2386584 2387044 eins 2387044 2387384 null 2387384 2387564 oder 2387564 2387724 null 2387724 2388444 eins 2388444 2389184 null 2389184 2389484 oder 2389484 2389984 Neins 2389984 2390184 glich 2390184 2390324 für 2390324 2390544 den 2390544 2390944 Zustand 2390944 2391244 zurück 2391244 2391444 von 2391444 2391624 mir 2391624 2392724 aus 2392724 2393504 null 2393504 2394184 eins 2394184 2395164 null 2395164 2395804 eins 2395804 2395984 wir 2395984 2396484 könnten 2396484 2396744 auch 2396744 2397184 haben 2397184 2397784 dass 2397784 2397964 es 2397964 2398044 in 2398044 2398364 bestimmten 2398364 2398684 Fällen 2398684 2398964 nicht 2398964 2399084 mehr 2399084 2399704 weitergeht 2399704 2399944 das 2399944 2400164 unser 2400164 2400544 Programm 2400544 2400704 zu 2400704 2401004 Ende 2401004 2401204 ist 2401204 2401644 Beistrich 2401644 2401844 dass 2401844 2401904 er 2401904 2402424 zum Beispiel 2402424 2403504 wegnehme 2403504 2403724 komme 2403724 2403804 ich 2403804 2404004 aus 2404004 2404164 dem 2404164 2404564 Zustand 2404564 2405204 fünf 2405204 2405424 nicht 2405424 2405544 mehr 2405544 2406224 weiter 2406224 2406524 wenn 2406524 2406944 hinten 2406944 2407144 eine 2407144 2407364 null 2407364 2408124 steht 2408124 2408344 das 2408344 2408704 Programm 2408704 2408824 ist 2408824 2408964 zu 2408964 2410044 Ende 2410044 2410184 die 2410184 2410664 Logik 2410664 2410964 kann 2410964 2411304 auch 2411304 2411624 auf 2411624 2411884 mein 2411884 2412984 Speichereinwirken 2412984 2413784 natürlich 2413784 2413984 immer 2413984 2414144 so 2414144 2414324 was 2414324 2414424 in 2414424 2414524 den 2414524 2414864 Speicher 2414864 2415404 reinschreiben 2415404 2415764 können 2415764 2415944 oder 2415944 2416044 den 2416044 2416484 Speicher 2416484 2416624 hin 2416624 2416724 und 2416724 2416884 her 2416884 2417204 schieben 2417204 2417864 können 2417864 2418124 also 2418124 2418284 je 2418284 2418964 nachdem 2418964 2419204 was 2419204 2419304 hier 2419304 2419424 so 2419424 2420344 passiert 2420344 2420584 Komma 2420584 2421224 wenn 2421224 2421384 der 2421384 2421804 Wert 2421804 2422144 null 2422144 2422244 der 2422244 2422544 hinten 2422544 2422924 steht 2422924 2423144 dann 2423144 2423444 möchte 2423444 2423564 ich 2423564 2423824 so 2423824 2424344 herum 2424344 2425324 schieben 2425324 2425564 wenn 2425564 2425664 ?? 2425664 2426424 eins 2426424 2426924 hinten 2426924 2427224 drin 2427224 2427604 steht 2427604 2427684 der 2427684 2427984 möchte 2427984 2428084 ich 2428084 2428244 den 2428244 2428464 Wert 2428464 2428724 null 2428724 2429984 reinschreiben 2429984 2430204 wenn 2430204 2430284 im 2430284 2430704 Zustand 2430704 2431464 eins 2431464 2431904 null 2431904 2432764 steht 2432764 2433064 möchte 2433064 2433144 ich 2433144 2433504 vielleicht 2433504 2433904 nach 2433904 2434324 eins 2434324 2435464 reinschreiben 2435464 2435704 und 2435704 2435864 wenn 2435864 2436064 dann 2436064 2436884 einsteht 2436884 2437204 möchte 2437204 2437304 ich 2437304 2437584 vielleicht 2437584 2437724 so 2437724 2438224 rumschieben 2438224 2438904 und so weiter 2438904 2440124 und so weiter 2440124 2440264 so 2440264 2440524 kann 2440524 2440704 diese 2440704 2441084 Logik 2441084 2441264 das 2441264 2442144 Steuern 2442144 2442484 hier 2442484 2442944 sofort 2442944 2443084 auch 2443084 2443204 noch 2443204 2443584 irgendwas 2443584 2444004 sinnvolles 2444004 2444844 passieren 2444844 2445184 Stücke 2445184 2445864 Einstrinnen 2445864 2446104 einer 2446104 2446644 Schifffahrt 2446644 2446804 so 2446804 2447784 rum 2447784 2447964 dass 2447964 2448124 wir 2448124 2448364 jetzt 2448364 2448564 eine 2448564 2449864 Turingmaschine 2449864 2450084 mit 2450084 2450284 einem 2450284 2450704 endlichen 2450704 2451884 Automaten 2451884 2452664 und 2452664 2453104 zwei 2453104 2453724 natürlichen 2453724 2454844 Zahlen 2454844 2455064 als 2455064 2456324 Speicher 2456324 2456524 muss 2456524 2456904 Aussagen 2456904 2457004 wie 2457004 2457184 das 2457184 2457484 ganze 2457484 2458084 gestartet 2458084 2458424 werden 2458424 2458724 soll 2458724 2458944 was 2458944 2459124 ist 2459124 2459224 die 2459224 2460544 Initialisierung 2460544 2460684 in 2460684 2460924 mein 2460924 2461604 Speichern 2461604 2462004 schreibe 2462004 2462384 ich 2462384 2462944 zum Beispiel 2462944 2463144 als 2463144 2464184 Zeichenkette 2464184 2464384 das 2464384 2464924 Programm 2464924 2465864 rein 2465864 2466104 was 2466104 2466644 ausgeführt 2466644 2466964 werden 2466964 2467464 soll 2467464 2467664 und 2467664 2467724 ?? 2467724 2469004 Turingmaschine 2469004 2469244 und 2469244 2469364 ich 2469364 2469744 schreibe 2469744 2469924 das 2469924 2470464 Argument 2470464 2470864 rein 2470864 2471084 was 2471084 2471184 ich 2471184 2471404 mein 2471404 2471764 Programm 2471764 2473364 mitgeben 2473364 2473824 das heißt 2473824 2473964 ich 2473964 2474564 weiß 2474564 2475084 was 2475084 2475384 ganz 2475384 2475584 zu 2475584 2475924 Beginn 2475924 2476244 X 2476244 2476384 und 2476384 2476904 Y 2476904 2477644 sind 2477644 2477844 und 2477844 2478024 was 2478024 2478284 Z 2478284 2478804 ist 2478804 2479204 drittes 2479204 2479944 null 2479944 2480084 und 2480084 2480224 dann 2480224 2480404 kann 2480404 2480484 ich 2480484 2480744 Schritt 2480744 2480904 für 2480904 2481344 Schritt 2481344 2482464 weitergehen 2482464 2482784 hier 2482784 2482924 in 2482924 2483184 meinem 2483184 2483504 endlichen 2483504 2484044 Automaten 2484044 2484604 nachgucken 2484604 2484804 was 2484804 2485284 passieren 2485284 2486144 muss 2486144 2486444 damit 2486444 2486544 nach 2486544 2487204 zweiundvierzig 2487204 2488044 Schritten 2488044 2488244 ist 2488244 2488364 der 2488364 2488944 Zustand 2488944 2489244 Z 2489244 2490604 zwoundvierzig 2490604 2491204 wohnt 2491204 2491504 dieser 2491504 2491784 Wert 2491784 2492364 hier 2492364 2492584 ist 2492584 2492784 X 2492784 2493744 zweiundvierzig 2493744 2493964 und 2493964 2494084 ?? 2494084 2494384 Wetter 2494384 2494604 und 2494604 2494924 nicht 2494924 2495384 Y 2495384 2496844 zweiundvierzig 2496844 2496964 da 2496964 2497244 kann 2497244 2497384 ich 2497384 2497464 in 2497464 2497704 meinem 2497704 2498104 endlichen 2498104 2498704 Automaten 2498704 2499424 nachgucken 2499424 2499624 was 2499624 2500204 denn 2500204 2500344 der 2500344 2500684 nächste 2500684 2501184 Zustand 2501184 2501704 ist 2501704 2502184 und 2502184 2502444 was 2502444 2502564 ich 2502564 2502784 meinem 2502784 2503504 Speicher 2503504 2503944 antun 2503944 2504584 muss 2504584 2504844 ich 2504844 2505384 Regecest 2505384 2506044 dreiundvierzig 2506044 2506864 Haus 2506864 2507124 X 2507124 2508204 dreiundvierzig 2508204 2508464 und 2508464 2508864 Y 2508864 2510464 dreiundvierzig 2510464 2510704 das 2510704 2510924 geht 2510924 2511484 natürlich 2511484 2511664 auf 2511664 2512104 dieselbe 2512104 2512624 Art 2512624 2512784 von 2512784 2513504 dreißigstens 2513504 2513624 und 2513624 2513824 Wien 2513824 2514544 vierzigsten 2514544 2514804 oder 2514804 2515044 vom 2515044 2515384 Noten 2515384 2515604 zum 2515604 2516204 ersten 2516204 2517304 und so weiter 2517304 2518804 und so weiter 2518804 2519264 versuche 2519264 2519364 ich 2519364 2519824 dieses 2519824 2520604 hier 2520604 2521064 zu 2521064 2522304 kritisieren 2522304 2522464 mit 2522464 2522604 den 2522604 2523544 Grundrechenarten 2523544 2525084 hinzuschreiben 2525084 2525344 ?? 2525344 2525604 die 2525604 2525984 Idee 2525984 2526344 ist 2526344 2526624 ein 2526624 2527664 wahnsinnig 2527664 2528284 großes 2528284 2528844 Produkten 2528844 2529044 zu 2529044 2529964 schreiben 2529964 2530364 erster 2530364 2531244 Faktor 2531244 2531924 mal 2531924 2532464 zweiter 2532464 2533524 Faktor 2533524 2534084 Mal 2534084 2535344 und so weiter 2535344 2535524 an 2535524 2535744 das 2535744 2536284 Millionen 2536284 2537324 Faktoren 2537324 2538144 gleich 2538144 2539264 null 2539264 2539404 habe 2539404 2539504 ich 2539504 2539684 eine 2539684 2540364 arithmetische 2540364 2541404 Bedingung 2541404 2541624 von 2541624 2541764 der 2541764 2541904 ich 2541904 2542684 weiß 2542684 2543164 das 2543164 2543584 eine 2543584 2543744 der 2543744 2544304 Klammern 2544304 2544704 einer 2544704 2544984 dieser 2544984 2545624 Faktoren 2545624 2546404 hier 2546404 2546704 der 2546704 2546944 muss 2546944 2547164 Null 2547164 2547444 sein 2547444 2547704 bin 2597715 2598115 bestens 2598115 2598635 einer 2598635 2598795 es 2598795 2598955 wird 2598955 2599195 gleich 2599195 2599335 auch 2599335 2599555 nur 2599555 2599975 höchstens 2599975 2600215 eine 2600215 2600475 null 2600475 2600815 sein 2600815 2601835 Können 2601835 2602095 hinter 2602095 2602335 dieser 2602335 2602895 Faktoren 2602895 2603415 beschreibt 2603415 2603815 einen 2603815 2603955 der 2603955 2605035 Pfeile 2605035 2605155 in 2605155 2605295 den 2605295 2606835 Sautomaten 2606835 2607035 zum 2607035 2607315 Beispiel 2607315 2607615 könnte 2607615 2607775 ich 2607775 2607915 mir 2607915 2608515 folgendes 2608515 2609315 angucken 2609315 2609555 bin 2609555 2610495 ich 2610495 2610915 Sitze 2610915 2611455 Zustands 2611455 2612275 nur 2612275 2612495 wenn 2612495 2612635 ich 2612635 2612755 in 2612755 2613435 Zustand 2613435 2613595 mit 2613595 2613715 der 2613715 2613995 Nummer 2613995 2615495 dreizehn 2615495 2615635 nur 2615635 2615835 dann 2615835 2615995 wird 2615995 2616155 das 2616155 2616315 hier 2616315 2617615 null 2617615 2617895 jetzt 2617895 2618155 wüsste 2618155 2618255 ich 2618255 2618535 gerne 2618535 2618695 ob 2618695 2618855 in 2618855 2619235 dem 2619235 2620195 X 2620195 2620735 eine 2620735 2621215 gerade 2621215 2621595 Zahl 2621595 2622875 steht 2622875 2623055 ob 2623055 2623235 das 2623235 2623475 Bild 2623475 2623695 was 2623695 2623835 ich 2623835 2624415 untersuche 2624415 2624715 gleich 2624715 2624995 null 2624995 2626235 ist 2626235 2626435 das 2626435 2626775 Gericht 2626775 2627115 damit 2627115 2627335 hin 2627335 2627475 und 2627475 2627655 wenn 2627655 2627775 ich 2627775 2628075 hier 2628075 2628395 noch 2628395 2628755 dazu 2628755 2629355 schreibe 2629355 2629575 es 2629575 2630015 gibt 2630015 2630515 eine 2630515 2630855 ganze 2630855 2631155 Zahl 2631155 2631435 meine 2631435 2631555 ich 2631555 2631735 hier 2631735 2632095 damit 2632095 2632995 aber 2632995 2633235 mit 2633235 2633655 folgender 2633655 2634995 Eigenschaft 2634995 2635135 ich 2635135 2635735 untersuche 2635735 2635895 ob 2635895 2636115 X 2636115 2636855 zweiundvierzig 2636855 2637055 das 2637055 2637475 Doppelte 2637475 2637715 einer 2637715 2638055 ganzen 2638055 2638475 Zahl 2638475 2639055 ist 2639055 2639235 wenn 2639235 2639955 ja 2639955 2640175 kann 2640175 2640475 dieses 2640475 2640955 Quadrat 2640955 2641055 ?? 2641055 2641315 null 2641315 2641775 werden 2641775 2642015 wenn 2642015 2642435 nein 2642435 2642595 kann 2642595 2642815 dieses 2642815 2643215 Quadrat 2643215 2643675 niemals 2643675 2643915 null 2643915 2644795 werden 2644795 2645015 mit 2645015 2645235 anderen 2645235 2645615 Worten 2645615 2645855 diese 2645855 2646155 Summe 2646155 2647215 hier 2647215 2647455 wird 2647455 2647775 dann 2647775 2647935 und 2647935 2648175 nur 2648175 2648435 dann 2648435 2649295 null 2649295 2649535 wenn 2649535 2649675 ich 2649675 2649755 im 2649755 2650295 Zustand 2650295 2650435 mit 2650435 2650515 der 2650515 2650775 Nummer 2650775 2651315 dreizehn 2651315 2652095 bin 2652095 2652355 und 2652355 2652555 wenn 2652555 2653275 X 2653275 2653495 eine 2653495 2653755 gerade 2653755 2654095 Zahl 2654095 2654775 ist 2654775 2655035 und 2655035 2655235 hier 2655235 2655375 das 2655375 2655695 richtige 2655695 2657275 Ausblicke 2657275 2657455 wenn 2657455 2657655 das 2657655 2657795 der 2657795 2658055 Fall 2658055 2658635 ist 2658635 2658775 ich 2658775 2658895 bin 2658895 2658995 im 2658995 2659395 Zustand 2659395 2660395 dreizehn 2660395 2660595 und 2660595 2661555 hinten 2661555 2661755 und 2661755 2661915 mein 2661915 2662315 Text 2662315 2662575 endet 2662575 2662735 mit 2662735 2662975 einer 2662975 2663795 Nullstelle 2663795 2663995 dich 2663995 2664735 Abfrage 2664735 2664895 ist 2664895 2665035 das 2665035 2665495 null 2665495 2665715 in 2665715 2665935 das 2665935 2666095 der 2666095 2666435 Fall 2666435 2666775 ist 2666775 2667355 möchte 2667355 2668215 ich 2668215 2668375 in 2668375 2668495 den 2668495 2668935 Zustand 2668935 2669335 hundert 2669335 2669695 gehen 2669695 2669975 also 2669975 2670235 Z 2670235 2671135 dreiundvierzig 2671135 2671975 minus 2671975 2672495 hundert 2672495 2672735 ins 2672735 2674115 Quadrat 2674115 2674315 ich 2674315 2674655 möchte 2674655 2674835 dass 2674835 2674955 der 2674955 2675255 Wert 2675255 2675455 von 2675455 2675755 X 2675755 2676475 unverändert 2676475 2677175 bleibt 2677175 2677335 X 2677335 2678055 dreiundvierzig 2678055 2678335 minus 2678335 2679215 sechsundvierzig 2679215 2679395 ins 2679395 2680215 Quadrat 2680215 2680415 diese 2680415 2680855 Differenz 2680855 2681035 soll 2681035 2681315 null 2681315 2682195 werden 2682195 2682395 und 2682395 2682515 ich 2682515 2682795 möchte 2682795 2682935 dass 2682935 2683055 der 2683055 2683275 Wert 2683275 2683595 von 2683595 2684035 Y 2684035 2684635 unverändert 2684635 2685355 bleibt 2685355 2685875 schon 2685875 2686515 dreiundvierzig 2686515 2686955 bis 2686955 2687635 zwoundvierzig 2687635 2687815 ins 2687815 2688815 Quadrat 2688815 2689035 dieser 2689035 2689535 vorderste 2689535 2690415 Faktor 2690415 2690735 wird 2690735 2691055 dann 2691055 2691275 und 2691275 2691515 nur 2691515 2691755 dann 2691755 2692535 null 2692535 2692735 mit 2692735 2692875 dem 2692875 2693275 Zustand 2693275 2693475 Nummer 2693475 2693975 dreizehn 2693975 2694735 bin 2694735 2695455 das 2695455 2695915 hintere 2695915 2696155 Bild 2696155 2696375 von 2696375 2697235 X 2697235 2697495 eine 2697495 2697735 null 2697735 2698655 ist 2698655 2699155 und 2699155 2699735 ich 2699735 2700215 danach 2700215 2700395 eine 2700395 2701195 Zustand 2701195 2701655 hundert 2701655 2702695 gehe 2702695 2702955 und 2702955 2703195 X 2703195 2703315 und 2703315 2703655 Y 2703655 2704215 unverändert 2704215 2704915 bleiben 2704915 2705155 dann 2705155 2705295 und 2705295 2705455 nur 2705455 2705675 dann 2705675 2705955 bitte 2705955 2706255 erste 2706255 2706635 Faktor 2706635 2707635 null 2707635 2708695 Verbandsverdeutlichung 2708695 2708855 noch 2708855 2708935 in 2708935 2709235 weiteren 2709235 2709615 Faktor 2709615 2710395 hin 2710395 2710575 wenn 2710575 2710695 der 2710695 2712055 Zustand 2712055 2712335 der 2712335 2712495 mit 2712495 2712595 der 2712595 2712835 Nummer 2712835 2713675 achtundneunzig 2713675 2714675 ist 2714675 2714875 und 2714875 2715015 wenn 2715015 2715195 das 2715195 2715535 letzte 2715535 2715775 Bit 2715775 2716635 ungerade 2716635 2717495 ist 2717495 2717835 minus 2717835 2718175 zwei 2718175 2718375 A 2718375 2718975 minus 2718975 2719775 eins 2719775 2719995 das 2719995 2720215 kann 2720215 2720395 dann 2720395 2720635 null 2720635 2721375 werden 2721375 2721595 nur 2721595 2721775 dann 2721775 2722015 null 2722015 2722535 werden 2722535 2722735 wenn 2722735 2722915 X 2722915 2723415 wahnwitzig 2723415 2723895 ungerade 2723895 2724835 ist 2724835 2725175 zeigte 2725175 2725515 dieses 2725515 2726035 A 2726035 2726275 von 2726275 2726455 dem 2726455 2726595 es 2726595 2726835 gibt 2726835 2726995 ein 2726995 2727695 paar 2727695 2727935 euch 2727935 2728235 kein 2728235 2728715 neues 2728715 2728855 es 2728855 2729095 gibt 2729095 2730015 davor 2730015 2730215 was 2730215 2730475 möchte 2730475 2730555 ich 2730555 2730735 dann 2730735 2730875 wenn 2730875 2731055 das 2731055 2731215 der 2731215 2731455 Fall 2731455 2732155 ist 2732155 2732595 möchte 2732595 2732695 ich 2732695 2732775 in 2732775 2732895 den 2732895 2733355 Zustand 2733355 2733655 sieben 2733655 2734335 gehen 2734335 2734575 und 2734575 2734895 möchte 2734895 2735195 vielleicht 2735195 2735375 mal 2735375 2736255 schieben 2736255 2736555 X 2736555 2737715 dreiundvierzig 2737715 2738195 minus 2738195 2738675 eins 2738675 2739875 Quadrat 2739875 2740035 in 2740035 2740335 Ar 2740335 2740735 stehen 2740735 2740815 die 2740815 2741335 vorderen 2741335 2741675 Bits 2741675 2741975 von 2741975 2742135 X 2742135 2742895 zweiundvierzig 2742895 2743855 drin 2743855 2744235 extra 2744235 2744335 in 2744335 2744775 vierzig 2744775 2745015 hat 2745015 2745255 jetzt 2745255 2745495 noch 2745495 2745635 die 2745635 2746115 vorderen 2746115 2746695 Witz 2746695 2746855 ich 2746855 2746995 bin 2746995 2747335 hinten 2747335 2747475 ein 2747475 2747655 Bit 2747655 2748615 losgeworden 2748615 2748815 das 2748815 2748995 Bild 2748995 2749175 was 2749175 2749295 ich 2749295 2749975 losgeworden 2749975 2750175 bin 2750175 2750375 ist 2750375 2750895 eins 2750895 2751055 das 2751055 2751235 muss 2751235 2751535 dann 2751535 2752075 Y 2752075 2753035 rein 2753035 2753255 muss 2753255 2753675 Y 2753675 2754335 gegenläufig 2754335 2755395 verschieben 2755395 2755695 als 2755695 2755795 ob 2755795 2756155 sondern 2756155 2756495 vierzig 2756495 2756775 minus 2756775 2756995 zwei 2756995 2757175 hundert 2757175 2757595 Y 2757595 2758335 zwoundvierzig 2758335 2758655 minus 2758655 2759795 eins 2759795 2760355 Quadrat 2760355 2760475 und 2760475 2760615 hier 2760615 2760735 noch 2760735 2760855 die 2760855 2761675 Klammer zu 2761675 2762075 Y 2762075 2762235 ist 2762235 2762455 das 2762455 2762595 was 2762595 2762675 es 2762675 2762955 vorher 2762955 2763195 war 2763195 2763535 Meister 2763535 2763795 links 2763795 2764535 geschoben 2764535 2764935 und 2764935 2765295 noch 2765295 2765455 mit 2765455 2765795 eins 2765795 2766475 dran 2766475 2766735 was 2766735 2767055 aus 2767055 2767395 X 2767395 2768755 rausgeflogen 2768755 2769955 und so weiter 2769955 2770675 und so weiter 2770675 2770855 für 2770855 2771215 jeden 2771215 2772135 Fall 2772135 2772275 in 2772275 2772395 dem 2772395 2772735 endlichen 2772735 2774315 Automaten 2774315 2774595 was 2774595 2774715 wir 2774715 2774915 hier 2774915 2775835 haben 2775835 2776095 ist 2776095 2776715 ein 2776715 2777395 absurdes 2777395 2778495 Sammelsurium 2778495 2779315 von 2779315 2781595 plusminus 2781595 2781955 ganze 2781955 2783955 Zahlenmultiplikation 2783955 2784655 quadratischen 2784655 2785615 Multiplikation 2785615 2785895 und 2785895 2786135 hier 2786135 2787335 Multiplikation 2787335 2787475 es 2787475 2787655 ist 2787655 2787775 ein 2787775 2789195 Polynom 2789195 2789315 in 2789315 2789455 das 2789455 2789915 Polynom 2789915 2790135 setzt 2790135 2790315 sich 2790315 2791055 ein 2791055 2791315 Z 2791315 2792395 zweiundvierzig 2792395 2792675 X 2792675 2793675 zweiundvierzig 2793675 2794215 Y 2794215 2795415 zweiundvierzig 2795415 2795875 dieses 2795875 2796655 Ahr 2796655 2796915 setzt 2796915 2797155 sich 2797155 2797635 ein 2797635 2797775 für 2797775 2797915 die 2797915 2798175 Werte 2798175 2798495 nach 2798495 2798695 dem 2798695 2799075 Schritt 2799075 2799495 also 2799495 2799795 Z 2799795 2800815 dreiundvierzig 2800815 2801095 X 2801095 2802075 dreiundvierzig 2802075 2802875 und 2802875 2803315 Y 2803315 2805115 dreiundvierzig 2805115 2805395 das 2805395 2805555 ist 2805555 2805695 ein 2805695 2806475 Polynom 2806475 2806735 aber 2806735 2807275 natürlich 2807275 2807775 ein 2807775 2808575 absurd 2808575 2809255 kompliziertes 2809255 2810515 Polynom 2810515 2810675 habe 2810675 2810815 ich 2810815 2811235 einen 2811235 2811555 Schritt 2811555 2812435 übersetzt 2812435 2812735 einen 2812735 2813355 Schritt 2813355 2813595 ?? 2813595 2814215 kritisiert 2814215 2815395 sozusagen 2815395 2815615 was 2815615 2815815 sich 2815815 2816215 aber 2816215 2816795 meditieren 2816795 2817055 will 2817055 2817295 ist 2817295 2817395 die 2817395 2818015 Aussage 2818015 2818195 dass 2818195 2818375 das 2818375 2818955 Programm 2818955 2819995 mindestens 2819995 2820355 N 2820355 2820715 Schritte 2820715 2822075 läuft 2822075 2822215 ein 2822215 2823115 Programm 2823115 2823955 mit 2823955 2824735 Argument 2824735 2826015 Q 2826015 2826415 läuft 2826415 2826955 mindestens 2826955 2827115 ein 2827115 2828115 Schritte 2828115 2828355 jetzt 2828355 2828735 versuche 2828735 2828815 ich 2828815 2829035 diese 2829035 2829215 en 2829215 2829495 Schritte 2829495 2830455 nachzuvollziehen 2830455 2830635 mit 2830635 2830935 meinem 2830935 2831755 Polynom 2831755 2832015 und 2832015 2832635 stehen 2832635 2832975 Z 2832975 2833135 und 2833135 2833315 X 2833315 2833435 und 2833435 2834635 Y 2834635 2834875 nach 2834875 2835075 dem 2835075 2835435 ersten 2835435 2835795 Schritt 2835795 2835995 habe 2835995 2836115 ich 2836115 2836275 ein 2836275 2837315 Z eins 2837315 2837515 ein 2837515 2838215 X eins 2838215 2838435 und 2838435 2838915 ein 2838915 2839415 Y 2839415 2840275 eins 2840275 2840635 etliches 2840635 2840855 als 2840855 2841315 natürliche 2841315 2841695 Zahlen 2841695 2841935 keine 2841935 2842295 ganzen 2842295 2843055 Zahlen 2843055 2843835 und so weiter 2843835 2844575 und so weiter 2844575 2844795 und 2844795 2845015 nach 2845015 2845215 dem 2845215 2845555 enden 2845555 2845835 Schritt 2845835 2846055 habe 2846055 2846175 ich 2846175 2846355 ein 2846355 2846815 Z 2846815 2847175 N 2847175 2848055 ein 2848055 2848415 X 2848415 2849275 N 2849275 2849555 und 2849555 2849855 ein 2849855 2850455 Y 2850455 2851535 ähm 2851535 2851735 noch 2851735 2851975 diese 2851975 2853235 Arztesvariablen 2853235 2853395 für 2853395 2853735 jeden 2853735 2854715 Schritt 2854715 2855055 nämlich 2855055 2855255 mal 2855255 2855615 eines 2855615 2855835 dieser 2855835 2856615 Hilfsvariablen 2856615 2857975 rein 2857975 2858235 muss 2858235 2858375 für 2858375 2858755 jeden 2858755 2859255 Schritt 2859255 2859615 dieses 2859615 2860795 Polynom 2860795 2861115 null 2861115 2861675 sein 2861675 2861875 war 2861875 2861995 die 2861995 2862815 Bedingung 2862815 2862995 ich 2862995 2863295 fange 2863295 2863475 an 2863475 2863595 den 2863595 2864255 Zustand 2864255 2865155 null 2865155 2865335 in 2865335 2865575 X 2865575 2865775 steht 2865775 2865955 das 2865955 2866955 Argument 2866955 2867815 Q 2867815 2868235 und 2868235 2868435 in 2868435 2868995 Y 2868995 2869235 steht 2869235 2869395 das 2869395 2870755 Programm 2870755 2871255 einst 2871255 2871355 die 2871355 2872155 Hilfsvariable 2872155 2872535 und 2872535 2872875 nach 2872875 2873055 dem 2873055 2873395 ersten 2873395 2873615 Schritt 2873615 2873795 habe 2873795 2873895 ich 2873895 2874215 Z 2874215 2874635 eins 2874635 2876015 X eins 2876015 2876475 Y 2876475 2877155 eins 2877155 2877415 das 2877415 2877635 muss 2877635 2877875 Null 2877875 2878435 sein 2878435 2879595 und 2879595 2880015 von 2880015 2880475 Z 2880475 2881015 eins 2881015 2882435 X eins 2882435 2882935 Y 2882935 2883535 eins 2883535 2883815 mit 2883815 2884015 A 2884015 2884995 zwei 2884995 2885335 Z 2885335 2885975 zwei 2885975 2886275 X 2886275 2887055 zwei 2887055 2887655 Y 2887655 2888455 zwei 2888455 2888735 das 2888735 2888935 muss 2888935 2889175 neu 2889175 2889815 sein 2889815 2890755 und 2890755 2891235 und 2891235 2891835 und 2891835 2892075 und 2892075 2892175 der 2892175 2892495 letzte 2892495 2892615 im 2892615 2892935 Bunde 2892935 2893175 wird 2893175 2894195 sein 2894195 2894615 Z 2894615 2894935 ähm 2894935 2895275 minus 2895275 2896075 eins 2896075 2896475 X 2896475 2896795 ähm 2896795 2897195 minus 2897195 2897715 ein 2947726 2948406 Y 2948406 2948766 N 2948766 2949146 minus 2949146 2949906 eins 2949906 2950166 A 2950166 2950866 N 2950866 2951286 Z 2951286 2951546 N 2951546 2951926 X 2951926 2952866 ähm 2952866 2953306 Y 2953306 2953886 N 2953886 2954146 das 2954146 2954346 muss 2954346 2954566 neu 2954566 2955566 sein 2955566 2955826 das 2955826 2956426 bedeutet 2956426 2956886 es 2956886 2957406 mindestens 2957406 2957586 N 2957586 2957886 Schritte 2957886 2958086 zu 2958086 2959146 laufen 2959146 2959206 ?? 2959206 2959686 Funktion 2959686 2960286 F vier 2960286 2960566 sorgt 2960566 2960666 für 2960666 2961066 jeweils 2961066 2961326 einen 2961326 2961646 Schritt 2961646 2961806 oder 2961806 2962026 sollte 2962026 2962506 Sankt 2962506 2962746 ihren 2962746 2962966 Sohn 2962966 2963666 L vier 2963666 2964066 prüft 2964066 2964506 jeweils 2964506 2964786 einen 2964786 2965166 Schritt 2965166 2965246 in 2965246 2965386 dem 2965386 2965786 endlichen 2965786 2966666 Automaten 2966666 2966926 guckt 2966926 2967166 hier 2967166 2967266 im 2967266 2967666 Speicher 2967666 2968486 nach 2968486 2968726 ob 2968726 2968926 auch 2968926 2969106 das 2969106 2969406 richtige 2969406 2969846 passiert 2969846 2971726 ist 2971726 2971866 im 2971866 2973186 Prinzip 2973186 2973406 sind 2973406 2973546 wir 2973546 2973906 seitlich 2973906 2974746 fertig 2974746 2974986 hier 2974986 2975326 steht 2975326 2975566 eine 2975566 2976206 arithmetisch 2976206 2976606 logische 2976606 2977586 Formel 2977586 2977806 und 2977806 2978046 kein 2978046 2978446 Programm 2978446 2979206 mehr 2979206 2979426 was 2979426 2979606 jetzt 2979606 2979706 noch 2979706 2979826 ein 2979826 2980126 bisschen 2980126 2980626 nervt 2980626 2980946 ist 2980946 2981246 das 2981246 2981486 hier 2981486 2981766 die 2981766 2982426 Anzahl 2982426 2982866 der 2982866 2984106 Variablen 2984106 2984386 von 2984386 2984606 N 2984606 2985366 abhängt 2985366 2985826 schöner 2985826 2986106 wäre 2986106 2986466 eine 2986466 2986826 einzige 2986826 2987186 Formel 2987186 2987366 zu 2987366 2988006 haben 2988006 2988146 in 2988146 2988266 die 2988266 2988446 eine 2988446 2988926 feste 2988926 2989206 Zahl 2989206 2989306 an 2989306 2989846 Variablen 2989846 2990166 drin 2990166 2990746 steht 2990746 2990926 auch 2990926 2991166 das 2991166 2991446 klappt 2991446 2991686 sogar 2991686 2992526 noch 2992526 2992766 sich 2992766 2992986 erst 2992986 2993126 mal 2993126 2993286 an 2993286 2993486 von 2993486 2993666 wo 2993666 2993886 bis 2993886 2994086 wo 2994086 2994326 diese 2994326 2995006 ganzen 2995006 2995586 Variablen 2995586 2995706 hier 2995706 2996786 laufen 2996786 2996926 wie 2996926 2997226 gesagt 2997226 2997286 er 2997286 2997506 soll 2997506 2997926 natürliche 2997926 2998266 Zahlen 2998266 2998426 ab 2998426 2998666 null 2998666 2999386 sein 2999386 2999946 versicherten 2999946 3000286 untere 3000286 3001166 Grenze 3001166 3001506 Z 3001506 3001706 ist 3001706 3001846 ein 3001846 3003226 Zustand 3003226 3004266 das heißt 3004266 3004506 wenn 3004506 3004586 ich 3004586 3004686 die 3004686 3004946 Zahl 3004946 3005046 der 3005046 3005646 Zustände 3005646 3006846 weiß 3006846 3006986 über 3006986 3007086 die 3007086 3008366 Makros 3008366 3009566 Z 3009566 3009806 und 3009806 3009926 ich 3009926 3010086 doch 3010086 3010286 mal 3010286 3010386 die 3010386 3010906 Zustände 3010906 3011246 sollen 3011246 3011566 sein 3011566 3011906 von 3011906 3012346 null 3012346 3012626 bis 3012626 3013126 groß Z 3013126 3013446 minus 3013446 3014726 eins 3014726 3014926 habe 3014926 3015026 ich 3015026 3015166 eben 3015166 3015946 groß Z 3015946 3016666 Zustände 3016666 3017066 dieses 3017066 3017886 Z eins 3017886 3018066 ist 3018066 3018426 kleiner 3018426 3018786 als 3018786 3019346 groß Z 3019346 3019906 dieses 3019906 3020186 Z 3020186 3020966 N 3020966 3021226 S 3021226 3021786 kleiner als 3021786 3022626 groß Z 3022626 3022806 da 3022806 3023046 kuck 3023046 3023146 ich 3023146 3023286 mir 3023286 3023486 also 3023486 3023646 immer 3023646 3023766 nur 3023766 3023906 eine 3023906 3024266 feste 3024266 3024526 Zahl 3024526 3024606 an 3024606 3025206 Zuständen 3025206 3026346 an 3026346 3026526 mit 3026526 3026686 dem 3026686 3026946 X 3026946 3027086 und 3027086 3027886 Y 3027886 3028146 gleich 3028146 3028286 mit 3028286 3028466 den 3028466 3029366 Aaswitzen 3029366 3029626 bisschen 3029626 3030726 komplizierter 3030726 3031026 vor 3031026 3031186 dem 3031186 3031546 ersten 3031546 3031846 Schritt 3031846 3032026 ist 3032026 3032206 das 3032206 3032726 X 3032726 3033046 gleich 3033046 3033226 dem 3033226 3034346 Coup 3034346 3034466 in 3034466 3034626 dem 3034626 3034886 einen 3034886 3035826 Schritt 3035826 3035986 kann 3035986 3036126 ich 3036126 3036266 aber 3036266 3036506 das 3036506 3036786 X 3036786 3036966 dann 3036966 3037426 höchstens 3037426 3037586 um 3037586 3037846 ein 3037846 3038066 Bit 3038066 3038706 verschieben 3038706 3038926 und 3038926 3039386 hinten 3039386 3039426 ?? 3039426 3039806 eins 3039806 3040126 rein 3040126 3041166 schieben 3041166 3041886 das heißt 3041886 3042046 es 3042046 3042806 X eins 3042806 3043026 ist 3043026 3043306 auf 3043306 3043626 jeden 3043626 3043866 Fall 3043866 3044866 kleiner 3044866 3045166 als 3045166 3045586 zwei 3045586 3046186 Q 3046186 3046486 plus 3046486 3047706 zwei 3047706 3047886 im 3047886 3048366 nächsten 3048366 3049006 Schritt 3049006 3049166 kann 3049166 3049386 das 3049386 3050406 X eins 3050406 3050886 höchstens 3050886 3051026 um 3051026 3051446 einen 3051446 3052066 Schritt 3052066 3052286 nach 3052286 3052606 links 3052606 3053246 Wandern 3053246 3053426 und 3053426 3053786 hinten 3053786 3054026 noch 3054026 3054206 nach 3054206 3054606 eins 3054606 3054866 rein 3054866 3055566 bekommen 3055566 3055886 das 3055886 3056186 sagt 3056186 3056306 mir 3056306 3057046 was 3057046 3057366 über 3057366 3057566 X 3057566 3057946 zwei 3057946 3058606 und so weiter 3058606 3059646 und so weiter 3059646 3059806 und 3059806 3059946 das 3059946 3060746 weiterverfolgt 3060746 3060946 sieht 3060946 3061106 man 3061106 3061326 dass 3061326 3061746 dieses 3061746 3062066 X 3062066 3062866 N 3062866 3063426 kleiner 3063426 3063726 sein 3063726 3064066 muss 3064066 3064306 als 3064306 3064706 zwei 3064706 3065466 hocheinmal 3065466 3065966 Q 3065966 3066206 plus 3066206 3066546 zwei 3066546 3067986 UN 3067986 3068346 dieses 3068346 3068926 Kuh 3068926 3069186 wird 3069186 3070006 maximal 3070006 3070326 ähm 3070326 3070606 mal 3070606 3070786 nach 3070786 3071046 links 3071046 3071746 verschoben 3071746 3072066 also 3072066 3072306 mal 3072306 3072606 zwei 3072606 3072846 hoch 3072846 3073446 en 3073446 3073606 und 3073606 3073726 dann 3073726 3073906 kann 3073906 3073986 ich 3073986 3074326 dahinter 3074326 3074666 lauter 3074666 3075126 Einsen 3075126 3075666 packen 3075666 3076006 lauter 3076006 3076366 Einsen 3076366 3076626 während 3076626 3076866 zwei 3076866 3077786 Wochen 3077786 3078146 minus 3078146 3078886 eins 3078886 3079166 steht 3079166 3079526 mit 3079526 3079926 kleiner 3079926 3080446 Zeichen 3080446 3080586 ich 3080586 3080726 gehe 3080726 3080886 noch 3080886 3080986 ein 3080986 3082366 zweiter 3082366 3083066 Y 3083066 3083886 analog 3083886 3084166 schreibe 3084166 3084386 jetzt 3084386 3084586 kann 3084586 3084746 ich 3084746 3085246 ihn 3085246 3085486 mit 3085486 3085706 dem 3085706 3085946 P 3085946 3087246 natürlich 3087246 3087426 und 3087426 3087586 für 3087586 3087826 diese 3087826 3088586 Aas 3088586 3088746 muss 3088746 3088866 man 3088866 3089006 sich 3089006 3089166 was 3089166 3089506 kluges 3089506 3090246 überlegen 3090246 3090406 die 3090406 3090726 werden 3090726 3090986 mal 3090986 3091146 bei 3091146 3091466 X 3091466 3091666 mal 3091666 3091846 bei 3091846 3092366 Y 3092366 3093586 vorkommen 3093586 3093806 und 3093806 3094186 sind 3094186 3095006 sozusagen 3095006 3095206 immer 3095206 3095446 die 3095446 3096126 Hälfte 3096126 3096366 von 3096366 3096566 X 3096566 3096686 und 3096686 3097246 Y 3097246 3097506 plus 3097506 3097886 minus 3097886 3098246 eins 3098246 3098706 das heißt 3098706 3098846 auch 3098846 3099046 diese 3099046 3099546 Asia 3099546 3099886 werden 3099886 3100906 irgendwie 3100906 3101106 auch 3101106 3101266 ganz 3101266 3101806 fürchterlich 3101806 3102226 gedeckt 3102226 3104426 sein 3104426 3104606 und 3104606 3104826 jetzt 3104826 3105026 kommt 3105026 3105106 der 3105106 3105446 große 3105446 3106586 Kunstgriff 3106586 3106906 damit 3106906 3106986 die 3106986 3107726 Anzahl 3107726 3107866 der 3107866 3108406 Variablen 3108406 3108546 hier 3108546 3108766 nicht 3108766 3109026 von 3109026 3109226 N 3109226 3110106 abhängt 3110106 3110246 ich 3110246 3110466 gucke 3110466 3110606 mir 3110606 3110786 ?? 3110786 3110926 nur 3110926 3111286 das 3111286 3111826 Z 3111826 3112326 an 3112326 3112466 ich 3112466 3113066 habe 3113066 3113706 ähm 3113706 3114046 von 3114046 3114326 diesen 3114326 3115046 setz 3115046 3115526 jedes 3115526 3115946 davon 3115946 3116186 ist 3116186 3116526 gedeckt 3116526 3117306 gilt 3117306 3117506 der 3117506 3117946 Gedanke 3117946 3118186 ist 3118186 3118266 ich 3118266 3118906 konstruiere 3118906 3119366 eine 3119366 3119886 einzige 3119886 3120746 Zahl 3120746 3121446 sozusagen 3121446 3121586 im 3121586 3123206 Zahlensystem 3123206 3123426 mit 3123426 3123566 der 3123566 3124206 Basis 3124206 3124966 Z 3124966 3125326 stellen 3125326 3125526 uns 3125526 3125706 das 3125706 3125786 im 3125786 3126666 Zehnersystem 3126666 3127286 vor 3127286 3127546 wenn 3127546 3127646 ich 3127646 3127826 so 3127826 3128046 eine 3128046 3128486 Zahl 3128486 3128646 im 3128646 3129526 Zehnersystem 3129526 3130426 habe 3130426 3130646 dann 3130646 3130886 kann 3130886 3131026 ich 3131026 3131286 daher 3131286 3131706 fünf 3131706 3132466 einzelne 3132466 3132986 Stellen 3132986 3133326 draus 3133326 3133686 machen 3133686 3134006 fünf 3134006 3134546 Zahlen 3134546 3134866 fünf 3134866 3135426 Ziffern 3135426 3135646 soll 3135646 3135726 ich 3135726 3136106 sagen 3136106 3136306 ?? 3136306 3136626 von 3136626 3136866 null 3136866 3137066 bis 3137066 3137846 neun 3137846 3138026 wenn 3138026 3138126 ich 3138126 3138286 das 3138286 3138466 nicht 3138466 3138746 mit 3138746 3138966 null 3138966 3139186 bis 3139186 3139566 neun 3139566 3140346 mache 3140346 3141106 sondern 3141106 3141486 mit 3141486 3141766 null 3141766 3142146 bis 3142146 3142446 Z 3142446 3142866 minus 3142866 3143246 eins 3143246 3144166 mache 3144166 3144386 kann 3144386 3144846 ich 3144846 3145786 soundsoviel 3145786 3146426 quasi 3146426 3146986 Ziffern 3146986 3147226 von 3147226 3147386 null 3147386 3147606 bis 3147606 3147806 Z 3147806 3148066 minus 3148066 3148466 eins 3148466 3149586 generieren 3149586 3149766 das 3149766 3149886 es 3149886 3150066 mein 3150066 3150626 Gedanke 3150626 3150826 ich 3150826 3151126 baue 3151126 3151506 eine 3151506 3151926 große 3151926 3152746 Zahl 3152746 3153046 und 3153046 3153546 generieren 3153546 3154026 daraus 3154026 3154906 Ziffern 3154906 3155226 aber 3155226 3155586 nicht 3155586 3156006 im 3156006 3156946 Zehnersystem 3156946 3157266 sondern 3157266 3157386 im 3157386 3157766 System 3157766 3157906 mit 3157906 3158026 der 3158026 3158506 Basis 3158506 3159406 Z 3159406 3160146 eine 3160146 3160786 typischerweise 3160786 3161326 monströs 3161326 3161666 große 3161666 3162026 Zahl 3162026 3162786 jetzt 3162786 3163346 aber 3163346 3163666 immer 3163666 3163866 noch 3163866 3164606 gedeckselte 3164606 3164946 mich 3164946 3165126 die 3165126 3165486 Zahl 3165486 3165586 der 3165586 3166726 Zustände 3166726 3168186 Hochentschluss 3168186 3168986 eins 3168986 3169186 und 3169186 3169846 daraus 3169846 3170486 destilliert 3170486 3170626 ich 3170626 3170926 jetzt 3170926 3171646 sozusagen 3171646 3172746 einzelne 3172746 3173786 Ziffern 3173786 3173966 für 3173966 3174366 jede 3174366 3174866 einzelne 3174866 3175566 Ziffer 3175566 3175786 kann 3175786 3175886 ich 3175886 3176046 mit 3176046 3176266 diesem 3176266 3176466 für 3176466 3176706 alle 3176706 3177026 jetzt 3177026 3177266 hier 3177266 3177446 für 3177446 3177846 jede 3177846 3178366 einzelne 3178366 3178906 Ziffern 3178906 3179586 sozusagen 3179586 3179766 da 3179766 3180726 drin 3180726 3181186 generiere 3181186 3181286 ich 3181286 3181406 die 3181406 3181806 einzelne 3181806 3182246 Ziffer 3182246 3182426 und 3182426 3182746 setze 3182746 3182886 sie 3182886 3183106 dann 3183106 3183626 ein 3183626 3183966 für 3183966 3184366 jede 3184366 3185046 Ziffer 3185046 3185366 schreib 3185366 3185526 das 3185526 3185686 mal 3185686 3187106 Hindus 3187106 3187686 Aussehen 3187686 3187986 soll 3187986 3188306 mein 3188306 3190246 Polynom 3190246 3190506 wird 3190506 3190766 sicher 3190766 3191086 ein 3191086 3191746 Z 3191746 3192466 X 3192466 3193166 Y 3193166 3193706 Hartz 3193706 3194366 Z 3194366 3195266 X 3195266 3196486 Y 3196486 3196806 soll 3196806 3197186 Null 3197186 3198646 sein 3198646 3198906 muss 3198906 3199086 aus 3199086 3199346 diesem 3199346 3200066 Z 3200066 3200386 für 3200386 3200846 den 3200846 3201246 Schritt 3201246 3201406 mit 3201406 3201506 der 3201506 3201826 Nummer 3201826 3203126 K 3203126 3203666 zwei 3203666 3204626 verschiedene 3204626 3205026 Chats 3205026 3205786 generieren 3205786 3206026 das 3206026 3206546 Vorher 3206546 3206726 und 3206726 3206906 das 3206906 3207486 Nachher 3207486 3208686 Vorher 3208686 3209826 Nachher 3209826 3210046 das 3210046 3210246 dann 3210246 3210546 einfach 3210546 3211406 aufeinanderfolgende 3211406 3212946 Ziffern 3212946 3213286 diese 3213286 3213566 Zahl 3213566 3214926 Z 3214926 3215246 Zelle 3215246 3215686 lege 3215686 3216126 ich 3216126 3216566 quasi 3216566 3216666 in 3216666 3218066 Ziffern 3218066 3218186 der 3218186 3218546 set 3218546 3219526 Strich 3219526 3219906 steht 3219906 3220086 mit 3220086 3220806 der 3220806 3222206 Kartenpotenz 3222206 3222446 von 3222446 3222586 dem 3222586 3223646 groß Z 3223646 3223966 und 3223966 3224146 das 3224146 3224426 Z 3224426 3224826 zwei 3224826 3225266 Strich 3225266 3225626 steht 3225626 3225806 mit 3225806 3226506 der 3226506 3226726 K 3226726 3227026 plus 3227026 3227446 ersten 3227446 3228006 Potenz 3228006 3228186 von 3228186 3228326 den 3228326 3229786 groß Z 3229786 3230006 habe 3230006 3230606 ich 3230606 3230866 alle 3230866 3231246 Ziffern 3231246 3231326 die 3231326 3231506 noch 3231506 3231986 davor 3231986 3232346 Komma 3232346 3232466 die 3232466 3232686 sind 3232686 3233466 soundsoviel 3233466 3234486 mal 3234486 3234666 die 3234666 3234906 K 3234906 3235226 plus 3235226 3235746 zweite 3235746 3236426 Potenz 3236426 3236566 von 3236566 3236746 dem 3236746 3237366 groß Z 3237366 3238006 lächelnder Smiley 3238006 3238446 U 3238446 3238686 und 3238686 3238966 hinten 3238966 3239166 habe 3239166 3239286 ich 3239286 3239726 noch 3239726 3239906 die 3239906 3240266 Ziffern 3240266 3241166 dahinter 3241166 3241446 nennen 3241446 3241586 die 3241586 3241786 dann 3241786 3241986 mal 3241986 3242486 V 3242486 3242906 zusammen 3242906 3244206 genommen 3244206 3244406 und 3244406 3244586 jetzt 3244586 3244746 muss 3244746 3244826 ich 3244826 3245046 diese 3245046 3246526 Zerlegung 3246526 3246806 noch 3246806 3246986 mit 3246986 3247366 zum 3247366 3247546 Ex 3247546 3247726 ist 3297737 3297957 ins 3297957 3298277 Konto 3298277 3298577 dahin 3298577 3300037 basteln 3300037 3300297 es 3300297 3300637 gibt 3300637 3301777 also 3301777 3301997 hier 3301997 3302457 vorne 3302457 3302717 diese 3302717 3304237 so 3304237 3304457 muss 3304457 3304657 ich 3304657 3304897 weiter 3304897 3305357 vorsichtig 3305357 3305597 sein 3305597 3306177 Hauptsache 3306177 3306397 es 3306397 3306557 ist 3306557 3306737 eine 3306737 3307057 Zahl 3307057 3307177 ab 3307177 3307397 null 3307397 3308497 aufwärts 3308497 3308677 ich 3308677 3308897 kann 3308897 3309037 sehr 3309037 3309577 großzügig 3309577 3309797 sein 3309797 3309917 bei 3309917 3310017 der 3310017 3310317 oberen 3310317 3310737 Grenze 3310737 3310897 ich 3310897 3311157 gebe 3311157 3311537 einfach 3311537 3311777 mal 3311777 3312117 an 3312117 3312857 groß Z 3312857 3313477 hoch 3313477 3314037 N 3314037 3314237 dann 3314237 3314377 bin 3314377 3314457 ich 3314457 3314577 auf 3314577 3314657 der 3314657 3314977 sicheren 3314977 3315317 Seite 3315317 3315477 auch 3315477 3315637 wenn 3315637 3315757 ich 3315757 3315917 hier 3315917 3316137 Id 3316137 3316337 viel 3316337 3316477 zu 3316477 3316657 viel 3316657 3317717 machen 3317717 3318117 dann 3318117 3318457 dieses 3318457 3318737 setzt 3318737 3319937 Beistrich 3319937 3320117 dass 3320117 3320257 es 3320257 3320357 ja 3320357 3320637 eine 3320637 3321097 Ziffer 3321097 3321237 die 3321237 3321497 ist 3321497 3322597 maximal 3322597 3323237 groß Z 3323237 3323537 minus 3323537 3323917 eins 3323917 3324577 unbeschreibliche 3324577 3325237 kleiner 3325237 3326057 groß Z 3326057 3326597 dasselbe 3326597 3326817 gilt 3326817 3326977 für 3326977 3327217 Z 3327217 3328297 strich 3328297 3328537 dieses 3328537 3328937 V 3328937 3329417 Hindernis 3329417 3329857 maximal 3329857 3330177 jedoch 3330177 3330797 kamen 3330797 3331237 minus 3331237 3333017 eins 3333017 3333317 damit 3333317 3333457 habe 3333457 3333557 ich 3333557 3333737 das 3333737 3334017 Z 3334017 3335137 erledigt 3335137 3335277 und 3335277 3335417 kann 3335417 3335557 sich 3335557 3335777 jetzt 3335777 3336217 vorsichtig 3336217 3336837 vorstellen 3336837 3336997 das 3336997 3337177 mit 3337177 3337477 X 3337477 3337597 und 3337597 3338097 Y 3338097 3338237 und 3338237 3338417 mit 3338417 3339357 Ahr 3339357 3339577 was 3339577 3339997 ähnliches 3339997 3340517 passieren 3340517 3341377 muss 3341377 3341517 es 3341517 3341657 ist 3341657 3341757 ein 3341757 3342037 bisschen 3342037 3342417 ekliger 3342417 3342697 sich 3342697 3342817 die 3342817 3343197 Grenzen 3343197 3343977 ausdenkt 3343977 3344097 und 3344097 3344257 sich 3344257 3344377 hier 3344377 3344617 außer 3344617 3344917 denken 3344917 3345077 was 3345077 3345177 man 3345177 3345377 statt 3345377 3345897 groß Z 3345897 3346717 einsetzt 3346717 3346897 aber 3346897 3346977 im 3346977 3347377 Prinzip 3347377 3347637 muss 3347637 3347817 das 3347817 3349097 Funktionieren 3349097 3349357 als 3349357 3349497 ihr 3349497 3349957 gerissener 3349957 3350397 weiter 3350397 3351277 mit 3351277 3352077 X 3352077 3352677 und 3352677 3353317 Y 3353317 3353557 und 3353557 3354217 A 3354217 3354417 und 3354417 3354617 hier 3354617 3354917 geht's 3354917 3355017 ?? 3355017 3355257 eben 3355257 3355437 noch 3355437 3356277 weiter 3356277 3356917 und 3356917 3357097 hier 3357097 3357357 geht's 3357357 3357837 entsprechend 3357837 3358577 weiter 3358577 3358897 und 3358897 3359077 hier 3359077 3359357 kommt 3359357 3359557 dann 3359557 3359957 sowas 3359957 3360157 wie 3360157 3360397 X 3360397 3360857 Strich 3360857 3361357 Y 3361357 3362737 Strichhaar 3362737 3363137 X 3363137 3364197 Beistrich 3364197 3364597 Absatz 3364597 3365077 Beistrich 3365077 3366137 rein 3366137 3366517 entweder 3366517 3366677 noch 3366677 3366977 eine 3366977 3367737 Sache 3367737 3367957 die 3367957 3369817 Anfangsbedingung 3369817 3369997 ich 3369997 3370197 muss 3370197 3370377 noch 3370377 3371497 fordern 3371497 3372317 Fanka 3372317 3372637 gleich 3372637 3372857 Null 3372857 3374097 ist 3374097 3374277 und 3374277 3374377 ich 3374377 3374517 dann 3374517 3374677 den 3374677 3375057 ersten 3375057 3375377 Schritt 3375377 3376657 mache 3376657 3377057 dann 3377057 3377817 muss 3377817 3378137 Z 3378137 3378717 strich 3378717 3379117 gleich 3379117 3379457 null 3379457 3379797 sein 3379797 3379917 ich 3379917 3380197 möchte 3380197 3380277 im 3380277 3380737 Zustand 3380737 3380937 null 3380937 3382117 starten 3382117 3382497 und 3382497 3382637 es 3382637 3382957 muss 3382957 3383197 X 3383197 3383857 strich 3383857 3384157 gleich 3384157 3384397 dem 3384397 3384897 Argument 3384897 3385377 sein 3385377 3385577 und 3385577 3385737 es 3385737 3385997 muss 3385997 3386577 Y 3386577 3387357 strich 3387357 3387697 gleich 3387697 3387837 dem 3387837 3388317 Programm 3388317 3389517 sein 3389517 3389757 jetzt 3389757 3389897 habe 3389897 3389977 ich 3389977 3390157 das 3390157 3390437 wirklich 3390437 3390937 vernünftig 3390937 3391117 ?? 3391117 3392317 kritisiert 3392317 3392457 hier 3392457 3392697 steht 3392697 3392877 eine 3392877 3393337 feste 3393337 3393697 Zahl 3393697 3393797 an 3393797 3394737 Konturen 3394737 3395117 denkt 3395117 3395357 nicht 3395357 3395497 mehr 3395497 3395717 von 3395717 3395917 dem 3395917 3396117 en 3396117 3397637 ab 3397637 3397797 es 3397797 3398077 gibt 3398077 3398217 es 3398217 3398457 gibt 3398457 3398597 es 3398597 3398877 gibt 3398877 3399197 für 3399197 3399597 alles 3399597 3399837 gibt 3399837 3399977 es 3399977 3400177 gibt 3400177 3400317 es 3400317 3400557 gibt 3400557 3401577 und so weiter 3401577 3401857 alles 3401857 3402157 Sachen 3402157 3402257 die 3402257 3402417 man 3402417 3402557 mit 3402557 3402657 der 3402657 3403237 elementaren 3403237 3404057 Arithmetik 3404057 3404557 erledigen 3404557 3405817 kann 3405817 3406017 was 3406017 3406097 am 3406097 3406377 Rande 3406377 3406617 der 3406617 3407077 spannend 3407077 3407617 ist 3407617 3407817 bei 3407817 3408117 allen 3408117 3408377 diesen 3408377 3409017 Konturen 3409017 3409397 hier 3409397 3410297 stehen 3410297 3410897 endliche 3410897 3411457 Schranken 3411457 3412057 trennen 3412057 3412397 keine 3412397 3412537 der 3412537 3413097 Konturen 3413097 3413397 läuft 3413397 3413597 über 3413597 3413717 die 3413717 3414277 gesamten 3414277 3414817 natürlichen 3414817 3415877 Zahlen 3415877 3416137 was 3416137 3416257 ich 3416257 3416457 jetzt 3416457 3416877 erreicht 3416877 3417337 haben 3417337 3417597 diese 3417597 3418577 Formeln 3418577 3419197 logische 3419197 3419897 Formen 3419897 3420297 logisch 3420297 3420797 arithmetische 3420797 3421877 Formel 3421877 3422197 die 3422197 3422577 würde 3422577 3422837 man 3422837 3423237 jetzt 3423237 3423417 hier 3423417 3423837 oben 3423837 3424687 einsetzen 3478961 3479141 das 3479141 3479301 ist 3479301 3479421 der 3479421 3479821 grüne 3479821 3480681 Kasten 3480681 3480821 der 3480821 3481061 wird 3481061 3482241 ersetzt 3482241 3482461 durch 3482461 3482681 so 3482681 3483021 einen 3483021 3483621 arithmetisch 3483621 3484041 logischen 3484041 3485081 Ausdruck 3485081 3485301 und 3485301 3485461 mein 3485461 3486721 Beweissucher 3486721 3487961 suchten 3487961 3488181 nach 3488181 3488781 etwas 3488781 3489001 aus 3489001 3489101 der 3489101 3490761 Arithmetik 3490761 3491001 das 3491001 3491141 ist 3491141 3491321 diese 3491321 3491901 Übersetzung 3491901 3492721 hier 3492721 3492821 in 3492821 3492921 die 3492921 3493381 Theorie 3493381 3493841 genügend 3493841 3494141 viel 3494141 3494361 von 3494361 3495301 arithmetiknatürlichen 3495301 3495641 Zahlen 3495641 3496601 umfasst 3496601 3496921 dann 3496921 3497121 kann 3497121 3497221 ich 3497221 3497401 das 3497401 3497621 tun 3497621 3497781 was 3497781 3497881 ich 3497881 3498101 gerade 3498101 3498721 vorgeführt 3498721 3499241 habe 3499241 3499401 auch 3499401 3499701 etwas 3499701 3499881 über 3499881 3500341 Programme 3500341 3501401 aussagen 3501401 3501521 und 3501521 3501581 die 3501581 3501741 man 3501741 3502141 gesehen 3502141 3502701 hat 3502701 3502921 es 3502921 3503081 nichts 3503081 3503581 besonderes 3503581 3503741 von 3503741 3503821 der 3503821 3504241 Arithmetik 3504241 3504341 der 3504341 3504761 natürlichen 3504761 3505441 Zahlen 3505441 3505621 die 3505621 3505781 man 3505781 3506261 einbauen 3506261 3506981 muss 3506981 3507141 es 3507141 3507461 werden 3507461 3507901 extrem 3507901 3508421 komplizierte 3508421 3509261 Formeln 3509261 3509441 wenn 3509441 3509561 ich 3509561 3509881 wirklich 3509881 3510101 alles 3510101 3510901 hinschreiben 3510901 3511181 was 3511181 3511281 ich 3511281 3511421 da 3511421 3511781 ebenso 3511781 3512081 Hände 3512081 3512441 wird 3512441 3513021 angedeutet 3513021 3513421 habe