article · International journal of innovation and applied studies
The GODEL’s theorem is intrinsically a theorem of limitation of the formals systems. The theorem shows that the coherence of PEANO’s arithmetic cannot be demonstrate by a simple way. This constitutes an opposite shock in metamathematic design in HILBERT’s perspective. Finally, if we want a proof of arithmetic coherence, it is sufficient to approve the arbitrary notions the type of function and function of function, and that next to concretes symbols.
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.
