WEBVTT NOTE PGD032 – automatic transcript (Whisper large-v3, wav2vec2 alignment, Sortformer + speaker embeddings). Generated by tools/transcribe/pi3tx.py, may contain errors. 00:00:00.000 --> 00:00:01.950 Hallo, liebe Zuhörerinnen und Zuhörer. 00:00:02.100 --> 00:00:08.710 Hallo, Thomas. Wir sind zurück mit Folge 32 von Pi ist genau 3. 00:00:10.060 --> 00:00:14.220 Ja, Nummer 32 fällt mir im Moment eigentlich nur eins ein, 00:00:14.220 --> 00:00:15.600 das ist nichts Mathematisches. 00:00:15.600 --> 00:00:17.400 Es gibt ein Bild von Pollock, was so heißt. 00:00:17.400 --> 00:00:17.974 Nummer 32. 00:00:19.040 --> 00:00:19.553 Ja, Number 00:00:19.868 --> 00:00:20.368 32. 00:00:21.303 --> 00:00:24.869 Hat er alle seine Bilder durchnummeriert und das ist irgendwie überliefert oder wie? 00:00:25.521 --> 00:00:26.843 Das weiß ich ehrlich überhaupt gar nicht. 00:00:26.843 --> 00:00:27.103 Ich glaube, 00:00:27.103 --> 00:00:29.136 Kandinski hat auch so nummerierte Bilder, oder? 00:00:29.768 --> 00:00:30.709 Vielleicht war das mal… 00:00:30.709 --> 00:00:34.235 Kandinski? Ja, das war doch irgendwie in den 90ern ganz ähnlich. 00:00:34.235 --> 00:00:36.982 Nummer 7 und Nummer 8 sind da irgendwie, ich weiß auch nicht mehr so noch. 00:00:36.982 --> 00:00:39.019 Die hingen in allen Arztpraxen und so, ne? 00:00:39.030 --> 00:00:40.094 Naja, 32 ist aber, 00:00:40.094 --> 00:00:42.050 wir sind jetzt 6-Bit, Petra. 00:00:43.461 --> 00:00:46.194 5-Bit reichen nicht mehr aus, um unsere Folgen aufzuzählen. 00:00:46.525 --> 00:00:47.937 Das ist das sechste Bit. 00:00:48.288 --> 00:00:49.089 Und dann muss man ja immer ganz schön, 00:00:49.089 --> 00:00:50.391 dann muss man immer nochmal so viele Folgen machen, 00:00:50.391 --> 00:00:51.732 bis wir dann ein siebtes Bit brauchen. 00:00:51.732 --> 00:00:55.507 Also, das dauert dann immer exponentiell länger, bis man das, 00:00:55.618 --> 00:00:57.410 bis man dieses wieder erlebt. Also. 00:00:57.885 --> 00:00:59.336 Okay, das heißt, wir feiern diesen Moment. 00:00:59.336 --> 00:01:01.477 Wir feiern sechs Bit. Hurra. Trö, trö. 00:01:01.477 --> 00:01:01.977 Okay. 00:01:02.612 --> 00:01:03.350 Yay. 00:01:03.771 --> 00:01:04.530 Okay. 00:01:05.523 --> 00:01:08.581 Milestones, ne? Sehr gut. Du hast ein Thema vorbereitet, Thomas. 00:01:08.581 --> 00:01:09.974 Ich habe heute ein Thema vorbereitet. 00:01:10.025 --> 00:01:13.433 Ich hatte dir ja vor einiger Zeit mal so einen Artikel geschickt, 00:01:13.433 --> 00:01:16.570 über den ich mit dir mal reden wollte. 00:01:17.441 --> 00:01:19.356 Und da geht's darum, 00:01:20.369 --> 00:01:23.827 wem die Mathematik eigentlich gehört oder ob die überhaupt irgendjemandem 00:01:23.898 --> 00:01:26.351 gehören kann. Und 00:01:27.765 --> 00:01:29.508 da werden so ein paar provokante Fragen gestellt und 00:01:29.508 --> 00:01:31.502 die können wir ja vielleicht mal so ein bisschen 00:01:31.973 --> 00:01:35.710 anfangen zu diskutieren auf einer ganz mathematischen Ebene. 00:01:36.523 --> 00:01:41.610 Was würdest du denn sagen ist ein mathematischer Satz und wann ist der bewiesen? 00:01:42.542 --> 00:01:44.537 Ach du liebe Zeit. 00:01:45.070 --> 00:01:48.163 Okay, es ist jetzt eher so die Frage, was ist ein Theorem, was ist ein Satz? 00:01:48.163 --> 00:01:48.304 Ja, 00:01:48.304 --> 00:01:50.528 was ist ein Satz und wann ist es ein Satz? 00:01:51.122 --> 00:01:54.158 Wann ist es ein Satz? Ja, das ist ja fast schon eine philosophische Frage. 00:01:54.158 --> 00:01:56.922 Also wird es ein Satz oder ist es schon am Anfang ein Satz? 00:01:56.922 --> 00:01:59.352 Das ist, ich wollte ja sagen, das ist fast schon die Frage, 00:01:59.352 --> 00:02:01.790 ob man Mathematik erfindet oder entdeckt. 00:02:02.943 --> 00:02:03.887 Ich habe so ein Gefühl, 00:02:03.887 --> 00:02:07.142 dass wir auf diese Frage noch kommen, noch viel kommen werden, diese Folge. 00:02:07.142 --> 00:02:11.710 Okay, gut. Aber wir reden jetzt erstmal drüber, was ist ein Satz. 00:02:13.181 --> 00:02:14.283 Haben wir das nicht schon mal, 00:02:14.283 --> 00:02:16.709 ich weiß gar nicht, wir haben über Beweise mal geredet, ne? 00:02:16.709 --> 00:02:17.792 Haben wir nicht gesagt, was ein Satz ist? 00:02:17.792 --> 00:02:21.530 In den ersten fünf Bit kam es bestimmt mal vor, dass wir auch schon das … 00:02:22.701 --> 00:02:24.364 Okay, sagen wir mal, also ich versuch das mal. 00:02:24.364 --> 00:02:28.251 Ein Satz ist eine mathemat-, eine beweisbare, 00:02:28.251 --> 00:02:33.082 eine richtige beweisbare mathematische Aussage, inklusive Beweis, würde ich sagen. 00:02:33.082 --> 00:02:35.010 Hm, okay. Also Aussagen sind … 00:02:35.010 --> 00:02:36.838 Man braucht erstmal ein Aktionensystem, ne? 00:02:36.838 --> 00:02:37.338 Ja. 00:02:38.220 --> 00:02:39.822 Du musst erstmal ein Aktionensystem haben 00:02:39.822 --> 00:02:44.798 und innerhalb des Aktionensystems kannst du Aussagen formulieren und 00:02:45.489 --> 00:02:48.132 die du falsifizieren oder verifizieren kannst. 00:02:48.132 --> 00:02:49.354 Und ein Satz, würde ich sagen, 00:02:49.354 --> 00:02:54.681 ist eine verifizierte mathematische Aussage innerhalb eines Aktionensystems. 00:02:54.681 --> 00:02:56.424 Okay. Also wenn das okay für dich ist, würde ich sagen, 00:02:56.424 --> 00:02:58.909 wir lassen mal jetzt diese ganze Gödel und Sprache und so, 00:02:58.909 --> 00:03:01.523 da haben wir ja schon öfter drüber gesprochen, ein bisschen weg, 00:03:01.754 --> 00:03:05.130 weil ich eigentlich auf was anderes, in eine bisschen andere Richtung will. 00:03:05.480 --> 00:03:10.624 Und zwar, also man hat irgendwie diese mathematischen Aussagen, 00:03:10.624 --> 00:03:13.106 und wie du gerade gesagt hast, ja genau, also eine Aussage, 00:03:13.106 --> 00:03:18.961 die wahr ist und einen Beweis hat, ist ein Satz. 00:03:19.452 --> 00:03:21.633 Und wann hat die denn einen Beweis? 00:03:21.633 --> 00:03:25.857 Also wenn jetzt ich zum Beispiel einen Beweis finde von einem Satz, 00:03:25.857 --> 00:03:29.890 also von einer wahren Aussage, und den aber keinem erzähle. 00:03:31.462 --> 00:03:34.150 Ist es dann ein Satz oder ist es dann kein Satz? 00:03:34.425 --> 00:03:36.530 Ja, ist ein Satz für dich halt, ne? 00:03:36.705 --> 00:03:38.223 Für mich so mein privater Satz. 00:03:38.556 --> 00:03:39.108 Oder wie? 00:03:40.242 --> 00:03:41.586 Ja, ich glaube, du spielst schon so, 00:03:41.586 --> 00:03:45.459 also der Artikel, den du mir geschickt hast, der hieß ja Who owns the theorem, ne? 00:03:45.459 --> 00:03:45.959 Ja. 00:03:46.902 --> 00:03:49.297 Ich glaube, da spielst du gerade schon so ein bisschen drauf an, 00:03:49.768 --> 00:03:51.312 wem diese Sätze da jetzt gehören. 00:03:51.312 --> 00:03:54.950 Das ist so eine der Fragen, die da aufgeworfen wird in diesem Artikel. 00:03:56.480 --> 00:03:57.521 Ja, keine Ahnung. 00:03:57.521 --> 00:04:00.343 Also wir hatten ja schon mal über Beweise sehr ausführlich gesprochen, 00:04:00.343 --> 00:04:06.689 im ersten Bit. Und da, 00:04:06.689 --> 00:04:08.660 vielleicht im zweiten Bit. 00:04:08.930 --> 00:04:12.113 Und da haben, also da war so ein Ding, 00:04:12.113 --> 00:04:14.044 was mir irgendwie in Erinnerung geblieben ist, was wir auch, 00:04:14.155 --> 00:04:16.146 glaube ich, hoffentlich genannt haben, ist, 00:04:16.176 --> 00:04:19.559 dass zu einem Beweis immer die Kommunikation von einem Beweis gehört. 00:04:19.559 --> 00:04:25.975 Ja, also wer… Also dass Beweise auch dadurch erst sozusagen als solche 00:04:26.986 --> 00:04:29.229 gelten oder anerkannt werden, 00:04:29.229 --> 00:04:33.333 wenn sie denn kommuniziert sind und zwar so, dass andere sie nachvollziehen können. 00:04:33.333 --> 00:04:34.895 Ja, also wenn ich den so kryptisch aufschreibe, 00:04:34.895 --> 00:04:37.788 dass den keiner lesen kann, dann würde ich nicht sagen, das ist ein Beweis, 00:04:38.179 --> 00:04:43.593 weil eben… so ein Beweis auch immer so einen sozialen Aspekt hat, ja, also der halt… 00:04:43.904 --> 00:04:44.444 Kann sich auch irren, 00:04:44.444 --> 00:04:44.944 ja. 00:04:44.544 --> 00:04:46.286 …erst wirklich in so einem sozialen Kontext… 00:04:46.286 --> 00:04:48.307 Genau, der kann ja halt auch falsch sein, der Beweis, 00:04:48.307 --> 00:04:52.571 und nur keiner hat den Fehler bemerkt bisher, ne? 00:04:52.571 --> 00:04:54.593 Und wenn man das jetzt ummünzt auf die Theoreme, 00:04:54.593 --> 00:04:57.195 dann ist ein Theorem natürlich erst dann eins, 00:04:57.195 --> 00:04:59.497 wenn das einen kommunizierten Beweis hat, also einen, 00:04:59.497 --> 00:05:02.479 der halt auch nachvollzogen werden kann. 00:05:02.479 --> 00:05:02.979 Und… Ähm 00:05:06.621 --> 00:05:10.079 Und halt auch erst durch die Nachvollziehbarkeit 00:05:10.149 --> 00:05:12.234 und Korrektheit halt das zu einem Satz macht. 00:05:12.234 --> 00:05:14.359 Ja, wenn da ein Fehler auftaucht, ist der Satz erstmal kein Satz mehr. 00:05:14.359 --> 00:05:14.859 Mhm. 00:05:15.746 --> 00:05:17.159 Dann weiß man wieder nicht mehr, ob die Aussage wahr ist. 00:05:17.159 --> 00:05:18.006 So ins Glaube man sagen. Ja. 00:05:18.742 --> 00:05:20.587 Genau, dann geht halt der Wahrheitsgehalt erstmal verloren, 00:05:20.587 --> 00:05:21.951 wenn der Beweis eine Lücke hat. 00:05:21.951 --> 00:05:25.170 Deshalb ist das halt schon auch bis zu einem gewissen Grad so ein… 00:05:25.621 --> 00:05:27.565 Soziales Konstrukt. So ein Satz. 00:05:27.565 --> 00:05:30.011 Ja, also in der Praxis benutzen wir ja sozusagen die Beweise auch, 00:05:30.011 --> 00:05:34.450 um Sicherheit zu erlangen, dass die Aussagen wahr sind. 00:05:35.501 --> 00:05:36.112 Genau. 00:05:36.423 --> 00:05:37.385 Genau. Aber denkst du, 00:05:37.385 --> 00:05:42.694 da leiten sich irgendwelche Rechte und vielleicht sogar Pflichten ab daraus, 00:05:42.694 --> 00:05:46.570 dass man irgendwas beweisen kann oder bewiesen hat oder so? 00:05:47.080 --> 00:05:50.956 Naja, damit spielst du ja auf eine der Kernfragen von diesem Artikel an. 00:05:51.127 --> 00:05:51.948 Ich muss zugeben, 00:05:51.948 --> 00:05:54.532 dass ich mir bisher noch nicht so ganz konkrete Gedanken zu 00:05:54.532 --> 00:05:59.541 der Sache gemacht habe, mir da auch keine feste Meinung gebildet habe. 00:05:59.541 --> 00:06:00.262 Ohne den Artikel. 00:06:00.262 --> 00:06:03.447 Sagen wir mal jetzt einfach sozusagen, würdest du sagen, es gibt eine Pflicht, 00:06:03.447 --> 00:06:05.369 das Wissen zu teilen? 00:06:05.369 --> 00:06:06.071 Wenn man jetzt sozusagen, 00:06:06.071 --> 00:06:10.467 wenn du einen Beweis von der Riemann-Hypothese findest, ist das deine Pflicht, den 00:06:11.619 --> 00:06:12.570 zu teilen? 00:06:12.941 --> 00:06:14.989 Achso, aber das ist jetzt ein bisschen eine andere Frage, als das, 00:06:14.989 --> 00:06:16.595 was ich davor verstanden hatte. 00:06:16.595 --> 00:06:18.230 Also, Moment. 00:06:18.921 --> 00:06:19.902 Rechte oder Pflichten. 00:06:19.902 --> 00:06:22.134 Also, wenn du einen Beweis findest, 00:06:22.185 --> 00:06:24.167 hast du dann irgendwelche Rechte oder Pflichten da draus. 00:06:24.167 --> 00:06:25.328 Jetzt habe ich mit Pflichten angefangen. 00:06:25.328 --> 00:06:28.693 Ist es zum Beispiel deine Pflicht, das anderen mitzuteilen? 00:06:28.693 --> 00:06:30.985 Weil das ist ja sozusagen dann vielleicht wichtig. 00:06:31.135 --> 00:06:33.859 Könnte ja nochmal wichtig werden. 00:06:33.859 --> 00:06:35.130 Das andere ist auch Wissen. 00:06:37.081 --> 00:06:40.168 Nö. Ich weiß nicht. Also bei der Riemann-Hypothese weiß ich nicht. 00:06:40.168 --> 00:06:41.059 Wie siehst du das? 00:06:41.992 --> 00:06:43.996 Fühlst du dich verpflichtet, wenn du was rausgefunden hast, 00:06:43.996 --> 00:06:45.040 das sofort anderen mitzuteilen? 00:06:45.040 --> 00:06:48.314 Das ist wie so eine moralische, naja, sofort. 00:06:48.905 --> 00:06:51.228 Sofort ist immer so, man weiß ja nicht, wann man es rausgefunden hat. 00:06:51.228 --> 00:06:56.223 Man traut sich selbst ja nicht und dann muss man es überprüfen und so weiter. 00:06:57.695 --> 00:06:59.738 Tja, es ist eine moralische Frage, ja. 00:06:59.738 --> 00:07:01.690 Also sozusagen, wie wichtig ist das? 00:07:02.881 --> 00:07:04.096 Was man daraus gefunden hat, 00:07:04.207 --> 00:07:06.808 was man vielleicht auch selbst nicht einschätzen kann oder noch gar nicht weiß. 00:07:07.902 --> 00:07:10.109 Ja, aber das ist ja eigentlich mit aller Forschung so, ne? 00:07:10.109 --> 00:07:13.770 Also das, wenn du jetzt Grundlagenforschung in egal welchem Fach machst. 00:07:14.701 --> 00:07:19.272 Auch Mediziner, die jetzt irgendwelche Enzyme bei Ameisen untersuchen, 00:07:19.272 --> 00:07:21.157 die machen das vielleicht nicht bei Ameisen, die Mediziner, 00:07:21.157 --> 00:07:22.489 das sind dann eher die Biologen, ja. 00:07:22.761 --> 00:07:24.103 Aber also, ja, sagen wir mal, 00:07:24.103 --> 00:07:28.130 du untersuchst als Forscherin oder Forscher irgendwelche Enzyme von Ameisen, 00:07:28.130 --> 00:07:30.073 dann weißt du ja auch nicht, 00:07:30.073 --> 00:07:34.010 was das für eine gesamtgesellschaftliche Auswirkung haben kann. 00:07:39.042 --> 00:07:41.930 Ja, ich weiß nicht, ob man, also. 00:07:44.480 --> 00:07:47.303 Ich finde das eine schwierige bis irrelevante Frage, 00:07:47.303 --> 00:07:50.095 ob man das veröffentlichen muss, weil, 00:07:52.448 --> 00:07:57.392 weil, wenn du es nicht tust, dir eh nie jemand nachweisen können wird, 00:07:57.392 --> 00:07:59.704 dass du das wusstest und nicht gesagt hast. 00:08:00.155 --> 00:08:06.090 Weißt du, was ich meine? Also vor dem, nichts zu sagen ist ja, kann kein, ähm. 00:08:07.581 --> 00:08:11.649 Also, ist ja, wenn das angenommen ist, wäre ein Vergehen, ja? 00:08:11.649 --> 00:08:13.634 Sagen wir, ein moralisches Vergehen, das nicht zu sagen. 00:08:13.634 --> 00:08:16.741 Es wird dir nie jemand nachweisen können, dass du es gemacht hast. 00:08:16.741 --> 00:08:19.235 Es könnte ja eine strategische Entscheidung aber auch sein. 00:08:19.546 --> 00:08:22.261 Also wenn man sozusagen hofft, dass dieses, 00:08:22.752 --> 00:08:27.630 was man jetzt rausgefunden hat, dass der, die Stufe ist zu was noch viel coolerem. 00:08:28.021 --> 00:08:30.331 Und man Angst hat, dass jemand anders einem zuvorkommt, 00:08:30.331 --> 00:08:32.200 dass man dann sozusagen strategisch irgendwas nicht erzählt. 00:08:32.200 --> 00:08:33.784 Ich glaube, das gibt's viel so, 00:08:33.784 --> 00:08:35.447 dass Leute, die, ich weiß nicht, Andrew Wiles, 00:08:35.447 --> 00:08:38.695 der hat auch nichts erzählt, bevor er sozusagen sich relativ sicher war, 00:08:38.695 --> 00:08:41.430 dass er diesen vermaßt letzten Satz bewiesen hat. 00:08:41.462 --> 00:08:43.830 Da war er halt jahrelang weg. 00:08:43.830 --> 00:08:46.890 Und alle haben gesagt, ach der Andrew Wiles, hm, da macht er eigentlich nichts mehr. 00:08:47.282 --> 00:08:50.441 Oder die, die es wussten, die haben ja vielleicht so ein bisschen vermutet, 00:08:50.833 --> 00:08:53.410 na, wahrscheinlich arbeitet er an irgendwas, was er uns nicht erzählen will. 00:08:54.400 --> 00:08:56.322 Ja, aber das ist ja eine andere Frage, finde ich. 00:08:56.322 --> 00:08:58.013 Also da geht es ja dann um 00:09:01.086 --> 00:09:03.207 praktisches Arbeiten eher, ne. 00:09:03.207 --> 00:09:06.660 Also das ist jetzt nicht so eine moralische Grundsatzfrage. 00:09:06.791 --> 00:09:08.742 Wenn ich jetzt konkret an was arbeite, 00:09:09.012 --> 00:09:12.545 dann habe ich natürlich immer die Frage, erzähle ich anderen davon, 00:09:12.836 --> 00:09:15.348 von diesem Forschungsproblem, ja oder nein, 00:09:15.358 --> 00:09:18.250 oder, ne, mache ich das publik, an was ich arbeite. 00:09:20.642 --> 00:09:25.650 Das ist, glaube ich, eher eine Kontextfrage, ja, also die Frage würde ich auch für … 00:09:26.000 --> 00:09:28.643 für verschiedene Probleme anders beantworten, 00:09:28.643 --> 00:09:31.805 aber auch für verschiedene Personen stellt sich die Frage, glaube ich, 00:09:31.805 --> 00:09:32.826 ganz anders, ja. 00:09:32.826 --> 00:09:37.680 Also wenn jetzt ein Doktorand im zweiten Jahr sich diese Frage stellt, 00:09:37.850 --> 00:09:42.975 ist vielleicht eine ganz andere Antwort gut, 00:09:42.975 --> 00:09:44.345 auch für die Person gut, 00:09:44.696 --> 00:09:49.720 wie wenn jemand Etablierter ist, der an einer super wichtigen … 00:09:49.720 --> 00:09:55.687 Millennium-Problem arbeitet, sich diese Frage stellt, erzähle ich anderen davon. 00:09:55.687 --> 00:09:59.711 Ich glaube, das ist, das kann man nicht grundsätzlich auf eine Weise beantworten. 00:09:59.711 --> 00:10:00.902 Ich glaube, da muss man, 00:10:01.153 --> 00:10:02.174 da spielen sehr, 00:10:02.174 --> 00:10:05.887 sehr viele Aspekte rein in diese Frage, erzähle ich anderen von meiner, 00:10:06.158 --> 00:10:08.210 von meinen Forschungsproblemen oder nicht. 00:10:09.522 --> 00:10:10.905 Ist, glaube ich, auch so eine Kulturfrage. 00:10:10.905 --> 00:10:13.251 Also ich kenne viele Leute, die das nicht machen aus guten Gründen. 00:10:13.251 --> 00:10:16.790 Ich kenne viele Leute, die alles erzählen, auch aus guten Gründen. 00:10:17.400 --> 00:10:22.250 Ja, ich glaube, wir haben schon in der Mathematik eine relativ offene Kultur, 00:10:22.250 --> 00:10:24.254 im Vergleich zu, sagen wir mal, anderen Fachdisziplinen, 00:10:24.254 --> 00:10:27.121 die da in einem stärkeren Konkurrenzkampf irgendwie stehen. 00:10:27.121 --> 00:10:30.676 Ich glaube, wenn man so ein Biolab hat, wo es irgendwie darauf ankommt, 00:10:30.747 --> 00:10:34.222 irgendwelche coolen Maschinen zu haben und ob die lieferbar sind und 00:10:34.933 --> 00:10:39.550 irgendwie ganz viel Personal zu haben, was die Experimente machen kann, dann… 00:10:40.241 --> 00:10:42.730 ist man wahrscheinlich anderem Druck ausgesetzt, irgendwie geheim zu halten, 00:10:42.730 --> 00:10:45.269 was man für Ideen hat, weil man einfach überholt werden kann. 00:10:45.840 --> 00:10:48.951 Während… also… so ein bisschen ist mein Eindruck ja noch, 00:10:48.951 --> 00:10:51.650 dass wir in der Mathematik in so einer Welt leben, wo… 00:10:52.480 --> 00:10:55.102 jeder erzählt jedem alle Probleme, weil man hat so viele, 00:10:55.102 --> 00:10:56.784 dass man irgendwie froh ist. Man ist ja… 00:10:56.784 --> 00:10:57.624 eigentlich ist man ja froh, 00:10:57.624 --> 00:11:00.367 wenn jemand anders sich dafür interessiert fühlt, an dem man arbeitet, 00:11:00.367 --> 00:11:01.648 das ist ja eigentlich schon selten genug. 00:11:01.648 --> 00:11:03.659 Es gibt so viele Probleme und so wenig Leute, 00:11:04.129 --> 00:11:07.692 dass man eigentlich froh ist, wenn irgendjemand das interessiert, was man macht. 00:11:07.692 --> 00:11:11.435 Und naja, ganz selten fühlt man sich dann mal so, ach Mensch, 00:11:11.435 --> 00:11:14.547 das hätte ich auch rausbekommen können, aber naja. 00:11:15.078 --> 00:11:17.610 Das stimmt. Also ich glaube, da ist die Mathematik auch… 00:11:18.920 --> 00:11:21.943 in dem, in der Hinsicht, glaube ich, eine ungefährliche Wissenschaft, ja. 00:11:21.943 --> 00:11:24.806 Also jetzt, wie du sagst, in so einem Biolab, da ist ja, 00:11:24.806 --> 00:11:26.488 wenn du den Versuchsaufbau kennst, 00:11:26.488 --> 00:11:29.511 kannst du es wahrscheinlich relativ schnell und leicht nachbauen. 00:11:29.511 --> 00:11:31.813 Und wenn du das größere Labor hast und mehr Geld… 00:11:31.813 --> 00:11:32.233 Bist du schneller. 00:11:32.233 --> 00:11:34.365 … dann bist du schneller. Und 00:11:35.477 --> 00:11:37.399 das ist in Mathe halt nicht so, ja. 00:11:37.399 --> 00:11:40.611 Da steckt halt… Mehr… 00:11:41.462 --> 00:11:43.264 Da steckt nicht so viel Manpower hinter, 00:11:43.264 --> 00:11:47.990 aber mehr so individuelle Denkleistung und auch Einzelvorwissen von Personen. 00:11:47.990 --> 00:11:50.973 Ja, also manchmal ist ja so die spezifische Wissenskombination, 00:11:50.973 --> 00:11:55.068 die eine Person hat, genau auf so ein Problem passend. 00:11:55.278 --> 00:11:56.538 Und das kann jemand anders. Vielen Dank. 00:11:57.062 --> 00:11:58.260 Dann doch nicht so schnell nachmachen. 00:11:58.260 --> 00:11:58.881 Ja, 00:11:58.881 --> 00:12:02.668 genau. Also es gibt viel mehr Sachen zu ernten oder viel mehr Glücksfälle, 00:12:02.668 --> 00:12:04.010 dass man dann jemanden trifft, 00:12:04.010 --> 00:12:09.670 der oder die das richtige Puzzleteil hat, was jetzt noch fehlt beim eigenen Puzzle. 00:12:10.161 --> 00:12:13.888 Ja, es ist viel personenabhängiger, glaube ich, so die Forschung, 00:12:13.888 --> 00:12:15.380 dass man nicht so leicht 00:12:16.353 --> 00:12:19.989 einzelne Leute in Projekten austauschen kann durch andere. 00:12:22.201 --> 00:12:26.130 Das macht's ungefährlicher, also zum einen natürlich, ne? 00:12:26.607 --> 00:12:29.240 Kommen wir mal zu Rechten. Zu Rechten, okay. 00:12:29.581 --> 00:12:33.511 Also es gibt ja so die Tradition, dass man manchmal, also manchmal, 00:12:33.511 --> 00:12:37.170 aber manchmal auch nicht, Sätze irgendwie mit Namen versieht. 00:12:37.421 --> 00:12:40.108 Ja, es gibt ja diesen Satz, dass die Sätze nie heißen, nach denen, 00:12:40.108 --> 00:12:44.630 wie heißt er denn, nach denen, die es erfunden haben oder gefunden haben. 00:12:44.742 --> 00:12:48.170 Den Satz kenne ich nicht, aber wir könnten ihn den Satz von Gauss nennen, 00:12:48.170 --> 00:12:50.666 weil Gauss den bestimmt nicht erfunden hat. 00:12:50.757 --> 00:12:52.290 Und dann würde es wieder stimmen. 00:12:52.621 --> 00:12:52.842 Ja, genau. 00:12:52.842 --> 00:12:55.559 Also dieser Satz würde dann stimmen, weil dann heißt er auch nicht so wie … 00:12:56.392 --> 00:12:58.842 Und Gauss hat auch noch nicht so viele Sätze, die nach ihm benannt sind. 00:12:58.842 --> 00:13:00.930 Ja, aber der hatte schon einen anderen Namen, glaube ich, aber ja. 00:13:00.930 --> 00:13:03.440 Wir könnten den trotzdem für diese Episode mal … 00:13:03.440 --> 00:13:04.820 Ja, metamathematischer Satz von Gauss. 00:13:04.820 --> 00:13:05.416 Ja. 00:13:07.022 --> 00:13:08.906 Also meine Theorie zu dem Thema ist ja, 00:13:08.906 --> 00:13:11.532 dass man quasi einen schlechten Namen finden muss. 00:13:11.532 --> 00:13:15.129 Also man schreibt was und dann muss man irgendeine Konstruktion … 00:13:17.080 --> 00:13:19.452 … machen, die cool ist, die andere Leute interessiert, 00:13:19.563 --> 00:13:21.374 und einen schlechten Namen für die geben. 00:13:21.464 --> 00:13:23.706 Und dann nennen die, statt den schlechten Namen zu verwenden, 00:13:23.706 --> 00:13:24.287 sagen die anderen, 00:13:24.287 --> 00:13:28.200 das ist einfach die Kahle-Konstruktion oder der Kahle-Irgendwas oder so. 00:13:28.411 --> 00:13:30.302 Das ist der strategische Aspekt da dran. 00:13:30.593 --> 00:13:32.775 Ja. Oder keinen Namen geben, ne? 00:13:32.775 --> 00:13:33.475 Oder keinen. 00:13:33.475 --> 00:13:35.497 Ja, ja, so. Irgendwas total generisches, 00:13:35.497 --> 00:13:38.120 wo alle anderen sich sträuben, dagegen das zu verwenden, ja. 00:13:38.120 --> 00:13:38.620 Ja. 00:13:38.800 --> 00:13:39.641 Genau. Einfach nur. Ja, 00:13:39.641 --> 00:13:42.563 du nennst es einfach nur Definition 17 und dann machst du in deinem ganzen Paper, 00:13:42.563 --> 00:13:45.606 schreibst du nur sozusagen die, das Objekt, was wir definiert haben. 00:13:45.606 --> 00:13:46.127 The construction. 00:13:46.127 --> 00:13:48.389 Genau. Also das ist ja ein schlechter Name. 00:13:48.389 --> 00:13:49.590 Es ist ein sehr schlechter Name. 00:13:49.590 --> 00:13:51.191 Das Ding aus Definition 17. Sigma. 00:13:51.191 --> 00:13:54.734 Genau. Das Sigma oder das X aus Definition 17. 00:13:54.734 --> 00:13:57.827 Ja, genau. Genau. Und dann heißt es einfach nur X. 00:13:58.397 --> 00:14:01.490 Und dann heißt es das, das Kahle-Dings. 00:14:01.904 --> 00:14:03.581 Ja. Hat das schon geklappt bei dir? 00:14:03.581 --> 00:14:05.546 Äh, nee. Aber da hab ich mich auch noch nicht so angestrengt. 00:14:05.546 --> 00:14:08.883 Also ich versuche mich eigentlich anzustrengen, den Sachen so gute Namen zu geben. 00:14:09.014 --> 00:14:12.010 Aber vielleicht ist es auch aus strategischer Sicht ungünstig. 00:14:12.800 --> 00:14:16.984 Ja, also ich glaube, es ist auch besser, den Dingen sprechende Namen zu geben. 00:14:16.984 --> 00:14:21.048 Also da gibt es ja, gab es neulich auch so eine Meta-Diskussion auf Twitter, 00:14:21.048 --> 00:14:24.401 wo sich darüber ausgetauscht war, ob das überhaupt gut ist, 00:14:24.731 --> 00:14:28.194 Sätze nach Personen oder Konstruktionen nach Personen zu benennen und ob man 00:14:28.194 --> 00:14:31.417 das nicht besser einfach sprechend benennt, 00:14:31.417 --> 00:14:34.440 dass sozusagen der Name beschreibt, was das Ding ist. 00:14:34.440 --> 00:14:35.130 ist. 00:14:36.240 --> 00:14:39.413 Ja, ich hab da, ja, ich fand die nicht so, 00:14:39.743 --> 00:14:41.685 also die wurde ja so einseitig vorgetragen, 00:14:41.685 --> 00:14:44.127 die wurde ja sozusagen so nach Personen benennen ist schlecht 00:14:44.127 --> 00:14:46.399 und andere richtig gut benennen ist gut, 00:14:48.011 --> 00:14:50.593 wurde diese Diskussion ja geführt, das war ja ein bisschen plakativ. 00:14:50.593 --> 00:14:52.184 Ich bin da nicht so 00:14:53.796 --> 00:14:58.330 emotional drüber, aber ich finde auch gute Namen, aussagekräftige Namen gut. 00:14:59.266 --> 00:15:00.247 Ja, das stimmt. 00:15:00.641 --> 00:15:05.685 Aber ja, es ist ja auch ein historischer Prozess zum Teil. 00:15:05.685 --> 00:15:08.017 Also wenn du guckst in der Medizin oder so, 00:15:08.088 --> 00:15:11.481 da ist alles auf Latein oder was weiß ich. 00:15:11.891 --> 00:15:15.415 Und dann so griechische Ableitung von lateinischen Vokabeln 00:15:15.415 --> 00:15:19.518 und so gibt es halt auch viel Kryptische Wortschöpfungen, 00:15:19.518 --> 00:15:20.921 die dann lateinisch klingen und so. 00:15:20.921 --> 00:15:21.421 Ja. 00:15:22.290 --> 00:15:23.250 Ja, nee. 00:15:24.322 --> 00:15:27.383 Ja, das muss auch nicht sein. Also, ja, da gebe ich dir auch recht. 00:15:27.383 --> 00:15:30.536 So, aber dann kommen wir jetzt mal zum, äh, so richtig, äh, hardcore Stuff. 00:15:30.536 --> 00:15:31.670 Sagen wir mal Geld. 00:15:32.361 --> 00:15:32.842 Geld. 00:15:32.842 --> 00:15:35.606 Ja, sagen wir mal, mit Mathe kann man ja Geld verdienen, weißt du ja. 00:15:35.606 --> 00:15:38.830 Zum Beispiel, ähm, MP3-Patente, ja? 00:15:38.830 --> 00:15:40.102 So die halbe Deutsche, 00:15:40.473 --> 00:15:42.816 halb Deutschland wird auch aus den MP3-Patenten, ich weiß nicht, 00:15:42.816 --> 00:15:44.198 ob das immer noch so ist. Ist die ausgelaufen? 00:15:44.198 --> 00:15:45.570 Ist MP3 jetzt mittlerweile? 00:15:46.101 --> 00:15:47.804 Ähm, naja, das MP3-Patent hat ja 00:15:47.804 --> 00:15:49.306 im Prinzip diese ganze Fraunhofer-Gesellschaft, 00:15:49.306 --> 00:15:52.361 ist ja aus diesem MP3-Patent 20 Jahre finanziert worden, glaube ich. 00:15:52.892 --> 00:15:58.250 Und, ähm, wenn du jetzt was entdeckst, was monetären Wert hat, 00:15:58.841 --> 00:16:00.594 ähm, was ist denn damit? 00:16:00.704 --> 00:16:06.295 Könnte einem da nicht irgendwie, sollte man da nicht irgendwas von abkriegen? 00:16:06.295 --> 00:16:08.660 Wie? Was meinst du? Die Frage verstehe ich nicht. 00:16:08.660 --> 00:16:13.033 Na ja, wenn du einen Satz beweist, der sozusagen richtig Geld bringt. 00:16:13.033 --> 00:16:15.384 Also zum Beispiel, ich mach mal ein ganz konkretes Beispiel, ja? 00:16:15.384 --> 00:16:15.727 Ich glaub, 00:16:15.727 --> 00:16:16.521 die Gefahr lauf ich nicht. Google. 00:16:16.521 --> 00:16:18.365 Ich mach mal ein ganz konkretes Beispiel. 00:16:18.365 --> 00:16:24.210 Google. Ja? Google muss ja bestimmt ziemlich viele Matrizen invertieren. 00:16:24.400 --> 00:16:25.921 Oder Eigenwerte ausrechnen. Irgendwas. 00:16:25.921 --> 00:16:28.773 Numerische. Google macht bestimmt viel Numerik. 00:16:29.304 --> 00:16:32.556 Und stell dir vor, du erfindest irgendwas. 00:16:32.927 --> 00:16:34.978 Einen Satz oder einen Algorithmus oder sowas. 00:16:35.228 --> 00:16:37.750 Der, ja, ist ja wahrscheinlich ein Unterschied zwischen Satz und Algorithmus. 00:16:37.750 --> 00:16:39.321 Sag mal, du beweist einen Satz, 00:16:39.832 --> 00:16:43.484 dass das irgendwie effizienter geht, als die das machen. 00:16:43.815 --> 00:16:47.127 Und das erhöht dir sozusagen ohne irgendwelche weiteren 00:16:47.377 --> 00:16:50.324 Kosten die Bottomline von Google um 5%. 00:16:50.324 --> 00:16:54.615 Prozent. Zack, Aktienkurs geht nach oben und die Firma macht auf einmal 00:16:54.966 --> 00:16:56.138 Milliarden mehr. 00:16:56.930 --> 00:17:00.938 Sollte da nicht irgendwie so ein Professorengehalt drin sein für die Person, 00:17:00.938 --> 00:17:02.210 die das erfunden hat? 00:17:07.050 --> 00:17:07.857 Wird wahrscheinlich. Weiß ich nicht. 00:17:08.041 --> 00:17:10.106 Wenn man sowas macht, kriegt man vielleicht eine Stelle, ja. 00:17:10.106 --> 00:17:13.515 Das kann natürlich sein. Aber vielleicht sollte auch mehr drin sein. 00:17:13.515 --> 00:17:15.390 Weil, wir könnten ja ein Anreizsystem. 00:17:15.502 --> 00:17:19.512 Okay, meinst du jetzt, ich glaube, da gibt es viele Fälle sozusagen, 00:17:19.512 --> 00:17:22.119 die man da jetzt abklappert. Kommt drauf an, würde ich sagen. 00:17:22.119 --> 00:17:23.853 Kommt drauf an, okay. Das ist meine erste Antwort. 00:17:23.853 --> 00:17:24.930 Kommt drauf an. 00:17:27.960 --> 00:17:28.681 Okay, um ehrlich zu sein, 00:17:28.681 --> 00:17:30.824 ich habe mir über diesen Fall noch nie Gedanken gemacht, 00:17:30.824 --> 00:17:34.719 weil das in meiner Forschung, glaube ich, einfach nicht vorkommt. 00:17:34.909 --> 00:17:38.494 Ich habe jetzt gerade zum allerersten Mal nach vielen Jahren Forschen 00:17:38.494 --> 00:17:43.501 ein überhaupt anwendungsnahes Problem, aber auch das ist eine Anwendung in … 00:17:43.501 --> 00:17:47.519 … in den Grundlagen der Wetterforschung, so da ist das sicher auch kein 00:17:47.810 --> 00:17:50.256 Risiko … Oh, Wetter. Mit Wetter kann man viel Geld machen. 00:17:50.256 --> 00:17:52.006 Mit Wetter kann man viel Geld machen, Petra. 00:17:52.006 --> 00:17:52.512 Ich denke … 00:17:52.512 --> 00:17:53.442 Ja, wer weiß. 00:17:53.442 --> 00:17:56.880 … der … naja. Also eine Verbesserung der Wettervorhersage, 00:17:57.251 --> 00:18:01.110 um nur ein bisschen, das bringt das Bruttosozialprodukt voran. 00:18:01.363 --> 00:18:04.558 Okay, also sollte ich mir schleunigst über diesen Fall Gedanken machen, meinst du? 00:18:04.558 --> 00:18:06.788 Ja, ich denke ja. Okay. 00:18:09.001 --> 00:18:09.622 Ja, weiß ich nicht. 00:18:09.622 --> 00:18:11.507 Also ich glaube, die Frage ist eine andere, 00:18:11.507 --> 00:18:14.233 wenn du oder ich so einen Satz beweisen 00:18:14.233 --> 00:18:16.340 oder wenn so ein Mitarbeiter von Google so einen Satz beweist. 00:18:16.340 --> 00:18:16.840 Hm. 00:18:19.773 --> 00:18:20.273 Hm. 00:18:20.645 --> 00:18:21.494 Oder würdest du 00:18:21.494 --> 00:18:21.980 das lieber pauschal … 00:18:21.980 --> 00:18:24.930 Wenn wir den beweisen, sollte für unsere Uni da nicht was drin sein. 00:18:25.408 --> 00:18:26.610 Hättest du das gerne? 00:18:27.162 --> 00:18:27.772 Nee, nee. 00:18:28.926 --> 00:18:31.922 Hätte ich nicht. Aber man kann ja mal an Patente denken. 00:18:31.972 --> 00:18:33.666 Also ich habe mal ein bisschen Patente recherchiert. 00:18:33.917 --> 00:18:37.973 Es gibt auch diese … Also was kann man denn patentieren? 00:18:38.104 --> 00:18:40.348 Also man kann nur Erfindungen patentieren. 00:18:40.348 --> 00:18:43.042 Jetzt fragt man sich, klasse, okay, was ist denn jetzt eine Erfindung? 00:18:43.433 --> 00:18:44.595 Also eine Erfindung ist irgendwas, 00:18:44.595 --> 00:18:47.990 was neu ist und was es noch nicht in der Natur gibt. 00:18:49.181 --> 00:18:50.756 Da gibt's ja auch sozusagen so… 00:18:51.149 --> 00:18:53.761