Marko Rauhamaa wrote:
You will always have to step outside your formal system and resort to hand-waving in a natural language.
If the hand-waving is rigorous, this amounts to expanding your formal system by adding new axioms and/or rules to it. If the hand-waving is not rigorous, then you haven't really proved anything. -- Greg -- https://mail.python.org/mailman/listinfo/python-list
