Post #3071621
2026-06-02 14:50 UTC
the year is 1926; mathematicians are feverishly working on the mechanization / formalization of all of mathematics, with a prominent public figure endorsing written statement of intent and the proposal of a list of problems by which to gauge whether the program has been a success; in ten years' time the entire program will be proven impossible, ushering in a new age of mathematical thought
the year is 2026; mathematicians are feverishly--
Replies (1)
-
@gardencourt@tech.lgbt 2026-06-02 14:57
mind you i'm thinking we can wrap this up before 2036 this go around; this time, instead of gödel numbers, the gigantic numbers that proves the program impossible will be the bill from anthropic