display all the ideas for this combination of texts
1 idea
| 17807 | To study formal systems, look at the whole thing, and not just how it is constructed in steps [Curry] |
| Full Idea: In the study of formal systems we do not confine ourselves to the derivation of elementary propositions step by step. Rather we take the system, defined by its primitive frame, as datum, and then study it by any means at our command. | |
| From: Haskell B. Curry (Remarks on the definition and nature of mathematics [1954], 'The formalist') | |
| A reaction: This is what may potentially lead to an essentialist view of such things. Focusing on bricks gives formalism, focusing on buildings gives essentialism. |