guest ::
| Home > Articles > Published articles > Correcció a l'article "analisi formalment recursiva" |
| Home > Articles > Published articles > Correcció a l'article "analisi formalment recursiva" |
| Date: | 1988 |
| 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. |
| 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.  |
| Language: | Català |
| Document: | Article ; recerca ; Versió publicada |
| Published in: | Publicacions matemàtiques, V. 32 n. 2 (1988) p. 289-291, ISSN 2014-4350 |
