article · International journal of innovation and applied studies
The research shows clearly that the HILBERT’s program look at to obtain the formalisms of the formals theories. This program stamp a fertile optimism of symbolic which allowed to create the logics and mathematics formalisms, and there formal and automatable manipulation. So the formalism is the image of thinking; in this sense the forms become the work matter.
This page summarises published work. The authoritative version sits with the publisher.
Is something wrong with this record? Report it or request removal.
Discussion
Have you built on this work, tried to replicate it, or seen it applied in practice? Share what you know. Verified researchers and MARATTO™ domain experts can open a discussion, and any member can reply. Contributions are reviewed before they appear.
No discussion yet. Open the first thread.
New to MARATTO™? Create a free account.
