#godel-incompleteness on Hacker News

Wir müssen wissen – wir werden wissen(remy.wang)

37 points by remywang 9 hours ago | 9 comments

Blog essay tracing Hilbert's program through Gödel and Turing to AI proof agents, arguing programmers should keep reading and understanding AI-generated code.