| 
|
Quote: in a formalized theory, the tools are completely prescribed by its syntax; in proof-analysis, tools are unconstrained
topics >
all references >
references i-l >
Topic:
mathematics as a formal system
Topic:
limitations of formalism
Group:
philosophy of mathematics
Topic:
non-constraining system
Quotation Skeleton
EPSILON: … In order to get a perfect proof one … too difficult to attain. … [footnote:] In proof-analysis there is no limitation of … theory, where problem-solving is a catch-as-catch-can affair. In … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: mathematics as a formal system (30 items)
Topic: limitations of formalism (92 items)
Group: philosophy of mathematics (11 topics, 330 quotes)
Topic: non-constraining system (24 items)