dc.contributor.author
Tomas, F.
dc.identifier
https://ddd.uab.cat/record/36081
dc.identifier
urn:10.5565/PUBLMAT_32288_12
dc.identifier
urn:oai:ddd.uab.cat:36081
dc.identifier
urn:oai:raco.cat:article/37566
dc.identifier
urn:articleid:20144350v32n2p289
dc.description.abstract
En l'article citat en el títol, publicat en aquesta mateixa revista [1], es demostren, basats en el formalisme AFR (aritmética formalment recursiva), els teoremes de Bolzano-Weierstrass [4 .8, pp. 63-68] i els teoremes del máxim i del mínim i de Bolzano per a funcions contínues [5 .9 i 5.10, pp. 71-74]. Peró en les demostracions d'aquests teoremes s'utilitza sistemáticament, ja sigui de manera explícita o implícita, una forma del metateorema de minimització (p. 40) que no está justificada.
dc.format
application/pdf
dc.relation
Publicacions matemàtiques ; V. 32 n. 2 (1988) p. 289-291
dc.rights
Aquest material està protegit per drets d'autor i/o drets afins. Podeu utilitzar aquest material en funció del que permet la legislació de drets d'autor i drets afins d'aplicació al vostre cas. Per a d'altres usos heu d'obtenir permís del(s) titular(s) de drets.
dc.rights
https://rightsstatements.org/vocab/InC/1.0/
dc.title
Correcció a l'article "analisi formalment recursiva"
