God Exists, Says Math: Modal Logic and Software Pr […] Gospel God Exists, Says Math: Modal Logic and Software Prove Gödel’s …