Ja, so wie man es in einer Präsentation macht, was halt geplant war. Aber einige aus dem Publikum haben auch häufig einfach angefangen grundlos auflachen und dazwischen zu reden (ihn zu unterbrechen). Das fand ich halt blöd.
Also ich studiere mathe meine uni spezialisiert sich in logik. Es schein höchst unrealistisch mit den jetztigen KI's forschung zu betreiben da Mathematische forschung von natur aus exponenziel ist. Vieleicht bringen Quantenkomputer ja neues glück. Ich sage das nur, weil der Titel dieses videos ist: "wie kann man mathematiker abschaffen", mir ist klar das du sagtest das "ein mathematischen beweis so stellen so das der computer ihn schnell durchchecken kann". Ich glaube das da auf jedenfall potential ist, jedoch schafft dies keines wegs mathematiker ab. Also auch nur annähernd nicht.
Man hat mit dem Computer schon etliche schwierige Beweise erbracht . Zuletzt die Keplersche Vermutung (Hales et al). Siehe de.wikipedia.org/wiki/Maschinengest%C3%BCtztes_Beweisen
Sehr interessant aber frage was hat er für ein Beruf und was sind das für ein Publikum.. Auch Mathematik Experten oder nur möchte gerne Menschen.. Diese Vortrag nicht ganz klar was er möcht sagen schade.. Giebt da besser video im Fachwelt
Gibt auch ein Forschungsfeld der sich mit Beweisen von Programmcode beschäftigt (Programmverifikation). Solche Solver sind in der Regel auf Richtigkeit bewiesen.
Ich hätte noch anmerken sollen: ich studiere Informatik und wir haben da Mal beigebracht bekommen, dass ab einer gewissen Komplexität es nahezu unmöglich ist, Fehler im Code auszuschließen...
@@Jojo-tl4hq naja man müsste halt effektiv beweisen können, dass es keinen mathematischen Beweis geben kann, den der Algorithmus nicht richtig als korrekt ist inkorrekt einstufen kann ... und das wird definitiv ein komplizierter Beweis ... da fragt man sich, ob dass dann ohne den Algorithmus einfacher wäre
9 minuten ohne informationen, gags + fakten. Warum stand er da auf der Bühne? Kein Wunder ist das Publikum ausgerastet. Wie man hier in den Kommentaren lesen kann, kriegt er Komplimente für nix. Vielleicht sollte Jonas sich neue Freunde suchen, die ehrliche Kritik geben.
"Galaxy 7 wenn es gerade nicht brennt" ⁉️ 1. Die meisten leute, die von Smartphones keine Ahnung haben bezeichnen das Samsung Galaxy S7 so. 2. Wenn man auch wirklich eine Ahnung hätte, würde man wissen, dass das Samsung Galaxy Note 7 Probleme mit der Akkuqualität hatte. Ich bin gar kein Samsung fan aber bitte wenn schon dann auch korrekt...
Das ist Informatik? Die so viel dichtere Rechenpower kommt von der Halbleiterindustrie und Digitaltechnik. Hat also nur entfernt mit Informatik zu tun. EDIT: TIL zählt als angewandte Informatik
Starker Vortrag, nerviges Publikum.
Das Publikum übertreibt es etwas. Es muss mega nervig gewesen sein mit den Zwischenrufen
Verstehe das problem nicht. Er hat es doch genauso provoziert.
GLAUBE MIR, wenn das publikum schweigt, DANN hast du muffensausen und DAS ist dann unangenehm! Trust me.
Ja das Bier muss gut gewesen sein.
Er ist echt cool mit diesem Kack Publikum umgegangen.
Kack Publikum? Er hat sie doch sogar aufgefordert...
Ja, so wie man es in einer Präsentation macht, was halt geplant war.
Aber einige aus dem Publikum haben auch häufig einfach angefangen grundlos auflachen und dazwischen zu reden (ihn zu unterbrechen). Das fand ich halt blöd.
das publikum nervt
Super Vortrag! Musste ordentlich lachen :D
Und wenn dieser Computer mit dem Beweis fertig ist kommt eh 42 raus 🤷🏽♂️
muss
der präsentator ist super cool. toller vortrag
Folien in tex geschrieben. Der Typ war mir sofort sympathisch.
Richtig super vorgetragen! :D ich bin begeistert
vielleicht kann nach dem Beweis prüfen, die UA-cam App weiter Musik abspielen, auch wenn sie im Hintergrund ist
NewPipe kann ich da sehr empfehlen.
In Minute 4:17 hört sich der Kerl an wie Bastian Pastewka!
Hach ja ich liebe diese science slam videos echt
Bielewas
hat schon jemand das Publikum bemerkt?
nein du bist der Erste!
Poetry Slam mit LateX :)
ansich war das Publikum ja ganz lustig teilweise aber es hat es auch etwas übertrieben
Hammer!!! Super geil ;)
Der frisch gebackene Fields-Medalist Peter Scholze hat kürzlich Mochizukis Beweis für falsch erklärt.
Und hat dafür von Mochizuki einen auf den Deckel bekommen.
Und hat dafür von Mochizuki einen auf den Deckel bekommen.
Guter Slam! Ultra nerviges Publikum mit Sau unlustigen Kommentaren ^^
Nice one
der typ ist geil
Cooler Typ.
5:00 Ab da is so geil :D:D:D
Also ich studiere mathe meine uni spezialisiert sich in logik. Es schein höchst unrealistisch mit den jetztigen KI's forschung zu betreiben da Mathematische forschung von natur aus exponenziel ist. Vieleicht bringen Quantenkomputer ja neues glück. Ich sage das nur, weil der Titel dieses videos ist: "wie kann man mathematiker abschaffen", mir ist klar das du sagtest das "ein mathematischen beweis so stellen so das der computer ihn schnell durchchecken kann". Ich glaube das da auf jedenfall potential ist, jedoch schafft dies keines wegs mathematiker ab. Also auch nur annähernd nicht.
Einfach nur nen provokanter Titel ;)
Man hat mit dem Computer schon etliche schwierige Beweise erbracht . Zuletzt die Keplersche Vermutung (Hales et al). Siehe de.wikipedia.org/wiki/Maschinengest%C3%BCtztes_Beweisen
Annähernd nicht oder nicht annähernd?
Nö, du studierst kein Mathe.
You must be fun at parties... Oh warte... Du wirst auch zu keinen eingeladen?
Geiles Publikum, das übertrifft jedes Publikum das ich hier auf YT bisher gesehen habe, die gehen richtig mit.
Dieses Publikum ist der Inbegriff von nerdig
Ach Berlin
Sehr interessant aber frage was hat er für ein Beruf und was sind das für ein Publikum.. Auch Mathematik Experten oder nur möchte gerne Menschen.. Diese Vortrag nicht ganz klar was er möcht sagen schade.. Giebt da besser video im Fachwelt
Wer beweist dann eigentlich, dass der Algorithmus sich nicht irrt?
Gibt auch ein Forschungsfeld der sich mit Beweisen von Programmcode beschäftigt (Programmverifikation). Solche Solver sind in der Regel auf Richtigkeit bewiesen.
Ein Mathematiker oder Informatiker
Ich hätte noch anmerken sollen: ich studiere Informatik und wir haben da Mal beigebracht bekommen, dass ab einer gewissen Komplexität es nahezu unmöglich ist, Fehler im Code auszuschließen...
@@betalars Den Algorithmus an sich wird man beweisen, aber die Korrektheit des Codes ist schwierig bis unmöglich
@@Jojo-tl4hq naja man müsste halt effektiv beweisen können, dass es keinen mathematischen Beweis geben kann, den der Algorithmus nicht richtig als korrekt ist inkorrekt einstufen kann ... und das wird definitiv ein komplizierter Beweis ... da fragt man sich, ob dass dann ohne den Algorithmus einfacher wäre
Gibt Gründe warum ich Berlin i.d.R. weiträumig umfahre. Failed city, failed people.
Der Slammer kommt in diesem Fall aber aus Bielefeld...
Der typ ist gut das publikum nervt.
9 minuten ohne informationen, gags + fakten.
Warum stand er da auf der Bühne? Kein Wunder ist das Publikum ausgerastet.
Wie man hier in den Kommentaren lesen kann, kriegt er Komplimente für nix.
Vielleicht sollte Jonas sich neue Freunde suchen, die ehrliche Kritik geben.
bestes Publikum :D
peinlich dieses trump bashing
Deine Mutter ist peinlich.
Also ein Computer kann Mathematik nur verstehen wenn er "denken" kann; also eine richtige AI ist.
"Galaxy 7 wenn es gerade nicht brennt" ⁉️
1. Die meisten leute, die von Smartphones keine Ahnung haben bezeichnen das Samsung Galaxy S7 so.
2. Wenn man auch wirklich eine Ahnung hätte, würde man wissen, dass das Samsung Galaxy Note 7 Probleme mit der Akkuqualität hatte.
Ich bin gar kein Samsung fan aber bitte wenn schon dann auch korrekt...
Das ist Informatik? Die so viel dichtere Rechenpower kommt von der Halbleiterindustrie und Digitaltechnik. Hat also nur entfernt mit Informatik zu tun.
EDIT: TIL zählt als angewandte Informatik
Du musst auf partys echt der witzigste sein, wa?
@@MaEtUgR Halbleiterindustrie und Digitaltechnik sind ja wohl angewandte Informatik
@@nurneues1662 Kommt ganz auf die Party an. Ich würds jedenfalls aus Respekt meiden mit jemand uninteressierem über das Thema zu diskutieren. 😋
@@ErikB605 Du hast recht. Der Oberbegriff ist weiter als ich dachte. Es gibt wohl auch Überlappungen mit anderen Disziplinen.
So ein unfassbarer Schwachsinn
P3rs3rk3r wo war das Unsinn? Das waren einfach nur Fakten interessant aufgezählt
@@Userjdanon naja die fakten wurden sehr platt gedrückt und nicht so wirklich ausgeführt...
@@aryqcqnc1461 Was erwartest du in einem zehnminütigen Vortrag?