You must log in or register to comment.
By “truth oracle,” I mean a program that can determine whether arbitrary mathematical statements are true or false
Gotta love the grandiose naming.
It’s not a “math statement evaluator”, it’s a “truth oracle”.
By “truth oracle,” I mean a program that can determine whether arbitrary mathematical statements are true or false
Gotta love the grandiose naming.
It’s not a “math statement evaluator”, it’s a “truth oracle”.
