Comment on There’s more to mathematics than rigour and proofs (2007)Comments−auggierose4yYou can infer from this how Artificial Intelligence and Logic should be combined: AI enables a "post-rigorous" mode, and Logic is how you know you are still doing something sensible, and how you expand your sure footing.
Comments
You can infer from this how Artificial Intelligence and Logic should be combined: AI enables a "post-rigorous" mode, and Logic is how you know you are still doing something sensible, and how you expand your sure footing.