>cast math into a mechanical language
>write a computer program to test if statements are true or false
>bruteforce random, syntactically sane, strings of mathematical propositions on a quantum computer
>???
>profit
>write a computer program to test if statements are true or false
>bruteforce random, syntactically sane, strings of mathematical propositions on a quantum computer
>???
>profit
