This question already has an answer here:
- Learning Automated Theorem Proving 6 answers
Year 12 high school student here, but my ambition is set on Automated Theorem Proving. I wish to apply it to, of course, mathematics and computer science, and maybe if possible other applied subjects like physics, chemistry or even analytic philosophy.
I have yet to go to university to do a bachelor degree in Computer Science, but I would like to know what steps should I take to teach myself Automated Theorem Proving. Advice and tips from the ATP experts and what online resources and books are there available, etc. And how should I actually practice and do it? Also, should I jump straight to ATP or learn Computer Science in general first?
Thanks in advance