HomeTimelineSearch
无情快进@fastcalm.bsky.social
Godel 就是要写这么一个程序 而这个程序不会halt,从而 encode(theta) 无法被证明是 theta
December 29, 2025 at 11:29 AM