Have you thought about creating an information product? I really like the podcast I Love Marketing by Dean Jackson and Joe Polish. Some other names worth checking out might be Eben Pagan and Jeff Walker who focus on the information product niche. I've had success with their material.

Works for University of Toronto - uses utoronto.ca

An online journal like in support of the null hypothesis like what you describe can be found here http://www.jasnh.com/ It's published online bi-yearly.

Thank you for that. And from scanning the titles of the papers listed there, it actually does look like interesting reading.

If my understanding is correct I think he was referring to the fact that even if you have the axioms and an algorithm to figure out all the theorems, you can't prove all the truths. There will be blind spots.

Thank you for the explanation. For a given set of axioms you have the same "blind spots" whether you are verifying proofs manually or with computer assistance.