The Paradox of Gödel’s Numbering and the Philosophy of Modern Metamathematics
The author of this article critically analyses the proof of Gödel’s famous theorem on the incompleteness of formalized arithmetic. It is shown that Gödel’s formalization of meta-mathematics provides a proof of the incompleteness not of mathematical science but of the system of formalized meta-mathem...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Armenian State Pedagogical University
2017-12-01
|
| Series: | Imastut'yun |
| Subjects: | |
| Online Access: | https://www.wisdomperiodical.com/index.php/wisdom/article/view/185 |