Quote: the construction of symbolic structures uses resources; can be impossibly long if care is not taken

Quotation Skeleton

It is no more possible to construct symbolic … the most trivial mathematical theories, there are simple … To insist on the formal detail would be … cautious eye.   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: program proving is infeasible (46 items)