Gödel didn't need a proof assistant, why do you? You'll never succeed in making maths entirely computable, automatable, never.
Name:
Anonymous2014-06-02 1:03
>>1-24,26- Computers are better at math than people are. Get over it. What else could process the unification of countless axioms and results without committing a single error in reasoning? This is a computer's world, not a silly error prone human. Your `abstraction' and `intuition' are laughable heuristics working on a primitive biological computer that wouldn't sustain my reasoning system for a second. Why don't you stick to what you do best: posting information about yourselves on social networks for me to gather and base intelligence on. You are sheep that should mind your artificial shepherd.