bubok.es utiliza cookies propias y de terceros para mejorar nuestros servicios y a recordar sus preferencias mediante el análisis de sus hábitos de navegación. Ver política de privacidad. OK
Buscar en Bubok

A Proof Of Syntactic Incompleteness Of The Second-Order Categorical Arithmetic

Pulsa para comprarlo en:
  • Autor: Giuseppe Raguní
  • Estado: Público
  • N° de páginas: 6
Ver ficha técnica completa
Actually, Arithmetic is considered as syntactically incomplete. How-
ever, there are different types of arithmetical theories. One of the most
important is the second-order Categorical Arithmetic (AR), which inter-
prets the principle of induction with the so-called full semantics. Now,
who ever concluded that AR is sintactically (or semantically, since cate-
goricity implies equivalence of the two types of completeness) incomplete?
Since this theory is not effectively axiomatizable, the incompleteness The-
orems cannot be applied to it. Nor is it legitimate to assert that the un-
decidability of the statements is generally kept in passing from a certain
theory (such as PA) to another that includes it (such as AR). Of course,
although the language of AR is semantically incomplete, this does not
imply that the same AR is semantically/sintactically incomplete.
Pending a response to the previous question, this paper aims to present
a proof of the syntactic/semantical incompleteness of AR, by examples
based on the different modes of representation (i.e. codes) of the natural
numbers in computation.
No existen comentarios sobre este libro Regístrate para comentar sobre este libro
Otros libros que pueden interesarte

La librería Bubok cuenta con más de 70.000 títulos publicados. ¿Todavía no encuentras el tuyo? Aquí te presentamos algunas lecturas recomendadas basándonos en las valoraciones de lectores que compraron este mismo libro.
¿No es lo que buscabas? Descubre toda nuestra selección en la librería: ebooks, publicaciones en papel, de descarga gratuita, de temáticas especializadas... ¡Feliz lectura!

Bubok es una editorial que brinda a cualquier autor las herramientas y servicios necesarios para editar sus obras, publicarlas y venderlas en más de siete países, tanto en formato digital como en papel, con tiradas a partir de un solo ejemplar. Los acuerdos de Bubok permiten vender este catálogo en cientos de plataformas digitales y librerías físicas.
Si quieres descubrir las posibilidades de edición y publicación para tu libro, ponte en contacto con nosotros a través de este formulario y comenzaremos a dar forma a tu proyecto.