WEBVTT NOTE PGD004 – automatic transcript (Whisper large-v3, wav2vec2 alignment, Sortformer + speaker embeddings). Generated by tools/transcribe/pi3tx.py, may contain errors. 00:00:00.661 --> 00:00:01.683 Liebe Hörerinnen und Hörer, 00:00:01.683 --> 00:00:05.233 herzlich willkommen zur vierten Folge von Pi ist genau 3 mit Petra Schwer, 00:00:05.233 --> 00:00:07.018 das bin ich und Thomas Kahle, 00:00:07.018 --> 00:00:08.210 das bin ich. Hallo. 00:00:08.223 --> 00:00:10.815 Hallo. Heute hat Thomas die Folge vorbereitet. 00:00:10.815 --> 00:00:11.801 Worum geht's heute, Thomas? 00:00:11.801 --> 00:00:16.074 Ja, Petra, heute geht's um Mathe im Internet of all things. 00:00:16.074 --> 00:00:18.169 Hast du schon mal Mathe im Internet getroffen? 00:00:18.361 --> 00:00:20.566 Ich habe schon ganz viel Mathe im Internet getroffen. 00:00:20.566 --> 00:00:22.501 Ich stelle selber dauernd Mathe ins Internet. 00:00:22.812 --> 00:00:26.021 Das ist ja ein lustiges Thema, aber es hat viele Komponenten. 00:00:26.021 --> 00:00:28.946 Ich habe so ein paar Internetseiten vorbereitet, 00:00:28.946 --> 00:00:31.370 über die ich mit dir sprechen wollte. 00:00:31.370 --> 00:00:33.152 Ich fange mal ganz am Anfang an. 00:00:33.152 --> 00:00:36.678 Was würdest du sagen, hast du eine Idee, was die älteste Internetseite ist, 00:00:36.678 --> 00:00:38.190 die mit Mathe zu tun hat? 00:00:38.343 --> 00:00:41.190 Die älteste Internetseite mit Mathe? 00:00:42.362 --> 00:00:44.699 Ist bestimmt irgendwas von irgendeiner Uni. 00:00:44.891 --> 00:00:46.918 Hat das Internet nicht an irgendwelchen Unis angefangen? 00:00:46.918 --> 00:00:49.273 Bestimmt, ja, Mathe-Departments hatten bestimmt Webseiten, 00:00:49.273 --> 00:00:50.142 aber das ist ja nicht so spannend. 00:00:50.142 --> 00:00:53.460 Das meinst du nicht? Kennst du diese Online-Enzyklopädie auf Integer-Sequences? 00:00:53.460 --> 00:00:53.960 Ja. 00:00:54.802 --> 00:00:56.304 Die gibt's schon ewig und ich glaube, 00:00:56.304 --> 00:01:00.622 die gab's auch schon vor dem Internet und dann, als das Internet kam, war die 00:01:01.434 --> 00:01:04.122 das erste, die erste Webseite, die man irgendwie produktiv nutzen konnte. 00:01:04.122 --> 00:01:06.450 Und die hat auch schon einige interessante... 00:01:06.980 --> 00:01:08.411 Forschungsergebnisse hervorgebracht. 00:01:08.502 --> 00:01:09.983 Und das ist so eine... Ich will das mal kurz erklären. 00:01:09.983 --> 00:01:11.194 Das ist so eine Webseite. 00:01:11.344 --> 00:01:14.988 Damit kann man schummeln bei diesen Matheaufgaben, diese Sätze, 00:01:14.988 --> 00:01:17.880 die Zahlenfolge fort. Man kriegt irgendwie so Zahlen, 00:01:18.191 --> 00:01:21.264 eine Zahlenfolge und fragt sich dann, was steckt dahinter, ganze Zahlen. 00:01:21.474 --> 00:01:24.147 Zum Beispiel die Folge... Ich hab mal eine rausgesucht. 00:01:24.237 --> 00:01:27.710 Eins, zwei, vier, acht, neun. 00:01:28.181 --> 00:01:31.011 Okay, ich hätte jetzt gesagt 16, 32. 00:01:31.011 --> 00:01:33.750 Aber was ist eins, zwei, vier, acht, neun? 00:01:34.743 --> 00:01:37.051 Eins, zwei, vier, acht, neun. Diesen wir tatsächlich noch nicht begegnen. 00:01:37.051 --> 00:01:39.321 Wie geht die Folge weiter? Eins, zwei, vier, acht, neun. 00:01:39.321 --> 00:01:41.226 Eins, zwei, vier, acht, neun. Keine Ahnung. 00:01:41.226 --> 00:01:42.669 Eigentlich kann man irgendwas nehmen, ne? 00:01:42.669 --> 00:01:44.343 Kannst du sagen 27, 31, 32, 53? 00:01:47.040 --> 00:01:47.543 Ja, 00:01:47.543 --> 00:01:48.769 sowas habe ich in der Schule auch versucht. 00:01:48.769 --> 00:01:51.290 Aber dann sagt die Mathelehrerin, aber warum? 00:01:51.463 --> 00:01:54.621 Weil ich dir ein Polynom hinschreiben kann, wo das genau die Nullstellen sind. 00:01:54.621 --> 00:01:57.004 Das ist natürlich nicht dumm. 00:01:57.004 --> 00:02:02.913 Aber ich habe das nachgeschaut in der OEIS und das ist die Folge der, 00:02:02.913 --> 00:02:07.550 unter anderem, fängt so an, die Folge der Quadrate und doppelte Quadrate. 00:02:08.103 --> 00:02:09.622 Quadrate und doppelte Quadrate. 00:02:09.622 --> 00:02:11.640 Quadratzahlen und doppelte Quadratzahlen. 00:02:11.640 --> 00:02:12.426 Okay, ja, 00:02:12.426 --> 00:02:13.643 gut, geschehen. 00:02:14.141 --> 00:02:17.627 Okay, das ist nicht so lustig, aber was noch lustiger ist, weißt du, 00:02:17.627 --> 00:02:21.022 was auch so anfängt? Es fängt auch an, Zahlen der Form, 00:02:21.994 --> 00:02:25.470 Zahlen für die 10 hoch die Zahl plus 7 eine Primzahl ist. 00:02:26.023 --> 00:02:28.450 Okay, ich glaube das wäre noch schwerer. 00:02:29.422 --> 00:02:30.594 Die Folge fängt auch so an. 00:02:30.665 --> 00:02:35.207 Und ich glaube 200 andere Zahlenfolgen fangen auch an mit 1, 2, 4, 8, 9. 00:02:37.021 --> 00:02:39.463 Ich hatte mal einen Kumpel während meiner Promotionszeit, 00:02:39.463 --> 00:02:41.525 der hat sich auch immer über diese Aufgaben lustig gemacht. 00:02:41.525 --> 00:02:46.059 Er hatte immer die Lösung, er setzte die Zahlenfolge fort 1, 2, 4, 8, 9, 0, 0, 00:02:46.129 --> 00:02:48.091 0, 0, 0. Ja, 00:02:48.091 --> 00:02:50.513 da stand ja nicht dran, wie man sie fortsetzen soll. 00:02:50.513 --> 00:02:52.495 Dann sollte man die Bildungsvorschrift angeben, da hat er gesagt, 00:02:52.495 --> 00:02:55.227 die ersten sind 1, 2, 4, 8, 9 und dann kommt immer 0. 00:02:55.617 --> 00:02:58.430 Das ist dann die Bildungsvorschrift. 00:02:59.081 --> 00:03:01.570 Das fiese ist, dass das nicht als Antwort zählt in der Schule, 00:03:01.570 --> 00:03:04.363 obwohl es eine perfekt valide Bildungsvorschrift ist. 00:03:04.363 --> 00:03:06.794 Ich glaube, wenn man dann auf dem Niveau darüber argumentieren könnte, 00:03:06.794 --> 00:03:08.310 sollte es auf jeden Fall zählen. 00:03:08.564 --> 00:03:11.580 Dann brauchst du aber auch einen Lehrer, der auch auf dem Niveau argumentieren kann. 00:03:11.580 --> 00:03:12.752 Können die bestimmt alle. 00:03:12.752 --> 00:03:13.790 Können die alle. 00:03:14.183 --> 00:03:15.658 So, dann kommt vielleicht Wikipedia. 00:03:16.392 --> 00:03:17.598 Wikipedia nutzen ja viele für Mathe. 00:03:17.598 --> 00:03:19.893 Wie alt ist Wikipedia eigentlich? 00:03:19.893 --> 00:03:21.510 Ach, das weiß ich nicht so genau. 00:03:21.923 --> 00:03:25.335 Aber Wikipedia ist, glaube ich, so zum Nachschlagen von Mathe-Definitionen. 00:03:25.335 --> 00:03:28.870 Das war ziemlich schnell. Ziemlich viel vertreten. 00:03:29.146 --> 00:03:30.413 Ist eigentlich ziemlich gut, 00:03:30.413 --> 00:03:31.750 erstaunlicherweise. 00:03:32.361 --> 00:03:34.787 Es steht natürlich auch viel Quatsch auf Wikipedia, 00:03:34.787 --> 00:03:36.351 aber so für Definitionen würde ich sagen, 00:03:36.351 --> 00:03:40.450 ist es inzwischen in den Grundlagen auf jeden Fall zuverlässig. 00:03:40.680 --> 00:03:41.763 Manchmal gibt es so Sachen, 00:03:41.763 --> 00:03:44.270 die in unterschiedlichen Communities unterschiedlich verwendet werden 00:03:44.270 --> 00:03:45.894 und dann kann man schnell aufs Glatteis kommen, 00:03:45.894 --> 00:03:48.530 weil es aus einer Blickrichtung geschrieben wird. 00:03:48.661 --> 00:03:50.695 Und es ist auch irgendwo ganz tief drin 00:03:50.745 --> 00:03:53.030 die gleiche Definition oder geht ums Gleiche, 00:03:53.030 --> 00:03:56.296 aber ich denke mal für so den normalen Grundstudiumsbereich oder so ist 00:03:56.296 --> 00:03:58.303 das auf jeden Fall eine wertvolle Ressource. 00:03:58.303 --> 00:03:59.800 Aber wer editiert das eigentlich? 00:03:59.892 --> 00:04:01.770 Hast du schon mal eine Wikipedia-Seite editiert? 00:04:01.861 --> 00:04:05.082 Ich hab's einmal gemacht und dann wurde es sofort zurückeditiert. 00:04:05.082 --> 00:04:07.042 Ja, da gibt's so Leute, die die Hand da drauf haben. 00:04:07.042 --> 00:04:09.812 Genau, da gab's irgend so eine Wikipedia-Polizei, 00:04:09.812 --> 00:04:11.502 die auf dieser Seite so ihre Hand hatte. 00:04:11.502 --> 00:04:13.512 Und dann hab ich frustriert sofort wieder aufgegeben 00:04:13.512 --> 00:04:14.900 und nie wieder war es editiert tatsächlich. 00:04:14.900 --> 00:04:16.550 Ist ja eigentlich schade. 00:04:16.643 --> 00:04:20.490 Ja, aber ich hab gehört, das sind hauptsächlich Männer, die das editieren. 00:04:20.653 --> 00:04:21.270 Mhm. 00:04:22.248 --> 00:04:23.610 Warum, weiß ich nicht. 00:04:23.962 --> 00:04:25.207 Ja, ein bisschen komisch ist es ja auch. 00:04:25.207 --> 00:04:28.570 Man müsste es irgendwie, denk ich, eher in Auftrag geben. 00:04:29.221 --> 00:04:30.062 Anstatt das so, 00:04:30.062 --> 00:04:32.207 also das ist natürlich schön, dass Freiwillige das machen können, 00:04:32.207 --> 00:04:36.997 aber es führt auch dazu, dass man da einen ganz starken Bias hat hin zu Leuten, 00:04:36.997 --> 00:04:38.721 die einfach Zeit haben sowas zu machen. 00:04:38.721 --> 00:04:43.119 So im Internet abzuhängen und das zu verfolgen und da mit Perfektionismus so eine 00:04:43.971 --> 00:04:45.343 Enzyklopädie zu schreiben. 00:04:45.373 --> 00:04:47.297 Während Leute, die halt vielleicht wirklich was zu sagen haben, 00:04:47.297 --> 00:04:49.004 nicht die Zeit dafür haben. 00:04:49.004 --> 00:04:51.869 Ja, sich da auch nicht die Zeit nehmen, ja, weil es halt auch... 00:04:53.121 --> 00:04:55.739 nicht so sichtbar ist erstmal, dass man das gemacht hat. 00:04:55.890 --> 00:04:59.310 Es ist halt so ein Community-Service wie jedes Wiki-Schreiben. 00:04:59.722 --> 00:05:03.162 Also da fließt halt unglaublich viel Zeit rein, die man so nicht sieht, 00:05:03.453 --> 00:05:05.259 die aber halt total wertvoll ist für alle. 00:05:05.259 --> 00:05:07.271 Also Wikipedia ist eine große Ressource. 00:05:07.271 --> 00:05:09.570 Man muss sie natürlich so ein bisschen mit Bedacht nutzen, 00:05:11.183 --> 00:05:15.030 eben weil da halt auch nichts überprüft ist und mit großem Bias geschrieben und... 00:05:15.100 --> 00:05:18.083 halt auch jeder einfach erstmal alles reinschreiben kann, ohne dass es... 00:05:18.083 --> 00:05:19.604 Kann auch irgendwie so Besitzstand sein, ja, 00:05:19.604 --> 00:05:22.766 wenn man eine Seite geschrieben hat, die dann auch irgendwie ein bisschen... 00:05:22.766 --> 00:05:24.428 Aufmerksamkeit bekommen hat, dann ist das... 00:05:24.428 --> 00:05:25.108 Das ist meine Seite. 00:05:25.108 --> 00:05:27.640 Darf keiner was dran machen. Dann kann sich irgendwer was editieren. 00:05:27.710 --> 00:05:29.942 Egal ob das... Egal ob die Professor ist. 00:05:31.033 --> 00:05:32.454 Ja, sowas, genau, ja, 00:05:32.454 --> 00:05:34.416 oder dann sagt sie es vielleicht noch nicht mal dazu 00:05:34.416 --> 00:05:36.838 und dann wieso kommt da jetzt irgendjemand Dahergelaufenes 00:05:36.838 --> 00:05:38.409 und schreibt da an meinem Zeug rum. 00:05:38.779 --> 00:05:39.279 Ja... Ja. 00:05:41.400 --> 00:05:43.882 Bei manchen Sachen gibt es halt manchmal auch so konkurrierende Ansätze, 00:05:43.882 --> 00:05:45.123 die beide irgendwie valide sind 00:05:45.123 --> 00:05:47.765 und dann ist oft halt nur einer bei Wikipedia abgebildet. 00:05:47.765 --> 00:05:49.267 Das ist tatsächlich manchmal doof, 00:05:49.267 --> 00:05:52.449 weil die zum Teil auch einfach nicht äquivalent sind, 00:05:52.449 --> 00:05:55.762 aber halt gleichberechtigt sozusagen nebeneinander her existieren. 00:05:55.912 --> 00:05:57.594 Und das ist oft einfach schlecht abgebildet, 00:05:57.594 --> 00:06:00.166 dann so eine kompliziertere Literaturlage. 00:06:00.936 --> 00:06:02.298 Das sieht man auf Wikipedia nicht. 00:06:02.298 --> 00:06:05.161 Da gibt es halt eine richtige Definition, so in Anführungszeichen. 00:06:05.161 --> 00:06:06.716 Und alle anderen sind halt nicht da. 00:06:06.716 --> 00:06:09.421 Das ist ja der Anspruch von einem 00:06:10.617 --> 00:06:13.042 Lexikon. Die eine Sache, 00:06:13.042 --> 00:06:14.444 die eine Erklärung dafür zu haben 00:06:14.444 --> 00:06:17.087 oder wenn es halt wirklich zwei verschiedene gibt, dann zwei verschiedene. 00:06:17.087 --> 00:06:20.752 Aber so eine Konvergenz auf was bedeutet ein Begriff, ist ja schon vorgesehen. 00:06:20.752 --> 00:06:21.273 Und das ist vielleicht in 00:06:21.273 --> 00:06:23.967 der Mathematik manchmal gar nicht möglich bei manchen Definitionen, 00:06:24.357 --> 00:06:26.241 weil Sachen mehrfach verwendet werden. 00:06:26.241 --> 00:06:27.744 Genau, die werden mehrfach verwendet. 00:06:27.744 --> 00:06:29.767 Manchmal will man auch zwei Varianten haben, 00:06:29.767 --> 00:06:33.624 weil die was bisschen anderes irgendwie jeweils besser abbilden 00:06:34.095 --> 00:06:36.909 oder einen Aspekt halt stärker beleuchten und dann 00:06:37.820 --> 00:06:38.981 ist es manchmal gar nicht sinnvoll, 00:06:38.981 --> 00:06:41.953 das konvergieren zu lassen und einen tatsächlich zu verdrängen. 00:06:42.124 --> 00:06:44.425 Und sowas bildet erfahrungsgemäß, 00:06:44.425 --> 00:06:47.808 also einfach vom Nachschlagen her, Wikipedia relativ schlecht ab. 00:06:47.808 --> 00:06:50.730 Also es steht dann halt selten dabei, hier gibt es zwei konkurrierende Ansätze, 00:06:50.730 --> 00:06:52.061 das sind die folgenden beiden. 00:06:53.132 --> 00:06:54.523 Manchmal ist das der Fall, 00:06:55.514 --> 00:06:57.705 manchmal aber auch nicht so gut. 00:06:59.317 --> 00:07:02.289 Ja, also auf jeden Fall eine wertvolle Ressource. 00:07:02.579 --> 00:07:07.484 Dann Blogs. Kennst du auch irgendwelche Mathe-Blogs? 00:07:07.484 --> 00:07:09.727 Ja, es gibt natürlich hier Terry Tao. 00:07:09.727 --> 00:07:12.350 Ja, genau, What’s New von Terry Tao. 00:07:12.350 --> 00:07:15.714 Da kann man wahrscheinlich stundenlang drin lesen. 00:07:15.714 --> 00:07:19.238 Der postet ja da auch so Vorlesungsmitschriften oder seine Course Notes, 00:07:19.238 --> 00:07:20.975 das sind ja seitenlange. Äh... 00:07:21.961 --> 00:07:23.082 Das sind halbe Bücher, ne? 00:07:23.082 --> 00:07:27.086 Ja, halbe Bücher. Ich glaube seine Analysesbücher sind auch so entstanden, 00:07:27.086 --> 00:07:28.817 dass das einfach nur die Blogposts, 00:07:28.908 --> 00:07:33.342 die sind ja schon mit LaTeX getippt, dann irgendwie nochmal überarbeitet sind. 00:07:33.993 --> 00:07:35.264 Und hat er dann auch die... 00:07:36.495 --> 00:07:40.440 ähm... so Career Advice gibt's glaub ich auch, ne Seite. 00:07:40.440 --> 00:07:40.940 Seite. 00:07:41.520 --> 00:07:42.883 Der hat auch so ähm... 00:07:42.883 --> 00:07:46.359 der ist ganz breit, also auch so wie man Paper schreibt und ähm... 00:07:46.691 --> 00:07:48.895 wie ne Bewerbung aussehen soll, was da drin... 00:07:48.895 --> 00:07:51.702 das ist glaub Teil von dieser Career Advice Reihe. 00:07:51.702 --> 00:07:53.910 Also ich mein die Leute wissen das jetzt vielleicht nicht, äh die das hören, 00:07:53.910 --> 00:07:57.130 also Terry Tao ist ein Fields-Middleist und ähm... 00:07:57.682 --> 00:08:02.743 äh also einer der bekanntesten und einflussreichsten lebenden Mathematiker. 00:08:03.134 --> 00:08:05.950 Und... das ist eigentlich ne interessante... 00:08:06.040 --> 00:08:10.234 Sache, dass der dann einfach so nen Wordpress-Blog hat, wo man jetzt seine... 00:08:10.504 --> 00:08:15.458 wo er sich so frank und frei exponiert und wirklich in unglaublicher Länge 00:08:15.568 --> 00:08:19.962 regelmäßig äußert. Also... das schafft doch eigentlich schon mal so ne Verbindung. 00:08:20.692 --> 00:08:24.055 Für mich jetzt, für so nen normalen Wald-und-Wiesen-Mathematiker wie mich, 00:08:24.055 --> 00:08:27.368 wäre ja jemand wie Terry Tao erstmal relativ unnahbar. 00:08:27.398 --> 00:08:29.990 Jetzt arbeitet er auch noch hauptsächlich in so eher analytischen... 00:08:30.040 --> 00:08:33.244 Bereichen, mit denen ich auch fachlich weniger zu tun habe, 00:08:33.244 --> 00:08:35.776 aber dass ich irgendwie mit dem kommuniziere, ist 00:08:36.767 --> 00:08:37.808 unwahrscheinlich. 00:08:37.808 --> 00:08:40.851 Man schreibt ihm nicht einfach so eine E-Mail. 00:08:40.851 --> 00:08:44.015 Oder wenn man es macht, dann muss da schon was sehr interessantes drinstehen, 00:08:44.015 --> 00:08:45.716 bevor er vielleicht Zeit hat zu antworten. 00:08:45.716 --> 00:08:48.579 Das hat bestimmt auch gut zu tun. 00:08:48.579 --> 00:08:49.550 Aber... Bis zum nächsten Mal. 00:08:50.120 --> 00:08:53.764 Letztendlich so ein Blog, da ist ja doch irgendwie relativ regelmäßig irgendwas, 00:08:53.764 --> 00:08:55.696 was direkt von ihm kommt. 00:08:56.046 --> 00:08:58.329 Man kann auch kommentieren und dann antwortet er auf die Kommentare. 00:08:58.329 --> 00:09:02.733 Also irgendwie ein interessanter Kommunikationskanal, der diese ganzen... 00:09:02.733 --> 00:09:04.965 alles überbrückt. Die ganzen 00:09:05.997 --> 00:09:09.110 Schranken, die es jetzt in dieser mathematischen Gesellschaft irgendwie gibt. 00:09:09.281 --> 00:09:11.973 Also dieser Blog und gerade auch die Comment-Section, 00:09:11.973 --> 00:09:12.840 die ist unglaublich demokratisch. 00:09:12.840 --> 00:09:15.025 Also da kommentieren alle möglichen Leute. 00:09:15.025 --> 00:09:16.338 Andere berühmte Profs, 00:09:16.589 --> 00:09:21.450 aber halt auch Studierende oder Doktoranden aus allen möglichen Bereichen, 00:09:21.743 --> 00:09:25.790 die da Fragen posten oder auch nur ja, vielen Dank für diese Ressource oder so. 00:09:25.804 --> 00:09:29.729 Und das wird weitestgehend beantwortet, auch von Terry Tao selber. 00:09:29.729 --> 00:09:31.130 Und ich glaube... 00:09:31.501 --> 00:09:34.567 dass das so eine extrem niedrigschwellige Möglichkeit ist, 00:09:34.567 --> 00:09:37.714 halt so direkt von ihm irgendwie eine Rückmeldung zu irgendwas zu kriegen. 00:09:37.714 --> 00:09:41.130 Das finde ich großartig, dass er sich dafür die Zeit nimmt auch. 00:09:41.821 --> 00:09:44.044 Und das auch so eine Plattform schafft dadurch. 00:09:44.044 --> 00:09:45.927 Ja, also er könnte es ja auch auf seine Webseite stellen 00:09:45.927 --> 00:09:48.600 und da irgendwelche PDFs hochladen mit seinen Kursnotizen 00:09:48.811 --> 00:09:49.913 und seinen Career Advice, 00:09:49.913 --> 00:09:52.817 aber da gäbe es halt gerade so eine Comment Section halt nicht, 00:09:52.817 --> 00:09:54.379 wo man ihn direkt darauf ansprechen kann. 00:09:54.379 --> 00:09:56.574 Ich frage mich auch, wie der das macht, ob der denn so, 00:09:56.704 --> 00:09:57.846 kann man sich irgendwie nicht vorstellen, 00:09:57.846 --> 00:09:59.409 ob der dann so ins Büro geht und sagt, 00:09:59.409 --> 00:10:02.174 jetzt bearbeite ich mal Kommentare auf meinem Blog 00:10:02.174 --> 00:10:03.837 oder ob der das dann so auf dem Handy macht, 00:10:03.837 --> 00:10:05.650 während er irgendwie mit seinen Kindern spielt oder kocht. 00:10:06.911 --> 00:10:07.910 Hat der Kinder? 00:10:07.927 --> 00:10:09.370 Ja, der hat glaube ich Kinder. 00:10:09.941 --> 00:10:14.469 Was der für ein Output hat, finde ich eh extrem bewundernswert. 00:10:14.469 --> 00:10:18.936 Allein diese Masseninput auf dieser Webseite plus die 1000 Paper, 00:10:18.936 --> 00:10:20.780 die da immer erscheinen. Ja, ist verrückt. 00:10:20.780 --> 00:10:23.661 Ein anderer Fields-Metalist, der auch einen Blog hat, ist ja Timothy Gowers. 00:10:23.661 --> 00:10:24.161 Ja. 00:10:25.481 --> 00:10:27.386 Der hat aber auch noch viel mehr, 00:10:27.386 --> 00:10:29.853 also das sind auch mathematische Artikel natürlich zu Sachen, 00:10:29.853 --> 00:10:32.500 die ihn interessieren, so aus dieser … 00:10:32.500 --> 00:10:36.997 Bereich Kombinatorik. Aber der hatte auch Meinung und Politik auf seinem Blog. 00:10:37.028 --> 00:10:39.091 Also da gab's ja mal diesen Elsevier-Boykott, 00:10:39.091 --> 00:10:44.890 also ein groß angelegter Boykott von einem Wissenschaftsverlag, der das mit den … 00:10:45.260 --> 00:10:49.034 Preisforderungen bei den Abo-Modellen ziemlich übertrieben hat und auch 00:10:49.225 --> 00:10:51.307 da die Bibliotheken hat bluten lassen. 00:10:51.307 --> 00:10:52.649 Und da ging eigentlich aus diesem, 00:10:52.649 --> 00:10:55.432 aus so einem Blog heraus eine Bewegung los, 00:10:55.432 --> 00:10:58.365 diesen Wissenschaftsverlag zu boykottieren. 00:10:58.555 --> 00:11:03.150 Na, da hat der natürlich auch seine Publicity genutzt, um da den Boykott … 00:11:03.423 --> 00:11:05.637 … mit zu unterstützen. Also seinen Namen auch als Werbung. 00:11:05.637 --> 00:11:06.137 Ja, 00:11:05.637 --> 00:11:07.697 dass das jetzt ein Blog war, hat jetzt damit nichts zu tun. 00:11:07.697 --> 00:11:09.141 Wenig, ja, ja. Es liegt natürlich daran, wer das schreibt. 00:11:09.666 --> 00:11:13.082 Wer das macht, ja. Aber es ist auch dankbar aufgenommen worden. 00:11:13.082 --> 00:11:18.824 Und wenn da ein Artikel ist, da sieht man auch in den Kommentarspalten dann, 00:11:19.115 --> 00:11:20.640 sagen wir mal, einige bekannte Gesichter. 00:11:20.640 --> 00:11:23.110 Der ist auch auf Twitter ganz aktiv. 00:11:23.520 --> 00:11:26.614 Also da ist er auch jeden Tag irgendwie unterwegs mit. 00:11:26.784 --> 00:11:28.736 Na gut, zu Social Media kommen wir vielleicht später noch. 00:11:28.786 --> 00:11:32.471 Ein alter Blog, den ich irgendwie mal in meiner Studienzeit, glaube ich, 00:11:32.471 --> 00:11:34.914 noch entdeckt hatte, ist das n-category Cafe. 00:11:34.914 --> 00:11:35.795 Hast du davon schon mal gehört? 00:11:35.795 --> 00:11:36.616 Ja, das habe ich auch mal. 00:11:36.616 --> 00:11:37.477 Das kennst du auch, ja? 00:11:37.477 --> 00:11:38.037 Das kenn ich auch. 00:11:38.037 --> 00:11:40.450 Das habe ich auch eine Zeit lang mal gelesen während meiner Promotion. 00:11:41.662 --> 00:11:42.429 Das ist auch eine lustige Frage. 00:11:42.429 --> 00:11:43.823 Weißt du was eine n-Category ist? 00:11:43.823 --> 00:11:46.621 Äh, nee. Ich habe es tatsächlich nie nachgeguckt. 00:11:46.621 --> 00:11:47.333 Ich auch nicht. 00:11:47.343 --> 00:11:48.365 Ich habe irgendwie so die Vorstellung, 00:11:48.365 --> 00:11:51.051 dass irgendwie, es gibt doch in der Kategorie-Theorie dieses Problem, 00:11:51.051 --> 00:11:54.599 dass man keine, kein Ding hat, wo alle Mengen drin sind. 00:11:54.599 --> 00:11:54.701 Genau, 00:11:54.701 --> 00:11:56.125 die Menge aller Mengen gibt es nicht. 00:11:56.125 --> 00:11:57.518 Die Menge aller Mengen gibt es halt nicht, 00:11:57.870 --> 00:12:00.520 weil dann wüsste man nicht, ob die sich selbst enthält. 00:12:00.520 --> 00:12:05.690 Ne, die Menge aller Mengen, die sich selbst nicht enthalten, die gibt es nicht. 00:12:05.904 --> 00:12:07.493 Die Menge aller Mengen, Moment. 00:12:07.493 --> 00:12:09.130 Die sich selbst nicht enthalten. 00:12:09.860 --> 00:12:12.093 Die sich selbst nicht enthalten, ja genau. 00:12:12.604 --> 00:12:13.945 Die gibt es nicht, weil wenn man überlegt. 00:12:13.945 --> 00:12:15.307 Die müsste sich selber enthalten. 00:12:15.307 --> 00:12:16.889 Und auch nicht. Und auch nicht, genau. 00:12:16.889 --> 00:12:17.389 Ja, 00:12:16.969 --> 00:12:20.233 wenn sie sich selbst enthält, dann enthält sie sich nicht und wenn schon, 00:12:20.233 --> 00:12:21.184 wenn nicht dann doch. 00:12:21.555 --> 00:12:24.278 Und dieses Problem, das kann man nur dadurch auflösen, dass man sagt, 00:12:24.278 --> 00:12:25.550 die Menge aller Mengen. 00:12:26.221 --> 00:12:27.487 Ist halt ein anderes Objekt. 00:12:27.487 --> 00:12:30.710 Aus der kann man nicht so eine komische Menge auswählen. 00:12:30.862 --> 00:12:32.386 Und dann stelle ich mir vor, 00:12:32.386 --> 00:12:34.050 dass es sozusagen, dann gibt es halt so eine Klassen, 00:12:34.050 --> 00:12:36.356 gibt es irgendwie ein neues Objekt Klassen, das ist groß genug, 00:12:36.356 --> 00:12:38.050 dass es alle Mengen enthalten kann. 00:12:38.182 --> 00:12:40.760 Aber dann braucht man irgendwas, was alle Klassen enthalten kann. 00:12:41.332 --> 00:12:43.910 Und dann erfindet man einfach irgendwas, was heißt zwei Klassen. 00:12:44.182 --> 00:12:47.111 Dann gibt es drei Klassen und baut man so eine Hierarchie auf. 00:12:47.111 --> 00:12:50.190 Und ich glaube eine n-category ist irgend sowas, wo die... 00:12:51.582 --> 00:12:57.530 das was die Objekte speichert, irgendwie sowas von einer Entenstufe ist oder so. 00:12:58.403 --> 00:13:01.072 Dann gibt es ja die Homotopie-Typ-Theorie, die das jetzt alles lösen soll. 00:13:01.072 --> 00:13:02.902 Aber davon, naja, da machen wir mal eine andere Folge. 00:13:02.902 --> 00:13:04.729 Oh ja, da müssen wir auch mal noch drüber reden. 00:13:04.729 --> 00:13:07.829 Das finde ich total spannend. Da habe ich vor kurzem was drüber gehört. 00:13:08.083 --> 00:13:11.590 Aber ja, das führt glaube ich jetzt sehr weit weg von dem Mathe im Internet. 00:13:12.700 --> 00:13:15.790 Ja, obwohl das auch so ein Community-Projekt war. 00:13:16.141 --> 00:13:17.303 Das ist eigentlich vielleicht auch, 00:13:17.303 --> 00:13:19.587 also was auch immer Homotopie-Typtheorie ist, 00:13:19.587 --> 00:13:22.181 ist so vielleicht unter anderem ein Versuch 00:13:22.512 --> 00:13:24.996 die Grundlagen der Mathematik neu aufzubauen auf 00:13:24.996 --> 00:13:27.670 was anderem als den Mengenlehre-Axiom. 00:13:27.742 --> 00:13:30.377 Aber da gab es mal so ein Special Semester 00:13:31.430 --> 00:13:32.652 am Institut for Advanced Study, 00:13:32.652 --> 00:13:34.657 wo das so ein Buch geschrieben werden sollte und die haben 00:13:34.657 --> 00:13:36.510 das Buch komplett auf GitHub geschrieben. 00:13:36.792 --> 00:13:37.344 Okay. 00:13:37.344 --> 00:13:40.210 Also es war sozusagen so ein offenes Git-Repository. 00:13:40.481 --> 00:13:40.841 Wie viele Leute? 00:13:40.841 --> 00:13:45.768 Wo über 50 Leute mitgeschrieben haben und da ist ein lesbares Buch entstanden. 00:13:45.768 --> 00:13:47.440 Ich hab das in meinem Büro. Da, 00:13:48.332 --> 00:13:50.635 das kann man sich sozusagen entweder runterladen als PDF einfach so 00:13:50.635 --> 00:13:54.530 oder man kann es für wenig Geld als Print-on-Demand sich ausdrucken lassen. 00:13:54.801 --> 00:13:57.995 Ich habe jetzt nicht so viel darin gelesen, aber die Einheitung und so, 00:13:57.995 --> 00:13:59.019 das konnte man alles schon ganz gut lesen. 00:13:59.019 --> 00:14:01.201 Und das hat dann 50 Autoren oder hat das irgendein Pseudonym? 00:14:01.201 --> 00:14:05.142 Das hat so ein Pseudonym, das Team, das Hot-Team oder so heißt das dann. 00:14:05.142 --> 00:14:08.291 Sehr witzig. Das ist überhaupt so ein Phänomen, 00:14:08.291 --> 00:14:11.629 was Mathe im Internet, wahrscheinlich ein neueres Phänomen. 00:14:12.640 --> 00:14:15.003 In diese Richtung, diese Polymath Projekte, 00:14:15.003 --> 00:14:19.519 wo tatsächlich Webseiten aufgesetzt wurden mit dem, 00:14:19.549 --> 00:14:22.442 also Chatforen mal platt gesagt, 00:14:23.013 --> 00:14:26.999 wo offene Fragen diskutiert werden sollten mit möglichst viel Manpower. 00:14:26.999 --> 00:14:31.043 Also das ist halt so diese Idee aus der Informatik, dass man, 00:14:31.043 --> 00:14:33.155 wenn man parallel rechnet, dass es einfach schneller geht. 00:14:33.565 --> 00:14:35.988 Und da war halt so die Idee, das auf Mathe zu übertragen, 00:14:35.988 --> 00:14:39.492 wenn jetzt an einem offenen Problem einfach unglaublich viele Leute gleichzeitig 00:14:39.492 --> 00:14:43.215 arbeiten und ihren auch noch so kleinen Einsichten 00:14:43.215 --> 00:14:46.368 in irgendeinem Chatforum teilen oder auf so einer Webseite teilen, 00:14:46.479 --> 00:14:50.257 dass man dann so eine Frage die erstmal out of reach aussieht, 00:14:50.489 --> 00:14:52.916 tatsächlich doch irgendwie lösen kann in der Zeit. 00:14:52.916 --> 00:14:56.225 Und das hat auch geklappt. Das ist eine total spannende Sache. 00:14:56.225 --> 00:14:59.955 Ich weiß gar nicht wie viele Autoren waren da schlussendlich beim Paper dabei. 00:14:59.955 --> 00:15:01.402 Da sind natürlich viele hundert abgehängt worden. 00:15:01.402 --> 00:15:05.421 Da gibt's dann so eine Frage, wer schreibt am Ende des Paper, 00:15:05.421 --> 00:15:08.164 wenn da wirklich was Tolles bei rauskommt. 00:15:08.164 --> 00:15:11.788 Es gab ja dieses Polymath-Project, wo wirklich was Tolles bei rausgekommen ist. 00:15:11.788 --> 00:15:13.050 Ich weiß nicht mehr, was der Satz war, 00:15:13.050 --> 00:15:14.572 aber die haben wirklich so eine offene Frage geknackt. 00:15:14.572 --> 00:15:16.134 Ich glaube, da war Gowers auch involviert. 00:15:16.134 --> 00:15:20.078 Ich erinnere mich zumindest auf diesem Gowers-Blog, 00:15:20.078 --> 00:15:21.890 da mal was drüber gelesen zu haben. 00:15:22.564 --> 00:15:23.967 Ja, das müssen wir nochmal recherchieren. 00:15:24.262 --> 00:15:27.211 Terry Tao war da auch dabei und es waren irgendwie mehrere Autoren, 00:15:27.211 --> 00:15:30.170 aber ich weiß nicht mehr viele, so Größenordnung 10, 20 vielleicht. 00:15:30.642 --> 00:15:31.934 Aber gibt's jetzt irgendwelche, 00:15:32.025 --> 00:15:35.533 also das ist ja schon eine fundamental neue Art und Weise zusammenzuarbeiten, 00:15:35.533 --> 00:15:38.059 die eigentlich in dem Sinne nur durchs Internet möglich ist, oder? 00:15:38.059 --> 00:15:38.559 Ja. 00:15:38.781 --> 00:15:39.603 Würde ich auch so sehen. 00:15:39.603 --> 00:15:43.122 Also du kannst nicht 20 Leute an einem großen Konferenztisch sitzen 00:15:43.353 --> 00:15:45.398 lassen für eine Woche und sagen, jetzt macht mal Mathe, 00:15:45.398 --> 00:15:48.589 schreib mal Petra. Brainstorming oder so, also ich kann mir, ja. 00:15:49.824 --> 00:15:52.765 Nee, ist wie mit so einem ganzen Seminar zusammen irgendwie ein Paper schreiben. 00:15:52.765 --> 00:15:54.910 Aber ich frag mich, ob das wirklich so... 00:15:56.001 --> 00:15:58.797 ob das nicht dann doch einzelne Akteure sind, die... 00:15:59.088 --> 00:16:03.843 vielleicht kriegen die die richtige Idee dadurch, dass viele Leute da sind oder so. 00:16:03.843 --> 00:16:04.947 Ich hab da nicht mitgemacht. 00:16:04.947 --> 00:16:07.596 Ich hab das auch nicht nah beobachtet, aber das hab ich mich eben auch gefragt, 00:16:07.596 --> 00:16:08.582 wie funktioniert das? 00:16:08.582 --> 00:16:10.728 Also man muss ja erstens Zeit haben, alles zu lesen, 00:16:10.728 --> 00:16:11.911 was da irgendjemand postet 00:16:11.911 --> 00:16:14.360 und das sozusagen wieder in seinen eigenen Denkprozess zu integrieren. 00:16:14.360 --> 00:16:16.510 Ob es da nicht irgendwen gibt, der... 00:16:16.702 --> 00:16:17.800 Der heimlich das einfach pusht. 00:16:17.800 --> 00:16:18.371 ... die da so... 00:16:18.462 --> 00:16:21.734 nee, aber die sozusagen den Überblick behalten muss so, 00:16:21.734 --> 00:16:23.870 um das irgendwie zusammenzuführen, ja? 00:16:24.004 --> 00:16:25.482 Ja, weiß ich nicht. 00:16:25.482 --> 00:16:28.173 Da müssen wir mal mit einer Mathematikhistorikerin reden oder so, 00:16:28.173 --> 00:16:29.421 die sozusagen diese... ... 00:16:29.421 --> 00:16:33.423 schon einen Überblick haben, was es so für verschiedene Verstehensprozesse gibt. 00:16:33.423 --> 00:16:37.006 Du meinst, dass sozusagen so eine Schwarmintelligenz nicht funktionieren kann? 00:16:37.097 --> 00:16:38.090 Das... 00:16:37.097 --> 00:16:37.642 Ja, 00:16:37.642 --> 00:16:39.247 aber vielleicht täuscht man sich nur vor, 00:16:39.247 --> 00:16:43.210 dass es wirklich so aus diesem Schwarm kam und in Wirklichkeit war es halt nur... 00:16:43.361 --> 00:16:44.683 Tao und Gowers. 00:16:44.683 --> 00:16:47.338 Ja genau, wenn... 00:16:47.348 --> 00:16:49.372 Okay, tausend Leute, es ist gut, dass tausend Leute nachdenken, 00:16:49.372 --> 00:16:52.558 aber wenn Tao und Gowers zusammen alle irgendwas arbeiten, dann... 00:16:52.558 --> 00:16:52.921 Reicht's vielleicht. 00:16:52.921 --> 00:16:55.221 Reicht's vielleicht auch so. Und zwei auch vielleicht. 00:16:55.221 --> 00:16:58.168 Ja, also dass es eben nicht so funktioniert wie bei den Ameisen, 00:16:58.168 --> 00:17:00.955 wo keine Ameise den Weg weiß und weiß wie der Bau funktioniert, 00:17:00.955 --> 00:17:03.350 sondern wo halt doch irgendwie... 00:17:03.741 --> 00:17:05.846 ein Captain das Schiff navigiert. 00:17:05.846 --> 00:17:06.477 Keine Ahnung. 00:17:06.668 --> 00:17:08.802 Das wäre mal interessant. Gibt's da irgendwie... 00:17:08.953 --> 00:17:11.629 weiß nicht, gibt's wahrscheinlich keine soziologische Studie dazu. 00:17:12.921 --> 00:17:15.164