Hilberts Traum wird wahr – und Informatiker hören auf zu denken
Wir müssen wissen – wir werden wissen
Vor 100 Jahren scheiterte Hilbert mit dem Plan, alle Mathematik vollständig und widerspruchsfrei zu axiomatisieren; Gödel und Turing bewiesen die Unmöglichkeit. Heute erledigen AI-Agenten mit Lean genau das, was Hilbert vorschwebte. Der Autor, selbst Informatiker, sieht darin eine Gefahr: Wir lassen uns AI-Code generieren, ohne ihn noch zu lesen – und geben damit genau das auf, was Wissenschaft ausmacht.
Wir dürfen denen nicht glauben, die heute mit philosophischem Gehabe und salbungsvollem Ton den Untergang der Kultur prophezeien und das ignorabimus akzeptieren. Für uns gibt es kein ignorabimus, und meiner Meinung nach überhaupt keines in der Naturwissenschaft. Gegen das törichte ignorabimus laute unsere Losung: Wir müssen wissen – wir werden wissen.
- dragontamer
> Im Gegensatz zum törichten Ignorabimus soll unser Wahlspruch lauten: Wir müssen wissen – wir werden wissen.
Für diejenigen, die schneller zur Übersetzung kommen wollen. Ich finde es etwas unfair, die Bedeutung des Titels und die These des gesamten Blogposts erst im siebten Absatz zu bringen.
- t0mek
> Wir müssen in der Informatik dieselbe Haltung einnehmen: Abstraktionen verwenden, refaktorisieren, den Geltungsbereich verfeinern, höhere Sprachen erfinden und übernehmen, bis wir den Code im Kopf halten können.
Ich möchte glauben, dass das stimmt. Aber als Gegenbeispiel: Müssen wir den Maschinencode oder Assembler, der aus unseren C- oder Golang-Programmen generiert wird, im Kopf halten? Oder ist der Golang-Code nicht vielmehr eine High-Level-Abstraktion, die gut genug ist?
Wenn das der Fall ist, bedeutet das dann, dass wir noch weiter gehen und Design-Dokumente als den Code behandeln sollten, der geeignet ist, im Kopf gehalten zu werden, und das Golang-Programm als ein Derivat? Oder sind Design-Dokumente vielleicht auch zu low-level und die allgemeine Vibe „erstell mir eine App, mach keine Fehler“ ist tatsächlich ausreichend?
Was ist die richtige Abstraktionsebene? Wie findet man sie?
- user2342
"Muss man wissen!"