logoalt Hacker News

DoctorOetker • yesterday at 3:11 PM • 0 replies • view on HN

So thats my point:

we don't need to attain this hypothetical perfectly effective education that prevents us from blindly following authority figures: even if we fail at such an education we can simply guard against the corruption of logic by formal verification, we can design the system to be ape-proof.