WEBVTT

NOTE PGD010 – automatic transcript (Whisper large-v3, wav2vec2 alignment, Sortformer + speaker embeddings). Generated by tools/transcribe/pi3tx.py, may contain errors.

00:00:01.220 --> 00:00:02.703
<v Petra>Herzlich willkommen zusammen.

00:00:02.703 --> 00:00:03.745
<v Petra>Es ist unglaublich,

00:00:03.745 --> 00:00:09.025
<v Petra>aber es ist schon die zehnte Folge von
unserem Irgendwas-mit-Mathe-Podcast, genau 3.

00:00:09.316 --> 00:00:11.588
<v Petra>Und wie immer sind am
Mikrofon Petra Schwer.

00:00:11.588 --> 00:00:12.705
<v Thomas>Und Thomas Kahle, hallo.

00:00:12.705 --> 00:00:14.950
<v Petra>Hallo. Worum geht's heute, Thomas?

00:00:15.022 --> 00:00:17.107
<v Thomas>Petra, heute geht's um große Zahlen.

00:00:17.107 --> 00:00:18.680
<v Thomas>Ich dachte, wir machen
wieder was Lustiges.

00:00:19.292 --> 00:00:22.650
<v Thomas>Und das fängt an mit
einem kleinen Wettbewerb.

00:00:22.961 --> 00:00:25.144
<v Thomas>Den müsste man eigentlich mit einer
größeren Gruppe machen oder so.

00:00:25.144 --> 00:00:26.917
<v Thomas>Aber wir können, ich mach
den jetzt mal nur mit dir.

00:00:27.288 --> 00:00:31.775
<v Thomas>Und zwar hast du 30 Sekunden Zeit,
um die größte Zahl zu sagen.

00:00:31.775 --> 00:00:35.321
<v Thomas>Und die Regeln sind so, also muss man
jetzt eine Zahl irgendwie angeben.

00:00:35.321 --> 00:00:37.626
<v Thomas>Eigentlich müsste man es so machen, dass
man es auf ein Post-it schreibt oder so.

00:00:37.626 --> 00:00:40.171
<v Thomas>Man hat irgendwie noch so nur,
sagen wir mal ein Post-it.

00:00:40.171 --> 00:00:42.076
<v Thomas>Du musst die größte Zahl, die du
auf ein Post-it schreiben kannst.

00:00:42.076 --> 00:00:43.047
<v Thomas>Und die Regeln sind so,

00:00:43.238 --> 00:00:45.432
<v Thomas>ich muss halt danach unter,

00:00:45.463 --> 00:00:48.237
<v Thomas>sagen wir mal, zur Hilfenahme
von mathematischer Fachliteratur,

00:00:48.388 --> 00:00:51.002
<v Thomas>auch wirklich bestimmen können,
welche Zahl das ist.

00:00:51.033 --> 00:00:54.643
<v Thomas>Also die muss halt definiert sein,
dadurch, was du da draufschreibst.

00:00:54.643 --> 00:00:55.731
<v Petra>Okay, soll man das jetzt machen?

00:00:55.731 --> 00:00:56.240
<v Petra>Soll man irgendwas hinschreiben?

00:00:56.240 --> 00:00:56.844
<v Petra>Also du kannst jetzt

00:00:56.844 --> 00:00:58.041
<v Thomas>nicht nur mal die größte
Zahl draufschreiben.

00:00:58.380 --> 00:00:59.030
<v Thomas>Nee,

00:00:59.030 --> 00:00:59.457
<v Petra>die gibt's ja nicht.

00:00:59.457 --> 00:01:01.348
<v Thomas>Weil dann kann ich ja die
nicht bestimmen da draus.

00:01:03.202 --> 00:01:05.149
<v Petra>Das hatten wir ja auch schon.
Ja, das gibt's ja auch nicht, ne?

00:01:05.149 --> 00:01:06.655
<v Petra>Hatten wir noch nicht, aber gibt's nicht.

00:01:06.655 --> 00:01:08.403
<v Petra>Gibt ja nicht die größte Zahl.

00:01:08.403 --> 00:01:09.930
<v Thomas>So, also was würdest du jetzt schreiben?

00:01:09.930 --> 00:01:12.410
<v Thomas>Oder wollen wir erstmal überlegen,
wie man da vorgehen will?

00:01:12.822 --> 00:01:15.069
<v Petra>Naja, ich muss ja nur eine
größere schreiben als du, ne?

00:01:15.069 --> 00:01:16.775
<v Petra>Wenn ich das Spiel jetzt
richtig verstanden habe.

00:01:16.775 --> 00:01:18.570
<v Petra>Um den Wettbewerb zu gewinnen.

00:01:18.823 --> 00:01:19.394
<v Thomas>Mhm.

00:01:19.566 --> 00:01:21.213
<v Petra>Ja, okay. Darf ich irgendwas machen?

00:01:21.213 --> 00:01:22.990
<v Thomas>Ich hab mich ja schon vorinformiert.

00:01:23.063 --> 00:01:26.038
<v Petra>Du hast dich vorinformiert. Ja, es gab
doch mal auch so einen Wettbewerb, oder?

00:01:26.038 --> 00:01:28.330
<v Petra>Gab es einen Wettbewerb?
Wo die in so einer Fernsehsendung…

00:01:29.000 --> 00:01:29.852
<v Petra>Du hast das bestimmt recherchiert.

00:01:29.852 --> 00:01:32.443
<v Thomas>Das könnte man als Klausuraufgabe
mal stellen, oder so.

00:01:32.443 --> 00:01:34.433
<v Petra>Nee, wo die in so einer
Fernsehsendung das gemacht haben

00:01:34.433 --> 00:01:35.969
<v Petra>und das dann nicht entscheiden konnten.

00:01:35.969 --> 00:01:37.220
<v Thomas>Ja, das habe ich… Das hast du
doch bestimmt recherchiert.

00:01:37.220 --> 00:01:38.923
<v Thomas>Das ist so eine Story,
die ich immer gerne rumerzähle.

00:01:38.923 --> 00:01:41.287
<v Thomas>Ja, genau. Aber ich habe die nicht
gefunden, diese Fernsehsendung.

00:01:41.287 --> 00:01:42.859
<v Thomas>Also vielleicht habe ich
mir das auch nur ausgedacht.

00:01:43.010 --> 00:01:46.115
<v Thomas>Aber es gibt verschiedene Artikel
darüber, über dieses Spiel sozusagen.

00:01:46.115 --> 00:01:47.458
<v Thomas>Who can name the biggest number?

00:01:47.458 --> 00:01:49.010
<v Thomas>Wer kann die größte Zahl sagen?

00:01:49.320 --> 00:01:53.325
<v Thomas>Und dann am meisten Spaß macht es natürlich,
wenn man das mit Kindern spielt,

00:01:53.325 --> 00:01:55.838
<v Thomas>die so verschiedene Altersgruppen haben.

00:01:55.928 --> 00:01:57.600
<v Thomas>Also die so vielleicht mit,

00:01:57.930 --> 00:02:00.073
<v Thomas>wenn man das erste Mal so
Ziffern schreibweise kennt,

00:02:00.073 --> 00:02:02.956
<v Thomas>dann kommt man auf die Idee vielleicht so
das Post-it so komplett mit 9 zu füllen.

00:02:02.956 --> 00:02:05.389
<v Thomas>Immer 9, 9, 9, 9, 9, 9, 9, 9, 9.

00:02:05.759 --> 00:02:06.830
<v Thomas>Und dann Dann...

00:02:08.182 --> 00:02:10.733
<v Thomas>Habe ich einen Kommentar dazu
gelesen, aber es ist also,

00:02:10.733 --> 00:02:12.483
<v Thomas>das war ein Amerikaner, der Autor.

00:02:12.483 --> 00:02:13.809
<v Thomas>Es ist halt besser einzeln zu schreiben,

00:02:13.809 --> 00:02:15.718
<v Thomas>weil in Amerika schreiben die die einzeln
auch einfach nur so als ein Strich.

00:02:15.718 --> 00:02:16.654
<v Petra>Als Striche, da passen mehr drauf.

00:02:16.654 --> 00:02:18.969
<v Thomas>Und dann kannst du es schneller
machen und es passen mehr drauf,

00:02:18.969 --> 00:02:21.940
<v Thomas>kriegst du eine größere Zahl,
wenn du nur einzeln schreibst statt 9.

00:02:21.940 --> 00:02:24.699
<v Thomas>Ja. Also als Kind hatte
ich immer so dieses,

00:02:24.911 --> 00:02:27.262
<v Thomas>hatte der auch so Steinzahl und Sternzahl?

00:02:27.262 --> 00:02:29.701
<v Petra>Ne, wir haben immer nur so
Millionen Milliarden und sowas.

00:02:29.701 --> 00:02:31.836
<v Thomas>Millionen Milliarden ist auch gut, ja.

00:02:31.947 --> 00:02:34.072
<v Thomas>Ne, bei uns war immer so
Steinzahl und Sternzahl.

00:02:34.072 --> 00:02:36.501
<v Thomas>Und irgendwann kam mir auf die
Idee, Steinzahl mal Sternzahl.

00:02:36.501 --> 00:02:37.266
<v Thomas>Boah,

00:02:37.266 --> 00:02:39.404
<v Petra>großartig. Das muss riesig sein.

00:02:39.404 --> 00:02:43.030
<v Thomas>Ja. Also mit Multiplikation kann
man dann größere Zahlen machen.

00:02:43.262 --> 00:02:44.609
<v Petra>Ja, man kann auch so potenzieren.

00:02:44.609 --> 00:02:46.523
<v Petra>Das macht es immer sehr viel
schneller, sehr viel größer.

00:02:46.523 --> 00:02:49.742
<v Thomas>Genau, Potenzen. Eine
Sternzahl-Hoch-Stein-Zahl sozusagen.

00:02:49.742 --> 00:02:52.900
<v Petra>Googol. Also als mein Sohn
gelernt hat, was Googol ist …

00:02:52.900 --> 00:02:57.532
<v Petra>Was ist ja Googol? Googol ist die
größte Zahl, die man sagen kann.

00:02:57.532 --> 00:03:00.809
<v Petra>Aber Googol hoch Googol ist … oder
Googol mal Googol ist halt noch mehr.

00:03:01.044 --> 00:03:03.638
<v Thomas>Also warte mal. Dieses Googol,
das ist, glaube ich, 10 hoch 100, ja?

00:03:03.638 --> 00:03:05.398
<v Thomas>Ja, das ist irgendwie riesig.
Eine Eins mit 100 Nullen.

00:03:06.623 --> 00:03:07.474
<v Thomas>Und es ist wirklich auch die …

00:03:07.474 --> 00:03:08.165
<v Thomas>Das ist, glaube ich,

00:03:08.165 --> 00:03:09.392
<v Petra>die größte, die einen Namen hat, ne?

00:03:09.392 --> 00:03:10.713
<v Petra>Also die größte Zehnerpotenz,
die einen Namen hat.

00:03:10.713 --> 00:03:10.882
<v Petra>Ah,

00:03:10.882 --> 00:03:13.720
<v Thomas>dazu kommen wir später noch.
Da sage ich was anderes dazu.

00:03:13.911 --> 00:03:14.683
<v Thomas>Aber die

00:03:15.898 --> 00:03:18.846
<v Thomas>hat tatsächlich, also der Name Googol,
der ist auch davon irgendwie abgeleitet.

00:03:18.846 --> 00:03:20.009
<v Petra>Okay. Von Gogol. Von Gogol,

00:03:20.009 --> 00:03:21.086
<v Thomas>ja. Ist natürlich gemeint.

00:03:21.086 --> 00:03:23.016
<v Petra>Du hast jetzt diese ganzen
Fakten alle nachgeguckt

00:03:23.016 --> 00:03:24.333
<v Petra>und ich muss jetzt hier
irgendwann einen Stuss erzählen.

00:03:24.333 --> 00:03:24.833
<v Petra>Nö, nö.

00:03:25.763 --> 00:03:29.418
<v Petra>Aber, nee, Gogol ist ziemlich groß und
Gogol hoch Gogol ist auch ziemlich groß.

00:03:29.418 --> 00:03:33.650
<v Petra>Jetzt kannst du jetzt natürlich Googol
mal Gogol hoch Gogol nehmen zum Beispiel.

00:03:34.361 --> 00:03:40.009
<v Petra>Also so ein Turm, Gogol hoch sozusagen und
in jedem Eintrag steht auch dieses Gogol.

00:03:40.182 --> 00:03:42.305
<v Thomas>Ja, also Potenztürme.

00:03:42.305 --> 00:03:43.054
<v Petra>Sowas hätte ich jetzt gemacht.

00:03:43.054 --> 00:03:44.004
<v Petra>Ja,

00:03:44.004 --> 00:03:47.558
<v Thomas>okay. Also du würdest quasi das Post-it
so diagonal nehmen und dann immer so …

00:03:47.558 --> 00:03:49.085
<v Petra>Ja, so Potenzturm machen,
so möglichst groß.

00:03:49.085 --> 00:03:50.035
<v Thomas>Aber da darfst du nicht einzeln nehmen.

00:03:50.035 --> 00:03:51.630
<v Thomas>Ich muss es aufschreiben können.

00:03:52.943 --> 00:03:56.580
<v Petra>Nee, ich denke mir irgendein
Symbol aus, G für Gogol und dann …

00:03:56.580 --> 00:03:59.040
<v Thomas>Ah, da musst du die Definition davon
aber auch wieder auf das Post-it …

00:03:59.040 --> 00:04:00.295
<v Petra>Ja, das passt aber drauf.
Das passt oben links noch.

00:04:00.295 --> 00:04:01.708
<v Petra>Ja, ja, so in die Ecke passt es.

00:04:01.708 --> 00:04:04.097
<v Thomas>Verstehe. Fakultäten gibt es auch.

00:04:04.449 --> 00:04:05.302
<v Thomas>Jetzt …

00:04:05.414 --> 00:04:06.501
<v Petra>Das wäre auch ziemlich groß.

00:04:06.501 --> 00:04:08.316
<v Thomas>Also die Fakultät ist ja sozusagen …

00:04:08.387 --> 00:04:10.814
<v Thomas>n Fakultät ist n mal n-1 mal n-2

00:04:10.814 --> 00:04:12.808
<v Thomas>und dann immer so weiter bis
man irgendwie mal 2 mal 1 …

00:04:12.902 --> 00:04:14.375
<v Thomas>Alle Zahlen aufmultipliziert.

00:04:15.008 --> 00:04:18.949
<v Thomas>Und jetzt, das habe ich mal gestern recherchiert,
also ein Googol ist 10 hoch 100 …

00:04:19.560 --> 00:04:21.583
<v Thomas>Also eine 1 mit 100 Nullen.

00:04:21.583 --> 00:04:23.534
<v Petra>Wenn du das nochmal Fakultät nimmst …

00:04:23.925 --> 00:04:27.719
<v Thomas>Ja, nee, aber jetzt zum Beispiel, welches
Fakultät ist so viel wie ein Googol?

00:04:27.909 --> 00:04:28.890
<v Petra>Oh, keine Ahnung.

00:04:28.890 --> 00:04:30.481
<v Thomas>Und die Antwort ist 70.

00:04:30.532 --> 00:04:33.495
<v Thomas>Also 69 Fakultät ist
kleiner als ein Googol

00:04:33.495 --> 00:04:35.236
<v Thomas>und 70 Fakultät ist größer als ein Googol.

00:04:35.236 --> 00:04:37.018
<v Petra>Also Fakultät ist
irgendwie schneller als …

00:04:37.018 --> 00:04:38.970
<v Thomas>Ja, Fakultät wächst ziemlich schnell.

00:04:39.120 --> 00:04:43.925
<v Thomas>Also schneller als exponentiell.

00:04:43.925 --> 00:04:46.718
<v Thomas>Da gibt es ja diese Stirling-Formel.

00:04:47.149 --> 00:04:51.914
<v Thomas>Aber trotzdem ist ein Googol
immer noch eine relativ …

00:04:51.914 --> 00:04:54.016
<v Thomas>Also diese 70 Fakultät
ist schon eine große Zahl.

00:04:54.016 --> 00:04:57.360
<v Thomas>Hier unser Number-File, von dem
wir schon mal erzählt haben.

00:04:57.360 --> 00:04:57.860
<v Thomas>diese

00:04:58.760 --> 00:05:02.513
<v Thomas>Blog, Podcast und Videocast
und alles mögliche über Zahlen.

00:05:03.404 --> 00:05:04.385
<v Thomas>Die haben hier mal argumentiert,

00:05:04.385 --> 00:05:07.327
<v Thomas>dass irgendwie die Anzahl der
möglichen Quantenzustände,

00:05:07.327 --> 00:05:08.988
<v Thomas>in dem das Universum sein kann,

00:05:08.988 --> 00:05:11.810
<v Thomas>also sozusagen eigentlich die Anzahl
aller möglichen Zustände der Welt …

00:05:11.810 --> 00:05:13.011
<v Petra>Die ist ziemlich klein, ne?

00:05:13.011 --> 00:05:16.534
<v Thomas>Ja, die ist deutlich
weniger als ein Gogoloplex.

00:05:16.534 --> 00:05:17.704
<v Petra>Was ist denn das?

00:05:17.875 --> 00:05:19.106
<v Thomas>Zehnhochengogol.

00:05:19.156 --> 00:05:19.726
<v Petra>Okay.

00:05:20.257 --> 00:05:20.797
<v Thomas>Genau.

00:05:20.797 --> 00:05:22.979
<v Petra>Es gibt doch noch eine Zehnerpotenz,
die einen Namen hat.

00:05:22.979 --> 00:05:27.917
<v Thomas>Also Zehnhochengogol ist … Du hast
eine Eins mit gogolfielen Nullen.

00:05:27.917 --> 00:05:28.343
<v Petra>Okay.

00:05:28.343 --> 00:05:30.693
<v Thomas>Also eine Eins mit …

00:05:30.693 --> 00:05:32.039
<v Petra>Zehnhochhundertfielen Nullen.

00:05:32.039 --> 00:05:33.700
<v Thomas>Zehnhochhundert Nullen, genau.

00:05:34.194 --> 00:05:34.958
<v Thomas>Ja.

00:05:34.958 --> 00:05:35.590
<v Petra>Ja.

00:05:35.768 --> 00:05:37.430
<v Thomas>Das ist ein Gogoloplex.

00:05:38.121 --> 00:05:40.326
<v Thomas>Und aber dann, also diese,

00:05:40.326 --> 00:05:43.433
<v Thomas>so wenn man das mit den Potenzen
auf die nächste Stufe treibt,

00:05:43.433 --> 00:05:45.537
<v Thomas>dann kann man noch größere
Zahlen machen, so Potenztürme,

00:05:45.537 --> 00:05:46.682
<v Thomas>das hast du ja auch schon gesagt.

00:05:46.682 --> 00:05:50.910
<v Petra>Ja. Das ist doch, ist das nicht diese
Pfeilchen-Notation, zwei Pfeilchen?

00:05:51.022 --> 00:05:51.343
<v Petra>Ja.

00:05:51.343 --> 00:05:52.735
<v Thomas>Die brauchen wir auch gleich noch.

00:05:53.166 --> 00:05:55.861
<v Thomas>Aber so, wenn du, wenn du einfach nur,

00:05:56.372 --> 00:05:57.174
<v Thomas>wie wenn du, sagen wir mal,

00:05:57.174 --> 00:06:00.610
<v Thomas>du machst jetzt drei hoch drei hoch
drei hoch drei hoch drei hoch drei.

00:06:00.901 --> 00:06:03.729
<v Petra>Ja, dann musst du erst mal sagen,
sozusagen, wo du klammerst.

00:06:04.164 --> 00:06:05.210
<v Thomas>Da habe ich auch drüber nachgedacht.

00:06:05.210 --> 00:06:06.945
<v Thomas>Okay, das ist jetzt auch
eine gute Hörerfrage.

00:06:06.945 --> 00:06:08.224
<v Petra>Machen wir vielleicht mal langsam.

00:06:08.224 --> 00:06:10.604
<v Thomas>Ja, die Hörer können darüber
nachdenken und Hörerinnen.

00:06:10.604 --> 00:06:12.237
<v Petra>Also wenn man zum Beispiel,
machen wir ein kleines Beispiel.

00:06:12.237 --> 00:06:12.567
<v Petra>Machen wir drei hoch

00:06:12.567 --> 00:06:13.101
<v Thomas>drei hoch drei.

00:06:13.101 --> 00:06:16.699
<v Petra>Nee, mach mal nicht mit dreien,
sonst kann man es nicht sehen.

00:06:16.830 --> 00:06:19.837
<v Petra>Wenn du zwei hoch drei hoch vier
hinschreibst, musst du dir überlegen,

00:06:19.837 --> 00:06:24.496
<v Petra>ob das zwei hoch drei. Zuerst
ausgerechnet wird und dann hoch vier.

00:06:25.188 --> 00:06:28.074
<v Petra>Oder ob du erst drei hoch vier ausrechnest

00:06:28.074 --> 00:06:31.330
<v Petra>und dann zwei mit dieser Zahl potenzierst.

00:06:31.604 --> 00:06:33.402
<v Thomas>Und ich glaube, das ist
richtig, das zweite.

00:06:33.755 --> 00:06:34.464
<v Thomas>Also der Turm.

00:06:34.464 --> 00:06:36.117
<v Petra>Also kommt halt was anderes raus, ne?

00:06:36.117 --> 00:06:36.901
<v Petra>Ja, es kommt was anderes raus.

00:06:36.901 --> 00:06:38.774
<v Petra>Das kann jeder mal nachrechnen,
wenn er Lust hat.

00:06:38.885 --> 00:06:42.573
<v Petra>Oder sie. Dann, genau. Aber das
ist halt wichtig, sozusagen.

00:06:42.573 --> 00:06:44.838
<v Petra>Wenn du aber drei hoch drei hoch
drei machst, dann siehst du es nicht,

00:06:44.838 --> 00:06:47.981
<v Petra>weil dann sind es immer nur.
Vielleicht sieht man es doch.

00:06:47.993 --> 00:06:48.762
<v Petra>Wenn man sieht es doch.

00:06:48.762 --> 00:06:53.323
<v Thomas>Der Unterschied ist zwischen drei hoch
drei, also siebenzwanzig hoch drei.

00:06:53.323 --> 00:06:54.956
<v Petra>Ist halt entweder neun hoch drei oder…

00:06:54.956 --> 00:06:57.578
<v Thomas>Siebenzwanzig hoch drei ist nicht viel,
das ist irgendwie so 19.000 oder so.

00:06:57.578 --> 00:06:58.078
<v Thomas>Ja.

00:06:58.985 --> 00:07:01.610
<v Thomas>Aber wenn du drei hoch siebenzwanzig…

00:07:01.809 --> 00:07:02.844
<v Thomas>Das ist was anderes. …ist viel mehr.

00:07:02.844 --> 00:07:04.651
<v Thomas>Das ist, ich habe mir das aufgeschrieben,

00:07:04.651 --> 00:07:06.629
<v Thomas>das hat irgendwie zwölf Stellen
oder dreizehn Stellen oder so.

00:07:07.283 --> 00:07:08.226
<v Thomas>Und das ist das Richtige.

00:07:08.226 --> 00:07:12.050
<v Thomas>Also drei hoch drei hoch drei oder
zwei hoch drei hoch vier ist zwei hoch…

00:07:12.261 --> 00:07:13.092
<v Thomas>Drei hoch vier.

00:07:13.222 --> 00:07:15.647
<v Petra>Ja, genau. Also sozusagen es
wird hinten zuerst geklammert.

00:07:15.647 --> 00:07:16.549
<v Petra>Also du fängst,

00:07:16.549 --> 00:07:21.859
<v Petra>wenn du einen ganz hohen Turm hast,
rechnest du die obersten zwei zuerst aus.

00:07:21.859 --> 00:07:25.248
<v Petra>Genau. Und dann sozusagen den
drittletzten Eintrag dann mit

00:07:25.248 --> 00:07:27.583
<v Petra>der schon ausgerechneten Potenz.

00:07:27.654 --> 00:07:30.162
<v Petra>Dann kriegst du viel mehr raus,
als wenn du unten anfangen würdest.

00:07:30.162 --> 00:07:34.210
<v Thomas>Ich hatte einmal in einem Artikel
geschrieben von so einer Abschätzung.

00:07:34.400 --> 00:07:39.017
<v Thomas>Und da hatten wir das Problem, dass wir so
einen Turm hatten und der hatte Klammern

00:07:39.689 --> 00:07:40.450
<v Petra>drin.

00:07:40.450 --> 00:07:42.924
<v Thomas>Also du könntest jetzt quasi sozusagen,

00:07:43.054 --> 00:07:46.549
<v Thomas>der war von der Struktur 3
hoch 3 in Klammern hoch 3.

00:07:47.381 --> 00:07:48.984
<v Thomas>Und dann das in Klammern hoch 3.

00:07:48.984 --> 00:07:50.517
<v Thomas>Also da gab es irgendwie
innen drin Klammern.

00:07:50.749 --> 00:07:53.695
<v Thomas>Und einfach nur um die
Schreibweise zu vereinfachen,

00:07:53.695 --> 00:07:55.101
<v Thomas>mussten wir die Klammern weglassen.

00:07:55.101 --> 00:07:58.432
<v Thomas>Aber das ist so ein krasser Fehler.

00:07:58.432 --> 00:08:00.910
<v Thomas>Das ist so eine riesige Zahl.

00:08:03.702 --> 00:08:05.527
<v Thomas>Es ging irgendwie auch nicht um die Größe

00:08:05.527 --> 00:08:08.484
<v Thomas>der Zahl oder diese Schranke jetzt zu
optimieren oder so, das war das dann,

00:08:08.655 --> 00:08:10.019
<v Thomas>um eine bessere Notation zu haben.

00:08:10.019 --> 00:08:10.903
<v Thomas>Das ist ein guter Punkt.

00:08:10.903 --> 00:08:13.188
<v Petra>Also manchmal geht es ja
auch nur darum zu wissen,

00:08:13.188 --> 00:08:15.874
<v Petra>dass irgendein mathematisches
Phänomen oder ein Objekt,

00:08:15.874 --> 00:08:18.650
<v Petra>was man da hat, kleiner ist
als irgendeine Konstante.

00:08:18.961 --> 00:08:20.505
<v Petra>Und wie groß dann die Konstante ist,

00:08:20.505 --> 00:08:24.394
<v Petra>darum kümmern sich die Mathematiker
manchmal tatsächlich erstmal gar nicht.

00:08:24.394 --> 00:08:26.950
<v Petra>Man will nur wissen,
ist es endlich oder nicht.

00:08:27.342 --> 00:08:30.227
<v Petra>Und erst in einem zweiten Schritt
würde man vielleicht diese Konstante,

00:08:30.227 --> 00:08:31.830
<v Petra>die man jetzt hat, irgendwie verbessern,

00:08:31.830 --> 00:08:33.914
<v Petra>kleiner machen und dann
am Ende irgendwie fragen,

00:08:33.914 --> 00:08:37.690
<v Petra>ob man eine kleinstmögliche
Schranke irgendwie findet.

00:08:38.862 --> 00:08:41.429
<v Petra>Ja, von daher, okay,
krasser Abschätzungsfehler,

00:08:41.429 --> 00:08:43.603
<v Petra>aber auch erstmal egal fürs Ergebnis.

00:08:43.975 --> 00:08:46.210
<v Petra>Klingt komisch. Ist aber so.

00:08:46.581 --> 00:08:51.821
<v Thomas>Drei hoch, drei hoch, drei hoch, drei
ist dann übrigens größer als 70 Fakultät.

00:08:51.821 --> 00:08:54.521
<v Petra>Wollte gerade sagen, es passt nicht
mehr auf dein A4-Blatt wahrscheinlich.

00:08:54.521 --> 00:08:58.135
<v Thomas>Und das ist nicht nur ein
bisschen größer als 70 Fakultät,

00:08:58.306 --> 00:09:03.493
<v Thomas>sondern das ist 10 hoch und dann
irgendwas mit, also 10 hoch und dann das,

00:09:03.493 --> 00:09:08.222
<v Thomas>was hochkommt, hat 1, 2,
3, 4 mal 3, 13 Stellen.

00:09:08.222 --> 00:09:10.779
<v Petra>Also war ich mit meinen Googol-Potenzen
doch eigentlich ganz gut,

00:09:10.779 --> 00:09:12.626
<v Thomas>ne? Mit Googol-Potenzen
warst du schon ziemlich gut.

00:09:13.521 --> 00:09:15.684
<v Thomas>Da hab ich auch gestern, ich hab
da noch mal so was rumgerechnet,

00:09:15.684 --> 00:09:18.558
<v Thomas>hab ich auch einen Bug in dem
Computeralgebra-System entdeckt.

00:09:18.649 --> 00:09:22.494
<v Thomas>Also wenn du bei Wolfram Alpha zum
Beispiel 3 hoch 3 hoch 3 eingibst,

00:09:22.494 --> 00:09:25.786
<v Thomas>dann macht er das richtig. Also dann
schreibt er den Turm hin und rechnet's aus.

00:09:25.786 --> 00:09:26.493
<v Petra>Klammert richtig. Genau.

00:09:27.520 --> 00:09:29.166
<v Thomas>Naja, aber was heißt klammert richtig?

00:09:29.166 --> 00:09:31.656
<v Thomas>Die Frage ist halt so, was bedeutet das?

00:09:31.656 --> 00:09:32.769
<v Thomas>Also ohne Klammern, ja?

00:09:32.783 --> 00:09:36.146
<v Petra>Ja, aber der fängt sozusagen oben
an und rechnet's so richtig aus.

00:09:36.781 --> 00:09:40.252
<v Thomas>Genau. Aber dieses Macaulay-2, mein
Lieblings-Kombinier-Algebra-System,

00:09:40.252 --> 00:09:42.478
<v Thomas>was ich hier so für Forschungssachen
benutze, macht das irgendwie falsch.

00:09:42.478 --> 00:09:45.790
<v Thomas>Oh nein. Aber wahrscheinlich ist es
kein Bug, sondern irgendwie dieser…

00:09:46.340 --> 00:09:48.765
<v Thomas>Dieses Hochzeichen bedeutet
irgendwas anderes oder so,

00:09:48.765 --> 00:09:51.771
<v Thomas>das ist wahrscheinlich in der
Sprache irgendwie verborgen,

00:09:51.771 --> 00:09:54.376
<v Thomas>weil das wird für ziemlich viele
Sachen benutzt, dieses Hochzeichen,

00:09:54.376 --> 00:09:55.822
<v Thomas>also auch so algebraische Konstruktionen.

00:09:55.822 --> 00:09:58.540
<v Petra>Ja, da muss man dann aber aufpassen,
wenn man sowas benutzt.

00:09:59.434 --> 00:10:00.317
<v Petra>Kann irgendwie doof sein. Ja,

00:10:00.317 --> 00:10:00.879
<v Thomas>da kann man halt in so…

00:10:00.879 --> 00:10:03.853
<v Thomas>Ja, also es ist zumindest ein sehr
unerwartetes Feature oder halt ein Bug.

00:10:03.853 --> 00:10:04.275
<v Petra>Ja,

00:10:04.275 --> 00:10:05.890
<v Thomas>werde ich mal noch aufklären müssen.

00:10:06.801 --> 00:10:09.073
<v Thomas>Ja, und dann wurden diese Pfeile erfunden.

00:10:09.073 --> 00:10:10.121
<v Thomas>Weißt du, wie das mit den Pfeilen geht?

00:10:10.121 --> 00:10:10.743
<v Thomas>Ich weiß nicht genau,

00:10:10.743 --> 00:10:11.245
<v Petra>wie es funktioniert.

00:10:11.245 --> 00:10:11.766
<v Petra>Ich weiß nur, dass

00:10:11.766 --> 00:10:14.335
<v Petra>das irgendeine Abkürzungsschreibweise
ist für so einen Potenzturm,

00:10:14.335 --> 00:10:15.861
<v Petra>aber ich weiß nicht mehr,
wie das genau geht.

00:10:15.861 --> 00:10:18.649
<v Thomas>Genau. Also den hat Donald Knuth erfunden,

00:10:18.649 --> 00:10:21.500
<v Thomas>der auch das Tech-System erfunden
hat, mit dem er sozusagen…

00:10:21.500 --> 00:10:22.266
<v Thomas>Das ist gigantisch gut.

00:10:22.266 --> 00:10:23.845
<v Petra>Da müssen wir selber auch
raten, mal drüber reden.

00:10:23.845 --> 00:10:25.446
<v Thomas>Ja, gute Idee.

00:10:27.862 --> 00:10:29.984
<v Thomas>Ja, das ist auch ein interessanter Typ.

00:10:30.760 --> 00:10:36.138
<v Thomas>Also der ist so ein Computerwissenschaftler,
Computer-Scientist,

00:10:36.309 --> 00:10:39.934
<v Thomas>Informatiker, der hat so ein Buch,

00:10:39.934 --> 00:10:41.998
<v Thomas>Serie geschrieben, The Art
of Computer Programming,

00:10:41.998 --> 00:10:43.730
<v Thomas>davon gibt es glaube ich vier Bände.

00:10:43.940 --> 00:10:47.173
<v Thomas>Mittlerweile, und er arbeitet irgendwie an
dem zweiten Teil von dem vierten oder so.

00:10:47.524 --> 00:10:49.506
<v Thomas>Und weil er festgestellt hat,

00:10:49.506 --> 00:10:52.839
<v Thomas>dass es kein gutes Satzsystem gab,
um sein Buch zu schreiben,

00:10:52.969 --> 00:10:55.512
<v Thomas>das ist sozusagen sein Lebenswerk,
hat er dann Tech entwickelt,

00:10:55.512 --> 00:10:56.973
<v Thomas>nur um sein Buch zu schreiben.

00:10:56.973 --> 00:10:57.623
<v Thomas>Das ist auch so,

00:10:58.034 --> 00:10:59.535
<v Thomas>bevor ich ein großes Projekt anfange,

00:10:59.535 --> 00:11:02.348
<v Thomas>brauche ich erstmal die richtigen
Werkzeuge, aber auf einer Skala.

00:11:05.620 --> 00:11:09.403
<v Thomas>Und da sind auch so
wichtige Algorithmen drin.

00:11:09.403 --> 00:11:12.235
<v Thomas>Also wenn man, das ist ein gutes Lehrbuch,
The Art of Computer Programming.

00:11:12.265 --> 00:11:15.077
<v Thomas>Wenn man da zum Beispiel mal wissen will,
wie kann ich jetzt irgendwie die

00:11:17.249 --> 00:11:20.691
<v Thomas>Permutationen mit irgendeiner bestimmten
Eigenschaft enumerieren oder so,

00:11:20.691 --> 00:11:22.393
<v Thomas>also kombinatorische Algorithmen oder so,

00:11:22.393 --> 00:11:24.454
<v Thomas>die kann man da manchmal
richtig daraus zitieren.

00:11:24.454 --> 00:11:26.456
<v Petra>Die sind manchmal coole Sachen dabei,

00:11:26.456 --> 00:11:26.916
<v Thomas>ja.

00:11:26.916 --> 00:11:28.477
<v Petra>Ja. Ja, gerade so algorithmische Zugänge,

00:11:28.477 --> 00:11:31.660
<v Petra>das findet man oft in der Informatik,
eigentlich bessere Quellen.

00:11:31.660 --> 00:11:35.303
<v Thomas>Ja. Ja. Also der hat jedenfalls diesen
Pfeil-nach-oben-Notation erfunden.

00:11:35.303 --> 00:11:36.431
<v Petra>Genau. Weißt du genau, wie das geht?

00:11:36.431 --> 00:11:37.341
<v Petra>Hast du bestimmt nachgeguckt.

00:11:37.341 --> 00:11:40.930
<v Thomas>Ja, genau. Also diese, unser Beispiel,

00:11:40.930 --> 00:11:43.958
<v Thomas>das wir hatten, 3 hoch 3 hoch
3 hoch 3 mit vier Dreien.

00:11:43.958 --> 00:11:45.452
<v Thomas>Vier Dreien. Ja.

00:11:45.544 --> 00:11:50.829
<v Thomas>Da würdest du jetzt sozusagen schreiben,
3 und dann zwei Pfeile nach oben, 4.

00:11:51.666 --> 00:11:53.018
<v Petra>Warum zwei Pfeile und nach vier?

00:11:53.018 --> 00:11:58.757
<v Thomas>Also ein Pfeil nach oben. Würde einfach
nur Exponentiation, Hochnehmen bedeuten.

00:11:58.757 --> 00:12:02.310
<v Thomas>Aber wieso ne 4? Weil es vier 3en sind.

00:12:02.460 --> 00:12:04.942
<v Thomas>Also die Information, die du
jetzt noch brauchst, ist, dass du…

00:12:04.942 --> 00:12:07.345
<v Petra>Achso, aber du kannst nur die
Zahlen mit sich selber sozusagen…

00:12:07.345 --> 00:12:11.218
<v Thomas>Genau, in der Notation kannst du jetzt
nicht 3 hoch 4 hoch 5 hoch 6 abbilden.

00:12:11.328 --> 00:12:12.890
<v Thomas>Dann müsstest du so ne
kleine Abschätzung machen,

00:12:12.890 --> 00:12:16.533
<v Thomas>indem du alle diese Zahlen durch 6
ersetzt und dann 6 Pfeil nach oben,

00:12:16.533 --> 00:12:17.924
<v Thomas>Pfeil nach oben 4 schreibst.

00:12:18.094 --> 00:12:19.976
<v Thomas>Das ist auch ne
interessante Übungsaufgabe,

00:12:19.976 --> 00:12:21.077
<v Thomas>die ich mir jetzt noch nicht überlegt hab.

00:12:21.077 --> 00:12:22.648
<v Thomas>Können ja irgendwelche Hörer machen.

00:12:23.079 --> 00:12:24.510
<v Thomas>Ist es… verändert sich die…

00:12:25.702 --> 00:12:30.070
<v Thomas>dieses A hoch B hoch C hoch D mehr,
wenn ich das D größer mache oder mehr,

00:12:30.070 --> 00:12:34.098
<v Thomas>wenn ich das A größer mache? Das müssten
wir jetzt eigentlich rausfinden können.

00:12:34.098 --> 00:12:36.064
<v Thomas>Wahrscheinlich das D.
Wahrscheinlich das D,

00:12:36.064 --> 00:12:38.732
<v Petra>weil das ja der Exponentierer…

00:12:38.732 --> 00:12:41.941
<v Petra>also das ist ja der Exponent,
der dann viel, viel größer wird.

00:12:41.941 --> 00:12:44.733
<v Thomas>Größere Auswirkungen hat. Genau,
ja, der Exponent wird größer.

00:12:44.733 --> 00:12:46.289
<v Thomas>Okay, das ist eigentlich klar.

00:12:47.441 --> 00:12:50.257
<v Thomas>Okay, also du kannst nur die
gleiche Zahl immer haben?

00:12:50.288 --> 00:12:54.929
<v Petra>Also du hast irgendwie n Pfeilchen
5 oder n zwei Pfeilchen 5.

00:12:55.202 --> 00:12:57.909
<v Thomas>n zwei Pfeilchen nach oben,
zweimal so Pfeil nach oben, 5.

00:12:57.909 --> 00:13:00.677
<v Thomas>Heißt dann n hoch,
n hoch, n hoch, n hoch, 5.

00:13:00.677 --> 00:13:01.762
<v Thomas>Der Turm hat 12.

00:13:01.762 --> 00:13:05.395
<v Petra>Genau, so gestapelt. Aber mit einem
Pfeilchen gibt es das nicht, ne?

00:13:05.395 --> 00:13:06.483
<v Petra>Das sind immer zwei Pfeilchen.

00:13:06.483 --> 00:13:07.872
<v Thomas>Ne, es gibt verschiedene Anzahl Pfeilchen.

00:13:07.872 --> 00:13:09.390
<v Thomas>Ein Pfeilchen heißt einfach hoch.

00:13:09.681 --> 00:13:10.183
<v Thomas>Achso,

00:13:10.183 --> 00:13:12.090
<v Petra>dann kommt dann rechts
aber keine Zahl mehr dran.

00:13:12.090 --> 00:13:15.131
<v Petra>Also da schreibt man einfach nur n
Pfeilchen, das bedeutet dann n hoch n. Ja,

00:13:15.261 --> 00:13:18.225
<v Thomas>die Idee ist, glaube ich,
wie so eine Fortsetzung von diesen,

00:13:18.225 --> 00:13:19.387
<v Thomas>wie so Hyperoperationen.

00:13:19.387 --> 00:13:21.750
<v Thomas>Also du hast Addition als Grundoperation

00:13:21.750 --> 00:13:24.143
<v Thomas>und dann erfindest du
Multiplikation für die,

00:13:24.414 --> 00:13:28.329
<v Thomas>also wenn du statt 3 plus 3 plus 3
plus 3 plus 3 schreibst du 3 mal 5.

00:13:28.783 --> 00:13:32.564
<v Thomas>Also hast du ein neues Symbol erfunden für,
du machst die Operation davor fünfmal.

00:13:32.564 --> 00:13:32.725
<v Thomas>Ja,

00:13:32.725 --> 00:13:34.690
<v Petra>aber warum brauchst du
dann zwei Pfeilchen?

00:13:35.401 --> 00:13:37.396
<v Thomas>Na, einen Pfeil hat er für hochnehmen.

00:13:37.567 --> 00:13:39.682
<v Thomas>Also hochnehmen wollte er auch nicht.

00:13:39.793 --> 00:13:41.799
<v Thomas>Also so hochnehmen ist jetzt mit
eingebaut in diese Hierarchie.

00:13:41.799 --> 00:13:41.941
<v Thomas>Ach so,

00:13:41.941 --> 00:13:45.337
<v Petra>er könnte ja n Pfeilchen,
Pfeilchen 1 schreiben sozusagen.

00:13:45.668 --> 00:13:47.702
<v Petra>Äh, 2 müsste er ja dann schreiben, ne?

00:13:49.135 --> 00:13:50.939
<v Petra>Also wenn das konsistent ist sozusagen,

00:13:50.939 --> 00:13:52.189
<v Thomas>kannst du einfach… Ah,
das ist aber 3 hoch 3.

00:13:52.189 --> 00:13:53.397
<v Thomas>Aber du kannst auch 3 hoch 5 machen.

00:13:53.397 --> 00:13:56.908
<v Thomas>Wie 3 hoch 5? Ne, n Pfeilchen,
Pfeilchen 2 heißt n hoch n.

00:13:57.791 --> 00:13:59.625
<v Petra>Genau. Deshalb verstehe ich nicht,

00:13:59.625 --> 00:14:02.782
<v Petra>wieso du für n hoch n noch die
Notation mit einem Pfeil brauchst.

00:14:02.782 --> 00:14:04.497
<v Thomas>n hoch x kannst du damit machen.

00:14:04.950 --> 00:14:07.967
<v Thomas>Also n, ein Pfeil nach oben
x macht n hoch x. Ach so,

00:14:07.967 --> 00:14:08.894
<v Petra>okay, das gibt es nochmal separat.

00:14:08.894 --> 00:14:09.927
<v Petra>Das gibt es nochmal separat.

00:14:09.927 --> 00:14:11.481
<v Thomas>Das ist sozusagen die
wiederholte Multiplikation.

00:14:11.481 --> 00:14:12.284
<v Thomas>Ich dachte,

00:14:12.284 --> 00:14:15.417
<v Petra>das meint dann einfach nur n hoch n,
wenn du n ein Pfeilchen schreibst.

00:14:15.417 --> 00:14:16.094
<v Petra>Ne,

00:14:16.186 --> 00:14:18.150
<v Thomas>da kannst du sozusagen noch
ein anderes Argument geben.

00:14:18.150 --> 00:14:18.944
<v Petra>Ah, okay.

00:14:18.944 --> 00:14:21.174
<v Thomas>Und dann dieses Potenzieren,
immer wieder potenzieren,

00:14:21.174 --> 00:14:22.541
<v Thomas>deswegen ist 2 Pfeile nach oben.

00:14:22.541 --> 00:14:25.021
<v Thomas>Macht sozusagen ein Pfeil
nach oben immer wieder.

00:14:25.293 --> 00:14:26.257
<v Petra>Ja, okay, ja, das macht es.

00:14:26.257 --> 00:14:27.173
<v Thomas>So oft wie das. Ne,

00:14:27.184 --> 00:14:29.838
<v Petra>ich dachte, das andere ist irgendwie eine
Abkürzung für n hoch n. Aber ja, okay.

00:14:29.838 --> 00:14:30.321
<v Petra>So,

00:14:30.321 --> 00:14:31.994
<v Thomas>und jetzt kommt 3 Pfeile nach oben.

00:14:32.706 --> 00:14:37.466
<v Thomas>Und 3 Pfeile nach oben macht also,
dass 2 Pfeile nach oben so oft wie…

00:14:39.341 --> 00:14:40.084
<v Thomas>Da steht rechts.

00:14:40.084 --> 00:14:44.930
<v Petra>Also da hast du dann einen 5er-Turm
von 3er-Türmen von ENS zum Beispiel.

00:14:45.522 --> 00:14:48.610
<v Thomas>Also wenn man es… Es ist
ziemlich kompliziert.

00:14:48.610 --> 00:14:50.736
<v Thomas>Also ich verlinke einen Artikel.

00:14:50.736 --> 00:14:51.820
<v Thomas>Ich mach gleich ein ganz kleines Beispiel.

00:14:51.820 --> 00:14:56.391
<v Thomas>Ich verlinke einen Artikel, diese Webseite
WaitButWhy, die kennst du ja auch.

00:14:56.391 --> 00:14:58.305
<v Thomas>Die mögen wir ja beide sehr gern.

00:14:58.556 --> 00:14:59.829
<v Thomas>Und da gibt es auch so ein…

00:15:00.601 --> 00:15:05.120
<v Thomas>Eintrag über diese Potenznotation,
über diese Knotenfeilhochnotation.

00:15:05.120 --> 00:15:05.693
<v Thomas>Echt?

00:15:05.706 --> 00:15:07.539
<v Petra>Ach, den kenn ich gar nicht.
Ja, die heißt irgendwie…

00:15:07.680 --> 00:15:10.910
<v Petra>Ich hab das ganze Archiv nicht gelesen.

00:15:10.966 --> 00:15:12.256
<v Thomas>Also den verlinken wir
auf jeden Fall auch.

00:15:12.256 --> 00:15:18.450
<v Thomas>Ja, unbedingt. Und der nennt das
ein Power-Tower-Feeding-Frenzy.

00:15:18.823 --> 00:15:19.937
<v Thomas>Dies ist ein Prozess.

00:15:20.009 --> 00:15:21.918
<v Thomas>Also ein Power-Tower ist ein Potenz-Turm,
was wir jetzt schon hatten.

00:15:21.918 --> 00:15:27.930
<v Thomas>Also man hat 3 hoch 3 hoch 3 hoch 3 hoch
3, so oft wie man dann die Höhe des Turms…

00:15:28.041 --> 00:15:33.141
<v Thomas>Und jetzt ist es aber so, dass du nimmst
quasi so einen Turm, wertest den aus.

00:15:33.272 --> 00:15:36.424
<v Thomas>Also 3 hoch 3 hoch 3 hoch
3 hoch 3, so b-mal oder so.

00:15:36.424 --> 00:15:37.947
<v Petra>Ja, ist das irgendeine ganz große Zahl?

00:15:41.964 --> 00:15:42.145
<v Thomas>Ach,

00:15:42.145 --> 00:15:43.722
<v Petra>das sind lauter Ns jetzt, ne? Okay.

00:15:43.722 --> 00:15:45.377
<v Thomas>Genau. Also 3 hoch 3 hoch 3 nimmst du.

00:15:45.568 --> 00:15:49.030
<v Thomas>Und was da rauskommt, jetzt
nimmst du einen Turm dieser Höhe.

00:15:49.060 --> 00:15:50.581
<v Petra>Okay. Und trägst diese Zahl ein auch.

00:15:50.581 --> 00:15:51.542
<v Thomas>Also 3 hoch 3 hoch 3, 3 hoch 3, 3, 3,

00:15:51.542 --> 00:15:51.682
<v Petra>3.

00:15:51.682 --> 00:15:54.734
<v Thomas>Aber sozusagen die Höhe des 3
hoch 3 hoch 3 hoch 3 3 Turms,

00:15:54.785 --> 00:15:58.007
<v Thomas>die ist jetzt so viel, wie du bei dem ersten
3 hoch 3 hoch 3 Turm rausbekommen hast.

00:15:58.007 --> 00:16:01.430
<v Petra>Und die Einträge auch? Sind die auch
das Ergebnis oder sind die auch 3?

00:16:01.430 --> 00:16:02.471
<v Thomas>Die Einträge sind immer 3.

00:16:02.471 --> 00:16:02.731
<v Petra>Okay.

00:16:02.731 --> 00:16:04.172
<v Thomas>Alles sind immer 3. Aber
die Höhe verändert sich.

00:16:04.172 --> 00:16:07.735
<v Thomas>Und die Höhe des Turms ist jetzt das
Ergebnis von deinem vorherigen Turm.

00:16:07.735 --> 00:16:09.126
<v Petra>Das ist mit 3 Pfeilchen.

00:16:09.516 --> 00:16:14.410
<v Thomas>Und das machst du jetzt, also da steht ja
3, 3 Pfeilchen und dann irgendeine Zahl.

00:16:14.982 --> 00:16:17.022
<v Petra>Ja. B. Und die machst du dann B-mal.

00:16:17.022 --> 00:16:18.897
<v Thomas>Und du machst B-mal diesen Prozess.

00:16:18.988 --> 00:16:22.380
<v Thomas>Also du machst, nimmst einen Turm
von der Höhe aus der Stufe davor.

00:16:22.380 --> 00:16:25.598
<v Thomas>Ja. Und tust das,
nimmst das wieder als Höhe,

00:16:25.609 --> 00:16:27.103
<v Thomas>das Ergebnis wieder als Höhe von dem Turm.

00:16:27.215 --> 00:16:28.863
<v Thomas>Und das machst du eben B-mal.

00:16:28.863 --> 00:16:31.473
<v Petra>Jetzt kann ich aber auch kreativ
werden und nicht nur 3 Pfeilchen,

00:16:31.473 --> 00:16:33.354
<v Petra>sondern K-Pfeilchen nehmen. Genau.

00:16:34.286 --> 00:16:35.622
<v Petra>Dann wird's unübersichtlich.

00:16:35.622 --> 00:16:36.384
<v Thomas>Das wird unübersichtlich.

00:16:36.384 --> 00:16:39.134
<v Thomas>Ich glaube, in diesem WaitButWhy hat
er eine Erklärung für 4 Pfeilchen,

00:16:39.134 --> 00:16:42.988
<v Thomas>die ich jetzt nicht
hier … wiedergeben kann.

00:16:42.988 --> 00:16:45.578
<v Thomas>Er hat dann noch so
coole Zeichnungen und so.

00:16:45.578 --> 00:16:46.527
<v Thomas>Ja,

00:16:46.527 --> 00:16:48.118
<v Petra>der macht das, illustriert
das immer super, ne?

00:16:48.118 --> 00:16:48.442
<v Petra>Ja,

00:16:48.442 --> 00:16:49.888
<v Thomas>das geht dann …

00:16:49.888 --> 00:16:50.992
<v Thomas>Also ich will nicht viel verraten

00:16:50.992 --> 00:16:53.310
<v Thomas>und das kann man auch vielleicht
nicht so gut abbilden.

00:16:53.421 --> 00:16:57.278
<v Thomas>Aber jetzt kann ich dir
Graham's Number erklären.

00:16:57.489 --> 00:17:03.530
<v Thomas>Graham's Number ist … War mal Martin Gardner,
das war so ein Mathematiker, der …

00:17:03.781 --> 00:17:05.634
<v Petra>Der hat ganz viele tolle auch so …

00:17:05.785 --> 00:17:09.523
<v Petra>Spielebücher, Quizbücher, auch so
mathematische Rätselbücher geschrieben.

00:17:10.135 --> 00:17:12.946
<v Petra>Viele, viele. Oxford Press oder so.

00:17:12.946 --> 00:17:14.238
<v Thomas>Und der hat mal diese Graham's …

00:17:14.238 --> 00:17:15.638
<v Petra>Cambridge University Press,
ich weiß es nicht.

00:17:15.638 --> 00:17:18.646
<v Thomas>Zahl erfunden. Oder was heißt erfunden,
der hat die irgendwie benannt,

00:17:18.646 --> 00:17:20.029
<v Thomas>weil er Graham, irgendwie,

00:17:20.029 --> 00:17:25.057
<v Thomas>weil der Graham hieß, so ein
grafentheoretisches Problem gelöst hat,

00:17:25.057 --> 00:17:26.423
<v Thomas>in dem diese Schranke vorkam.

00:17:26.423 --> 00:17:28.701
<v Petra>Das hat aber nichts mit
den Crackern zu tun, oder?

00:17:28.701 --> 00:17:30.255
<v Petra>Es gibt doch im Englischen
diese Graham's Cracker.

00:17:30.255 --> 00:17:30.755
<v Petra>Ne,

00:17:30.281 --> 00:17:31.774
<v Thomas>die habe ich noch nie gegessen.

00:17:31.774 --> 00:17:32.342
<v Thomas>Specken die?

00:17:32.342 --> 00:17:33.627
<v Petra>Weiß ich nicht, ich habe
die auch noch nie gegessen,

00:17:33.627 --> 00:17:37.010
<v Petra>aber die kommen immer mal wieder in
irgendwelchen amerikanischen Kochrezepten vor.

00:17:37.304 --> 00:17:39.862
<v Thomas>Ah, in Rezepten. Und dann kann man die
nicht backen, weil man die nicht hat.

00:17:39.862 --> 00:17:41.048
<v Thomas>Ja, ich habe nie herausgefunden,

00:17:41.048 --> 00:17:43.478
<v Petra>was das eigentlich ist. Wahrscheinlich
gehen Butterkekse auch, oder so.

00:17:43.478 --> 00:17:44.121
<v Petra>Ja, okay.

00:17:45.205 --> 00:17:46.722
<v Petra>Ja, okay, sorry.

00:17:46.722 --> 00:17:48.170
<v Thomas>Ich weiß nicht, ob es
der gleiche Graham ist.

00:17:48.170 --> 00:17:49.583
<v Thomas>Vielleicht hat er da auch eine Kekshabrik.

00:17:49.583 --> 00:17:50.588
<v Petra>Ist wieder Leibniz-Keks,

00:17:50.588 --> 00:17:52.678
<v Petra>der auch nichts mit dem
Mathematiker Leibniz zu tun hat, ne?

00:17:52.678 --> 00:17:55.266
<v Petra>Nicht? Nee, hast du
immer gedacht, oh Mensch.

00:17:55.287 --> 00:17:56.387
<v Thomas>Ich dachte Leibniz.

00:17:57.024 --> 00:17:57.946
<v Petra>Entschuldigung.

00:17:57.946 --> 00:17:58.862
<v Thomas>Leibniz-Kekse.

00:17:58.862 --> 00:18:02.015
<v Petra>Ja, nur Legastheniker
können das identifizieren,

00:18:02.015 --> 00:18:03.670
<v Petra>weil die schreiben sich nicht gleich.

00:18:04.243 --> 00:18:06.735
<v Thomas>Das weiß ich nicht, weil ich nicht
weiß, wie was auf dem Keks steht.

00:18:06.735 --> 00:18:07.950
<v Thomas>Also ich weiß es nicht.

00:18:08.882 --> 00:18:11.293
<v Thomas>Leibniz-Regel habe ich dieses Semester
schon oft, ja nicht an die Tafel,

00:18:11.293 --> 00:18:12.498
<v Thomas>aber auf mein virtuelles
Whiteboard geschrieben.

00:18:12.498 --> 00:18:12.998
<v Thomas>Ja.

00:18:13.942 --> 00:18:16.236
<v Thomas>Naja, nicht Leibniz-Regel,
sondern Leibniz-Formel.

00:18:16.236 --> 00:18:16.622
<v Thomas>Wie auch immer.

00:18:16.622 --> 00:18:17.959
<v Petra>Erzähl mal, was die Zahl ist.

00:18:17.959 --> 00:18:22.974
<v Thomas>Also Graham. Graham hat so ein
grafentheoretisches Problem versucht zu lösen.

00:18:22.974 --> 00:18:24.820
<v Thomas>Also so ein Kombinatorik-Problem
aus der Ramsey-Theorie.

00:18:24.820 --> 00:18:28.825
<v Thomas>Die zählt irgendwie so...
Willst du es wissen, das Problem?

00:18:29.057 --> 00:18:30.142
<v Thomas>Ich sag's einmal kurz. Sag's mal, komm.

00:18:30.341 --> 00:18:36.084
<v Thomas>Also nimmst den n-dimensionalen Würfel und
machst alle Kanten zwischen Ecken rein.

00:18:36.555 --> 00:18:40.058
<v Thomas>Da hat er zwei hoch n Ecken.
Der n-dimensionalen Würfel.

00:18:40.111 --> 00:18:41.324
<v Thomas>Und machst einfach alle Kanten rein.

00:18:41.324 --> 00:18:43.283
<v Petra>Also vollständiger Graf auf
den Ecken eines Würfels?

00:18:43.283 --> 00:18:46.249
<v Thomas>Genau. Und dann färbst
du die zweifarbig ein.

00:18:46.562 --> 00:18:47.721
<v Thomas>Sagen wir pink und grün.

00:18:47.794 --> 00:18:48.423
<v Petra>Die Kanten.

00:18:48.423 --> 00:18:52.343
<v Thomas>Ja? Okay. Jetzt hast du dir eine
pink-grün-Färbung von diesen ganzen Kanten.

00:18:52.343 --> 00:18:53.497
<v Petra>Kann ich mir aber aussuchen.

00:18:53.849 --> 00:18:55.820
<v Petra>Aber wozu brauchst du den Würfel,
wenn du eh alle Kanten reinmachst?

00:18:55.820 --> 00:18:58.534
<v Thomas>Das kommt gleich. Brauch ich gleich.

00:18:58.685 --> 00:19:02.452
<v Thomas>Und jetzt fragst du dich, gibt
es einen monochromatischen K4,

00:19:02.452 --> 00:19:07.630
<v Thomas>also einen vollständigen Graf auf vier
Vertizes, der wo alles eine Farbe hat?

00:19:07.861 --> 00:19:09.577
<v Thomas>Der in einer Ebene liegt.

00:19:09.749 --> 00:19:12.078
<v Thomas>Also du musst den Würfel wirklich
eingebettet im Euklidischen denken.

00:19:12.078 --> 00:19:15.634
<v Thomas>Okay. Und dann fragst du dich,
gibt es so einen monochromatischen K4,

00:19:15.634 --> 00:19:17.265
<v Thomas>der in einer Ebene liegt?

00:19:17.265 --> 00:19:19.479
<v Petra>Den kannst du ja machen, wenn du
es irgendwie einfärben darfst,

00:19:19.479 --> 00:19:20.683
<v Thomas>ne? Ja, kannst du, genau.

00:19:20.683 --> 00:19:25.602
<v Thomas>Und jetzt ist ein Satz,
und das ist ein interessanter Satz.

00:19:25.813 --> 00:19:28.327
<v Thomas>Wenn das N groß genug ist,

00:19:28.738 --> 00:19:34.415
<v Thomas>es gibt ein N. Ab dem es so einen
monochromatischen K4 in der Ebene immer gibt,

00:19:34.415 --> 00:19:36.130
<v Thomas>egal was die Färbung ist.

00:19:36.341 --> 00:19:37.684
<v Petra>Das ist tatsächlich ganz cool.

00:19:37.684 --> 00:19:42.193
<v Petra>Also das heißt, du kannst
dich nicht so anstellen,

00:19:42.193 --> 00:19:45.619
<v Petra>dass du es schaffst,
nicht eine Ebene zu färben.

00:19:45.619 --> 00:19:45.824
<v Petra>Genau.

00:19:45.824 --> 00:19:47.743
<v Thomas>Und das hängt halt von N ab.

00:19:47.743 --> 00:19:51.477
<v Petra>Es gibt einfach unglaublich viele
Ebenen, wenn das N groß wird.

00:19:51.477 --> 00:19:54.988
<v Petra>Woran liegt das? Ist ja verrückt,
dass irgendwie der N würfelt.

00:19:54.988 --> 00:19:57.116
<v Petra>Aber wie groß ist das N, weiß man das?

00:19:57.116 --> 00:19:58.023
<v Petra>Ist das Graham's number?

00:19:58.023 --> 00:20:00.448
<v Thomas>Also Graham's number war
die erste Schranke dafür.

00:20:00.448 --> 00:20:01.021
<v Petra>Untere Schranke.

00:20:01.021 --> 00:20:04.466
<v Thomas>Die erste obere Schranke.

00:20:04.466 --> 00:20:05.287
<v Thomas>Also du brauchst eine obere Schranke,

00:20:05.287 --> 00:20:08.862
<v Thomas>weil wenn es für eins gilt, dann
gilt es für alle folgenden auch.

00:20:09.293 --> 00:20:11.797
<v Thomas>Also du willst sozusagen
das kleinste N finden,

00:20:11.797 --> 00:20:14.225
<v Thomas>also die obere Schranke für das
kleinste N, für das es gilt.

00:20:14.225 --> 00:20:15.918
<v Thomas>Wenn es für ein N gilt, dann der …

00:20:15.918 --> 00:20:18.690
<v Petra>Das erste N, was man gefunden
hat, das war dieses Graham's.

00:20:20.061 --> 00:20:22.847
<v Thomas>Ja, da gilt es schon, aber es
gilt auch noch für kleinere.

00:20:22.847 --> 00:20:24.720
<v Thomas>Also es war das erste, wo man …

00:20:24.991 --> 00:20:26.875
<v Thomas>Aber wenn es für N gilt,
gilt es auch für N plus 1,

00:20:26.875 --> 00:20:29.630
<v Thomas>weil der N-Würfel ja im
N plus 1-Würfel drin ist.

00:20:30.302 --> 00:20:32.286
<v Thomas>Okay, und jetzt kommt diese Graham-Zahl.

00:20:32.286 --> 00:20:35.101
<v Thomas>Also ich erkläre dir
jetzt erstmal die Zahl G1.

00:20:35.432 --> 00:20:37.395
<v Thomas>Das ist noch nicht die
Graham-Zahl, diese Schranke,

00:20:37.395 --> 00:20:40.130
<v Thomas>sondern G64 ist nachher die Graham-Zahl.

00:20:41.320 --> 00:20:42.675
<v Thomas>Und G1 ist 3, 4 Pfeile nach oben, 3.

00:20:47.161 --> 00:20:49.129
<v Thomas>Also 3 Pfeile nach oben war dieses,

00:20:49.129 --> 00:20:51.866
<v Thomas>wo man in Potenztürme
wieder Potenztürme einsetzt.

00:20:51.866 --> 00:20:53.204
<v Thomas>Jetzt machen wir aber 4 Pfeile nach oben.

00:20:53.204 --> 00:20:53.345
<v Thomas>Ja,

00:20:53.345 --> 00:20:54.720
<v Petra>das muss man bei WaitButWhy nachlesen.

00:20:54.720 --> 00:20:56.252
<v Petra>Genau. So, und

00:20:56.784 --> 00:21:02.219
<v Thomas>jetzt ist G2, ist jetzt 3
und dann G1 Pfeile nach oben.

00:21:02.219 --> 00:21:02.719
<v Thomas>Okay.

00:21:03.060 --> 00:21:03.560
<v Petra>Drei.

00:21:04.548 --> 00:21:05.923
<v Petra>Ja, großartig, sag ich doch.
Und G3 ist 3, G2 Pfeile nach oben,

00:21:05.923 --> 00:21:06.423
<v Thomas>3.

00:21:09.341 --> 00:21:10.496
<v Petra>Und so weiter und so weiter.

00:21:10.496 --> 00:21:11.157
<v Thomas>Und G64 ist eben eine Schranke.

00:21:12.840 --> 00:21:14.021
<v Thomas>Für dieses kleinste…

00:21:14.021 --> 00:21:18.965
<v Petra>Wo du G63 nimmst… Ne, wo du 3
nimmst und G63 viele Pfeile…

00:21:18.965 --> 00:21:21.848
<v Thomas>Ja, G63 viele Pfeile und dann noch eine 3.

00:21:21.848 --> 00:21:23.239
<v Thomas>Und dann hast du G64.

00:21:23.389 --> 00:21:27.723
<v Thomas>Und wenn du so einen
G64-dimensionalen Würfel nimmst und

00:21:28.013 --> 00:21:30.705
<v Thomas>die Kanten in alle Kanten
pink und grün färbst,

00:21:30.775 --> 00:21:33.527
<v Thomas>dann findest du auf jeden Fall
immer einen monochromatischen…

00:21:34.418 --> 00:21:35.639
<v Petra>Hat man was kleineres gefunden inzwischen?

00:21:35.639 --> 00:21:36.610
<v Petra>Vielen Dank für's Zuschauen.

00:21:36.923 --> 00:21:38.844
<v Thomas>Ja, ja, ja, das wurde verbessert.

00:21:38.844 --> 00:21:40.406
<v Petra>Richtig klein? Also sowas wie 8?

00:21:40.807 --> 00:21:41.835
<v Thomas>Nee, nicht richtig klein. Okay.

00:21:42.080 --> 00:21:45.039
<v Thomas>Irgendwas… ich… das hab ich…
da bin ich jetzt auch blank.

00:21:45.039 --> 00:21:46.175
<v Thomas>Sowas wie Googol? Keine Ahnung.

00:21:46.408 --> 00:21:48.323
<v Thomas>Nee, ich glaub besser
als… kleiner als Googol.

00:21:48.323 --> 00:21:50.532
<v Petra>Okay. Das geht ja sogar dann, ne?

00:21:50.532 --> 00:21:52.630
<v Petra>Kleiner als 70 Fakultät.

00:21:53.243 --> 00:21:54.638
<v Thomas>Und das ist irgendwie…

00:21:54.891 --> 00:21:55.623
<v Petra>das ist

00:21:56.015 --> 00:21:56.802
<v Thomas>unvorstellbar, oder?

00:21:56.802 --> 00:22:00.012
<v Thomas>Also diese Ausdruckskraft
von diesen Pfeilen,

00:22:00.012 --> 00:22:02.281
<v Thomas>also einfach auf diese
Idee zu kommen, dann…

00:22:02.281 --> 00:22:04.796
<v Thomas>quasi so eine iterative Prozedur
wieder auf diesen Pfeilen auszuführen.

00:22:04.796 --> 00:22:07.191
<v Petra>Das ist mehr als Atome im Universum.

00:22:07.191 --> 00:22:07.680
<v Thomas>Ja.

00:22:07.680 --> 00:22:09.424
<v Petra>Ja, das ist verrückt.

00:22:09.424 --> 00:22:11.469
<v Petra>Aber ganz ehrlich,
ich finde es spannender,

00:22:11.469 --> 00:22:12.551
<v Petra>dass das überhaupt geht,

00:22:12.551 --> 00:22:16.164
<v Petra>als dass man diese Zahl da irgendwie
mit Pfeilchen hinschreiben kann.

00:22:16.164 --> 00:22:17.602
<v Thomas>Ja. Und das auch…

00:22:17.602 --> 00:22:18.727
<v Petra>Weil das so unbefriedigend, ne?

00:22:18.727 --> 00:22:21.439
<v Petra>Die ist so groß, das ist mir eigentlich
total egal, wie groß die ist.

00:22:21.439 --> 00:22:23.363
<v Thomas>Man hat irgendwie keine Fähigkeit,
das zu unterscheiden.

00:22:23.363 --> 00:22:25.422
<v Petra>Nein, man hat überhaupt keinen Bezug dazu.

00:22:25.735 --> 00:22:28.768
<v Petra>Na, also so… Meine Tochter
hat neulich mal versucht,

00:22:28.768 --> 00:22:31.230
<v Petra>Sandkörner zu zählen
in so einem Eimerchen.

00:22:31.404 --> 00:22:35.470
<v Petra>Er ist hoffnungslos, ne? Da kommst
du jenseits von Gut und Böse.

00:22:36.701 --> 00:22:40.230
<v Petra>Und diese Zahlen, die sind ja
noch größer als sozusagen alles,

00:22:40.230 --> 00:22:43.783
<v Petra>was irgendwie existiert,
greifbar existiert.

00:22:43.783 --> 00:22:46.255
<v Petra>Und das kann man sich
nicht mehr vorstellen.

00:22:46.255 --> 00:22:48.717
<v Petra>Ich weiß nicht, die Leute… Ich habe
immer so das Gefühl, die Leute…

00:22:48.988 --> 00:22:52.610
<v Petra>Es hört schon auf, wenn
einer über Milliarden redet.

00:22:52.705 --> 00:22:54.627
<v Petra>Ja, dass man irgendwie so ein greifbares…

00:22:55.582 --> 00:22:57.890
<v Petra>Verständnis von so einer großen Zahl hat.

00:22:57.964 --> 00:23:01.350
<v Thomas>Ich glaube, ein Googol ist auch eine
gute obere Schranke für alles Mögliche.

00:23:01.882 --> 00:23:03.115
<v Thomas>Also wenn man selbst jetzt sagt,

00:23:03.225 --> 00:23:05.741
<v Thomas>die Anzahl der Atome im Universum

00:23:06.334 --> 00:23:08.526
<v Thomas>ist ja wohl eine obere
Schranke für alles Mögliche.

00:23:08.526 --> 00:23:10.070
<v Thomas>Also wenn du jetzt überlegst, so…

00:23:10.561 --> 00:23:11.606
<v Thomas>Wie viele Sandkörner sind es?

00:23:11.606 --> 00:23:14.224
<v Thomas>Also es sind auf jeden Fall weniger
als die Anzahl der Atome im Universum.

00:23:14.224 --> 00:23:15.555
<v Petra>Das auf jeden Fall, ja. Sehr viel weniger.

00:23:15.555 --> 00:23:17.092
<v Thomas>Und dies ist ungefähr
10 hoch 80, glaube ich.

00:23:17.092 --> 00:23:19.021
<v Thomas>Oder knapp drunter.
Ist ziemlich klein eigentlich.

00:23:19.021 --> 00:23:21.991
<v Thomas>Also nur 80, ne 1 mit 80 Nullen.

00:23:21.991 --> 00:23:24.564
<v Thomas>Also noch weniger als ein
Googol oder gar ein Googoloplex.

00:23:24.564 --> 00:23:26.462
<v Petra>Ein Googoloplex ist noch viel größer.

00:23:27.076 --> 00:23:28.050
<v Petra>Das stimmt.

00:23:28.227 --> 00:23:29.790
<v Thomas>Aber es gibt noch größere Zahlen.

00:23:29.900 --> 00:23:33.553
<v Thomas>Die Computerwissenschaftler
haben noch diese Idee.

00:23:33.703 --> 00:23:35.355
<v Thomas>Man schreibt einfach
auf das Post-it drauf.

00:23:35.365 --> 00:23:37.997
<v Thomas>Die größte Zahl, die man auf
ein Post-it schreiben kann,

00:23:39.108 --> 00:23:40.639
<v Thomas>haben die noch so weiterentwickelt.

00:23:41.130 --> 00:23:43.121
<v Thomas>Und mit Turing-Maschinen.

00:23:43.532 --> 00:23:47.155
<v Thomas>Also man kann sich ja Turing-Maschine,
das ist so dieses Modell vom Computer.

00:23:47.155 --> 00:23:49.316
<v Thomas>Also alles, was man irgendwie
algorithmisch hinschreiben kann,

00:23:49.316 --> 00:23:51.318
<v Thomas>kann man mit dieser
Turing-Maschine implementieren.

00:23:51.318 --> 00:23:52.969
<v Thomas>Also kann man eigentlich
denken, ein Computer, ja?

00:23:53.019 --> 00:23:53.500
<v Petra>Ja, also eine Beschreibung.

00:23:53.500 --> 00:23:57.163
<v Petra>Beschreibung halt mit Zuständen und
Transformationen von Zuständen im Endeffekt.

00:23:57.163 --> 00:24:00.006
<v Petra>Also man beschreibt irgendwie so einen
Anfangsstatus und dann sagt man, okay,

00:24:00.006 --> 00:24:01.527
<v Petra>wo musst du eine 0 und 1 ändern?

00:24:01.527 --> 00:24:06.551
<v Petra>Und dann im Prinzip so ein Algorithmus,
der einem sagt, wenn dieser Input kommt,

00:24:06.551 --> 00:24:07.712
<v Petra>was dann passiert.

00:24:07.712 --> 00:24:10.695
<v Thomas>Genau. Und diese Turing-Maschinen,
die haben halt interne Zustände.

00:24:10.695 --> 00:24:12.676
<v Thomas>Also du kannst jetzt zum Beispiel
Turing-Maschinen betrachten,

00:24:12.676 --> 00:24:15.268
<v Thomas>die nur fünf interne Zustände haben.

00:24:15.719 --> 00:24:16.660
<v Thomas>Dann können die halt nur Nur...

00:24:17.360 --> 00:24:19.162
<v Thomas>auf fünf verschiedene
Arten reagieren sozusagen.

00:24:19.162 --> 00:24:20.904
<v Thomas>Also haben wir nur sehr
einfache Programme.

00:24:20.904 --> 00:24:22.846
<v Thomas>Und dann gibt es nur endlich
viele von diesen Turing-Maschinen,

00:24:22.846 --> 00:24:25.828
<v Thomas>die N interne Zustände haben
für irgendein fixiertes N.

00:24:25.828 --> 00:24:29.392
<v Petra>Man kann das mit so Graphen hinmalen,
wie diese Turing-Maschinen dann aussehen.

00:24:29.392 --> 00:24:31.394
<v Petra>Also mit so Ecken und
Kanten und dann kann man...

00:24:31.394 --> 00:24:32.515
<v Thomas>Mit so einem Zustandsdiagramm...

00:24:32.515 --> 00:24:32.695
<v Thomas>Genau,

00:24:32.695 --> 00:24:35.417
<v Petra>du kannst so ein Zustandsdiagramm
malen mit so Pfeilchen, was passiert,

00:24:35.417 --> 00:24:37.580
<v Petra>wenn du in den Zustand eintrittst
oder was passieren kann sozusagen.

00:24:37.580 --> 00:24:40.245
<v Petra>sozusagen. Und dann
kann man eben abzählen,

00:24:40.245 --> 00:24:43.274
<v Petra>dass es da nur endlich viele geben kann
mit endlich vielen Zuständen und so.

00:24:43.274 --> 00:24:45.562
<v Petra>Das ist ein kombinatorisches Problem dann.

00:24:45.562 --> 00:24:47.348
<v Thomas>Genau. Und dann kann
man sich jetzt fragen,

00:24:47.348 --> 00:24:50.588
<v Thomas>was ist sozusagen das komplizierteste
Turing-Maschinenprogramm?

00:24:51.623 --> 00:24:53.085
<v Petra>Mit aber beliebig vielen...

00:24:53.722 --> 00:24:55.449
<v Thomas>Mit fixierter Anzahl von Zuständen.

00:24:55.449 --> 00:24:57.686
<v Thomas>Also von all diesen endlichen mit
fünf Zuständen, sagen wir mal.

00:24:57.686 --> 00:24:58.274
<v Petra>Welches ist das komplexeste?

00:24:58.274 --> 00:24:59.564
<v Thomas>Welches ist das komplexeste.

00:24:59.564 --> 00:25:02.050
<v Thomas>Und die erste Approximation
ist, man sagt, das,

00:25:02.050 --> 00:25:04.304
<v Thomas>was am längsten läuft
und dann noch anhält.

00:25:04.575 --> 00:25:06.761
<v Thomas>Also es gibt natürlich welche,
die Endlosschleifen haben.

00:25:06.761 --> 00:25:09.187
<v Thomas>Die laufen einfach immer geh links,
geh rechts, geh links, geh rechts,

00:25:09.187 --> 00:25:11.122
<v Thomas>geh links, geh rechts
mit deinem Schreibkopf.

00:25:11.233 --> 00:25:13.643
<v Thomas>Die lässt man alle weg. Also das kommt…

00:25:13.643 --> 00:25:16.012
<v Petra>Man will gleich determiniert,
weil du willst ja sozusagen,

00:25:16.012 --> 00:25:17.981
<v Petra>dass das Programm dir
am Ende irgendwas sagt.

00:25:17.981 --> 00:25:22.580
<v Thomas>Ja, genau. Also man fragt sich jetzt, was
ist das Programm, was am längsten läuft

00:25:24.053 --> 00:25:26.721
<v Thomas>und noch anhält für fixierte
Anzahl von Zuständen.

00:25:26.721 --> 00:25:27.221
<v Thomas>Und

00:25:32.660 --> 00:25:35.752
<v Thomas>die Computer, also jetzt kann
man die Funktion betrachten,

00:25:35.903 --> 00:25:39.865
<v Thomas>die in der Zahl n von Zuständen
diese Lauflänge zuordnet.

00:25:39.865 --> 00:25:40.365
<v Thomas>Ach,

00:25:39.965 --> 00:25:41.406
<v Petra>das ist diese alte Funktion. Ja, ja.

00:25:41.406 --> 00:25:43.128
<v Thomas>Und das nennt man die
Busy Beaver-Funktion.

00:25:43.128 --> 00:25:43.688
<v Thomas>Ja, genau.

00:25:43.688 --> 00:25:44.188
<v Petra>Ja.

00:25:44.189 --> 00:25:45.229
<v Thomas>Und das ist wie so ein Biber,

00:25:45.229 --> 00:25:47.631
<v Thomas>der fleißig arbeitet, irgendwie an
seinem Damm, so ist glaube ich die Idee.

00:25:47.631 --> 00:25:48.692
<v Petra>Und der fleißigste sozusagen.

00:25:48.692 --> 00:25:50.213
<v Thomas>Der fleißigste ist die Turing-Maschine,

00:25:50.213 --> 00:25:53.105
<v Thomas>die mit ihren Ressourcen, ihren
internen Zuständen, die sie hat,

00:25:53.115 --> 00:25:54.636
<v Thomas>die am längsten arbeitet.

00:25:54.636 --> 00:25:57.438
<v Petra>Und die ist noch viel größer als
diese Pfeilchen-Notation, ne?

00:25:57.438 --> 00:26:00.370
<v Thomas>Ja, und das Witzigste ist,
die ist nicht berechenbar.

00:26:00.564 --> 00:26:01.614
<v Petra>Aber dann ist sie auch
nicht mehr so hilfreich.

00:26:01.614 --> 00:26:02.311
<v Petra>Die

00:26:02.581 --> 00:26:07.147
<v Thomas>wächst halt so schnell, dass
kein Computer die berechnen kann.

00:26:07.147 --> 00:26:08.809
<v Thomas>Keine Turing-Maschine kann die berechnen.

00:26:08.809 --> 00:26:11.502
<v Thomas>Weil wenn du die berechnen könntest,
dann könntest du das Halteproblem lösen.

00:26:11.793 --> 00:26:13.214
<v Thomas>Und zwar ist es auch ziemlich einfach.

00:26:13.214 --> 00:26:14.786
<v Thomas>Du löst das Halteproblem,

00:26:14.816 --> 00:26:17.930
<v Thomas>du kriegst ein Turing-Maschinen-Programm
und du willst entscheiden, ob das hält.

00:26:18.046 --> 00:26:19.461
<v Petra>Genau, das kann man im
Allgemeinen nicht entscheiden.

00:26:19.461 --> 00:26:22.569
<v Thomas>Und dann, also eine Turing-Maschine
kann das nicht entscheiden.

00:26:22.569 --> 00:26:25.164
<v Thomas>Eine Turing-Maschine kann nicht als
Input eine andere Turing-Maschine

00:26:25.456 --> 00:26:27.470
<v Thomas>bekommen und dann gucken, ob die anhält.

00:26:28.021 --> 00:26:30.204
<v Thomas>Und wenn du diese Busy
Beaver-Funktion ausrechnen könntest,

00:26:30.204 --> 00:26:32.488
<v Thomas>dann könntest du dir eine andere
Turing-Maschine einfach laufen lassen für

00:26:32.488 --> 00:26:35.091
<v Thomas>die längste Länge, die möglich
ist mit der Zustände und gucken,

00:26:35.091 --> 00:26:36.383
<v Thomas>ob es bis dahin angehalten hat.

00:26:36.433 --> 00:26:39.638
<v Thomas>Und wenn es bis dahin nicht angehalten
hat, dann läuft es unendlich weit.

00:26:39.638 --> 00:26:40.500
<v Thomas>Das war ja die längste Länge.

00:26:40.500 --> 00:26:41.863
<v Petra>Hätte nicht die Turing-Maschine,

00:26:41.863 --> 00:26:44.968
<v Petra>die das entscheiden könnte, dann eine
kompliziertere Busy Beaver sozusagen?

00:26:44.968 --> 00:26:48.734
<v Petra>Also hätte die nicht eine
kompliziertere Struktur als die,

00:26:48.734 --> 00:26:49.796
<v Petra>die du gerade entschieden hast?

00:26:49.796 --> 00:26:52.250
<v Petra>Also du würdest dann in so einen
Paradox rennen wahrscheinlich?

00:26:52.989 --> 00:26:54.530
<v Petra>Wenn du sozusagen die …

00:26:55.222 --> 00:26:57.128
<v Thomas>Ne, es gibt ja diese
universellen Turing-Maschinen,

00:26:57.128 --> 00:27:00.521
<v Thomas>die alle anderen emulieren
können, glaube ich.

00:27:00.521 --> 00:27:02.214
<v Petra>Oh je, da habe ich jetzt überfragt.

00:27:02.745 --> 00:27:04.007
<v Petra>Aber hast … okay.

00:27:04.007 --> 00:27:06.892
<v Petra>Da läuft man in total spannende
systemtheoretische Fragen rein,

00:27:06.892 --> 00:27:08.695
<v Petra>dass Systeme über sich
selbst keine Aussagen machen,

00:27:08.695 --> 00:27:10.578
<v Petra>dass man superschnell
an der Philosophie geht,

00:27:10.578 --> 00:27:12.330
<v Petra>das ist mir jetzt gerade
irgendwie aufgefallen.

00:27:12.580 --> 00:27:14.843
<v Petra>Also, dass man mit Turing-Maschinen

00:27:14.843 --> 00:27:16.665
<v Petra>was über Turing-Maschinen
nicht entscheiden kann,

00:27:16.665 --> 00:27:19.888
<v Petra>da gibt es in der Philosophie auch diesen
Ansatz, dass wenn du ein System hast,

00:27:19.888 --> 00:27:25.214
<v Petra>dass das sozusagen sich nicht selbst
begucken und beschreiben kann von außen.

00:27:25.214 --> 00:27:26.435
<v Petra>Das ist ganz…

00:27:26.435 --> 00:27:28.548
<v Thomas>Wenn man so im Topf drin ist, dann…

00:27:28.658 --> 00:27:30.039
<v Thomas>oder so wie das Höhlengleichnis oder so…

00:27:30.039 --> 00:27:30.539
<v Thomas>oder so.

00:27:31.492 --> 00:27:32.850
<v Thomas>Ja. Wenn man drinnen ist, kann man noch…

00:27:32.850 --> 00:27:33.936
<v Thomas>aber wenn man dann einmal draußen ist,

00:27:33.936 --> 00:27:37.173
<v Petra>dann… Ja, kannst du halt… ja,
also du kannst halt nur sozusagen…

00:27:37.173 --> 00:27:40.248
<v Petra>das ist wie dieser 2D-Käfer,
der an der Ebene rumkrabbelt,

00:27:40.248 --> 00:27:42.356
<v Petra>der halt nicht merkt,
dass er über den Strich,

00:27:42.356 --> 00:27:45.752
<v Petra>der da aufgemalt ist, sozusagen
einfach drüberkrabbeln könnte,

00:27:45.752 --> 00:27:47.118
<v Petra>weil er das halt auch nicht kann,

00:27:47.118 --> 00:27:50.670
<v Petra>weil der tatsächlich nicht
dreidimensional existiert.

00:27:51.123 --> 00:27:52.830
<v Petra>Der dann aber merkt,
dass es andere Käfer gibt,

00:27:52.830 --> 00:27:55.545
<v Petra>die irgendwie durch die Wand,
in Anführungszeichen, laufen können,

00:27:55.545 --> 00:27:58.561
<v Petra>weil das halt dreidimensionale Käfer sind,
die auf diesem zweidimensionalen…

00:27:58.561 --> 00:28:00.005
<v Thomas>Aber was könnten wir denn dann machen?

00:28:00.005 --> 00:28:01.850
<v Thomas>Moment, wenn wir jetzt vierdimensional,

00:28:01.850 --> 00:28:03.865
<v Thomas>wenn wir jetzt Zugang zu
noch einer Dimension hätten,

00:28:04.056 --> 00:28:05.409
<v Thomas>könnten wir dann durch die Wand gehen?

00:28:05.409 --> 00:28:05.895
<v Thomas>Ja, wahrscheinlich.

00:28:05.895 --> 00:28:08.898
<v Thomas>Dann könnte ich quasi in der anderen
Dimension über die Wand drüber.

00:28:08.898 --> 00:28:09.398
<v Thomas>Genau,

00:28:08.901 --> 00:28:11.006
<v Petra>du könntest einfach drübersteigen
in der anderen Dimension.

00:28:11.006 --> 00:28:14.855
<v Petra>Wie der 3D-Käfer, der auch
auf dem 2D-Blatt rumkrabbelt,

00:28:14.855 --> 00:28:16.621
<v Petra>der kann da ja einfach
drüber über die Linie.

00:28:16.621 --> 00:28:17.225
<v Petra>Ich glaube,

00:28:17.225 --> 00:28:19.568
<v Thomas>das hätte so Privatsphäre-Implikationen.

00:28:19.783 --> 00:28:21.572
<v Petra>Es könnte halt jeder so
in dein Haus reingucken,

00:28:21.572 --> 00:28:23.209
<v Petra>sozusagen aus der vierten Dimension.

00:28:24.381 --> 00:28:26.989
<v Thomas>Stimmt, man kann ja auch einfach dann
so ein bisschen sich höher positionieren

00:28:26.989 --> 00:28:30.138
<v Thomas>und gleich alles gleichzeitig sehen.

00:28:30.138 --> 00:28:30.881
<v Thomas>Fies.

00:28:30.881 --> 00:28:36.231
<v Petra>Ja. Also diese 2D-3D-Analogie ist ganz cool,
weil die kann man halt überblicken, ja.

00:28:36.231 --> 00:28:38.965
<v Petra>Wenn man das versucht,
sich mit 4D vorzustellen,

00:28:39.156 --> 00:28:41.990
<v Petra>kriegt zumindest mein Gehirn
irgendwie Knoten, aber …

00:28:43.122 --> 00:28:44.765
<v Petra>Genau, wir lenken ab vom Thema.

00:28:44.765 --> 00:28:49.626
<v Petra>Du wolltest noch erklären, wie Busy
Beaver in Relation zu dem Pfeilchen steht?

00:28:50.158 --> 00:28:50.779
<v Petra>Oder weiß man das nicht?

00:28:50.779 --> 00:28:53.512
<v Thomas>Das ist ja jetzt die Frage, also
du kannst das ja nicht berechnen.

00:28:53.512 --> 00:28:55.500
<v Thomas>Also wenn du jetzt bei dem Wettbewerb …

00:28:55.500 --> 00:28:56.700
<v Petra>Also wenn ich jetzt sage, Googol,
Pfeilchen viele mit Googol …

00:28:56.700 --> 00:29:00.819
<v Thomas>Genau, du sagst G64 und ich sage
Busy Beaver von Busy Beaver von 7,

00:29:01.851 --> 00:29:05.778
<v Thomas>dann können wir jetzt zumindest keinen
Computer benutzen, um herauszufinden,

00:29:05.778 --> 00:29:06.643
<v Thomas>wer gewonnen hat.

00:29:06.643 --> 00:29:09.246
<v Petra>Wenn du clever wärst, würdest
du Busy Beaver von G64 sagen.

00:29:10.463 --> 00:29:12.156
<v Thomas>Busy Beaver von dem,
was Petra geschrieben hat?

00:29:12.156 --> 00:29:12.910
<v Petra>Genau.

00:29:14.264 --> 00:29:15.229
<v Thomas>Aber das würde ich als schummeln sagen.

00:29:15.229 --> 00:29:17.142
<v Thomas>Also unendlich hinschreiben
oder sowas ist schummeln.

00:29:17.142 --> 00:29:21.590
<v Petra>Na unendlich ist hochgradig,
ist falsch, weil das ist keine Zahl.

00:29:22.563 --> 00:29:26.921
<v Petra>Das ist nicht schummeln, das ist
einfach keine erlaubte Antwort.

00:29:26.921 --> 00:29:28.164
<v Thomas>Aber warum ist unendlich keine Zahl?

00:29:28.164 --> 00:29:29.167
<v Thomas>Unendlich ist doch ein Punkt.

00:29:29.167 --> 00:29:31.593
<v Thomas>Zum Beispiel, du machst auch
Geometrie, projektive Geometrie,

00:29:31.593 --> 00:29:34.101
<v Thomas>da gibt es immer mal einen unendlich
fernen Punkt dazu oder mehrere.

00:29:34.101 --> 00:29:35.645
<v Petra>Unendlich kann alles mögliche sein.

00:29:35.645 --> 00:29:39.976
<v Petra>Also es ist halt, ja, das führt
jetzt, macht einen neuen Topf auf.

00:29:39.976 --> 00:29:41.970
<v Petra>Müssen wir mal über unendlich reden.

00:29:42.802 --> 00:29:47.248
<v Petra>Okay. Es ist manchmal ein Punkt, der hat
manchmal aber ganz viele Dimensionen.

00:29:48.342 --> 00:29:51.040
<v Petra>So, der Punkt, unendlich. Hm,

00:29:51.155 --> 00:29:51.583
<v Thomas>hm.

00:29:51.583 --> 00:29:55.390
<v Petra>Ja, genau. Es kann aber auch eine
Sphäre sein, unendlich, oder?

00:29:56.607 --> 00:29:57.603
<v Thomas>Ja, was man braucht, um was abzuschließen.

00:29:57.603 --> 00:29:59.104
<v Thomas>Was man halt manchmal braucht, ja.

00:30:00.213 --> 00:30:00.910
<v Petra>Genau.

00:30:01.305 --> 00:30:03.226
<v Thomas>Ja. So, das war …

00:30:04.301 --> 00:30:06.086
<v Thomas>Meine kleine Recherche zu großen Zahlen.

00:30:06.086 --> 00:30:07.379
<v Thomas>Es gibt bestimmt noch größere Zahlen.

00:30:07.449 --> 00:30:08.673
<v Thomas>Es gibt immer eine größere Zahl.

00:30:08.673 --> 00:30:09.976
<v Thomas>Man kann immer noch eins dazuzählen.

00:30:09.976 --> 00:30:11.524
<v Thomas>Das würde mein Sohn, glaube ich, sagen.

00:30:11.524 --> 00:30:11.766
<v Petra>Genau.

00:30:11.766 --> 00:30:13.828
<v Thomas>Oder unendlich. Also das
sind eigentlich so die …

00:30:13.986 --> 00:30:15.384
<v Petra>Was die dann unendlich sagen.

00:30:15.384 --> 00:30:17.294
<v Thomas>Die zwei Antworten,
die ich erwarten würde.

00:30:17.294 --> 00:30:18.730
<v Thomas>Ich habe sie jetzt noch nicht ausprobiert.

00:30:18.904 --> 00:30:20.023
<v Petra>Mussten wir ausprobieren.

00:30:20.023 --> 00:30:21.109
<v Thomas>Also wenn ich ihn jetzt fragen würde,

00:30:21.109 --> 00:30:23.184
<v Thomas>was ist die größte Zahl, dann sagt
er, es gibt keine größte Zahl.

00:30:23.184 --> 00:30:24.841
<v Petra>Ja genau, das hat man
schon mal durchdiskutiert.

00:30:24.841 --> 00:30:28.125
<v Thomas>Aber was ist die größte
Zahl, die man sagen kann?

00:30:28.125 --> 00:30:31.329
<v Thomas>Also dieses, es gibt keine
größte Zahl, das stimmt zwar,

00:30:31.329 --> 00:30:35.834
<v Thomas>aber ich finde es trotzdem irgendwie
interessant, so das runterzubrechen zu,

00:30:35.834 --> 00:30:40.650
<v Thomas>aber schreib doch mal die größte
hin, die du ausdrücken kannst.

00:30:42.280 --> 00:30:44.182
<v Thomas>Aber es ist unpräzise die Frage,

00:30:44.182 --> 00:30:47.424
<v Petra>ne? Du musst ja dann auch,
also deshalb das Post-it, ne?

00:30:47.424 --> 00:30:50.366
<v Petra>Du musst irgendwie den Raum begrenzen,
weil wenn du sagst, die größte,

00:30:50.366 --> 00:30:52.938
<v Petra>die du ausdrücken kannst, wenn
du mir beliebig viel Platz gibst,

00:30:53.668 --> 00:30:54.589
<v Petra>kann ich viel ausdrücken.

00:30:54.589 --> 00:30:59.132
<v Petra>Wenn ich das jetzt aber abspeichern
muss in irgendeinem C++-Programm,

00:30:59.132 --> 00:31:00.393
<v Petra>habe ich schon ein größeres Problem,

00:31:00.393 --> 00:31:03.475
<v Petra>weil da muss ich mir unter Umständen
eine neue Datenstruktur selber hacken,

00:31:03.475 --> 00:31:08.159
<v Petra>damit ich noch eine größere
Zahl gespeichert kriege.

00:31:08.159 --> 00:31:09.080
<v Petra>Da wird es schon schwieriger, ne?

00:31:09.080 --> 00:31:11.993
<v Petra>Mhm. Also da, das,

00:31:12.003 --> 00:31:15.071
<v Petra>wenn ich es auf den Taschenrechner
eingeben muss, dann ist es ganz klar,

00:31:15.071 --> 00:31:16.584
<v Petra>weil der hat irgendwie nur, was haben die?

00:31:16.735 --> 00:31:18.984
<v Petra>Zehn Stellen, die alten Taschenrechner.

00:31:18.984 --> 00:31:21.887
<v Thomas>Ja. Also jetzt ich habe die gemacht, aber
die hatten zehn Stellen oder acht oder so.

00:31:21.887 --> 00:31:22.800
<v Petra>Ja, genau.

00:31:22.800 --> 00:31:24.790
<v Thomas>Die waren nicht grafikfähig.

00:31:24.790 --> 00:31:26.908
<v Thomas>Grafikfähige Taschenrechner
waren nicht erlaubt bei uns.

00:31:26.943 --> 00:31:27.907
<v Petra>Nein, wir hatten die.

00:31:27.907 --> 00:31:30.462
<v Petra>In der Schule gab es welche, aber
wir durften die Mavi nicht benutzen.

00:31:30.462 --> 00:31:33.665
<v Thomas>Genau, das war die Aufgabe,
so plotte den Funktionsgrafen.

00:31:33.665 --> 00:31:33.886
<v Thomas>Ja, ja,

00:31:33.886 --> 00:31:35.095
<v Petra>genau. Zeichnen Sie den Funktionsgrafen.

00:31:35.095 --> 00:31:35.595
<v Petra>Von x².

00:31:36.526 --> 00:31:40.730
<v Petra>Ja, genau. Genau. Plus fünf,
damit es schwieriger wird.

00:31:41.157 --> 00:31:41.657
<v Thomas>Ja.

00:31:41.157 --> 00:31:42.270
<v Petra>Genau.

00:31:42.992 --> 00:31:43.670
<v Thomas>Ja.

00:31:43.767 --> 00:31:43.881
<v Petra>Wunderbar.

00:31:43.881 --> 00:31:45.481
<v Thomas>Hast du noch eine Lieblingszahl?

00:31:45.493 --> 00:31:46.284
<v Thomas>Eine große oder eine kleine?

00:31:46.284 --> 00:31:48.470
<v Petra>Ich habe eine kleine.
Meine Lieblingszahl ist vier.

00:31:48.828 --> 00:31:49.849
<v Petra>Hast du eine Lieblingszahl?

00:31:49.849 --> 00:31:52.858
<v Thomas>Siebzehn. Aber das sind
alles ziemlich kleine Zahlen.

00:31:53.070 --> 00:31:55.562
<v Thomas>Aber dieses Graham's Number
finde ich schon ziemlich cool.

00:31:55.562 --> 00:31:56.466
<v Petra>Siebzehn sage ich immer,

00:31:56.466 --> 00:31:59.096
<v Petra>wenn ich meinen Studenten sage, da können
sie irgendeine beliebige Zahl nehmen.

00:31:59.096 --> 00:32:00.270
<v Petra>Siebzehn zum Beispiel.
Das ist ja keine beliebige Zahl,

00:32:00.270 --> 00:32:01.382
<v Thomas>das ist meine Lieblingszahl. Ja,

00:32:01.382 --> 00:32:03.289
<v Petra>das wusste ich nicht. Okay.

00:32:03.289 --> 00:32:06.101
<v Petra>Nächstes Mal sage ich, da können sie die
Lieblingszahl von Thomas Kahle nehmen.

00:32:06.101 --> 00:32:07.753
<v Petra>Ne, sag das nicht.

00:32:07.753 --> 00:32:08.075
<v Thomas>Das klingt komisch.

00:32:08.075 --> 00:32:09.575
<v Petra>Das klingt komisch, ne? Ja.

00:32:10.545 --> 00:32:12.703
<v Petra>Ja, da kann jeder seine
eigene Lieblingszahl nehmen.

00:32:12.703 --> 00:32:15.324
<v Thomas>Ja. Aber muss ja auch
irgendwie handhabbar sein.

00:32:15.324 --> 00:32:15.485
<v Thomas>Ja,

00:32:15.485 --> 00:32:17.710
<v Petra>meine ist vier. Ja,
ich weiß gar nicht warum.

00:32:19.281 --> 00:32:20.325
<v Thomas>Okay.

00:32:20.325 --> 00:32:20.825
<v Petra>Gut.

00:32:20.827 --> 00:32:21.369
<v Thomas>Haben wir es.

00:32:21.369 --> 00:32:22.172
<v Petra>Ja, wunderbar.

00:32:22.172 --> 00:32:23.658
<v Thomas>Dankeschön. Dann bis bald. Tschau.

00:32:23.658 --> 00:32:24.430
<v Petra>Tschüss.
