Okay, I’ll bite. What are they? I kinda wanted to avoid this because social approval etc., also brevity, but okay:
Okay, I’ll bite. What are they?
I kinda wanted to avoid this because social approval etc., also brevity, but okay:
(axioms omitted)
I don’t see any mathematics there, and making them into mathematics looks to me like an AI-complete problem. What do you do with these axioms?
(axioms omitted)
I don’t see any mathematics there, and making them into mathematics looks to me like an AI-complete problem. What do you do with these axioms?