| Centre |
| Facultat de Ciències Matemàtiques |
| Departament |
| Lògica i Filosofia de la Ciència |
| Professor responsable |
| H2229 - JUAN BLAS CLIMENT VIDAL |
| Met. Docent |
| Lliçó magistral. |
| Met. Avaluació |
| Examen i treball. |
| Bibliografia |
| P. Benacerraf and H. Putnam (eds.): Philosophy of mathematics, Cambridge University Press, 1983. W. B. Ewald: From Kant to Hilbert. A source book in the foundations of mathematics, 2 vols., Clarendon Press, 1996. K. Gödel: Obras completas, Alianza Editorial, 1981. S. Körner: Introducción a la filosofía de la matemática, Siglo XXI Editores, 1977. J. van Heijenoort: From Frege to Gödel. A source book in mathematical logic, Harvard University Press, 1967. |
| Continguts |
| Lliçó 1. L'infinit, les paradoxes i el principi de la bona ordenació. Lliçó 2. Fonaments de la matemàtica: La naturalesa de les matemàtiques segons el logicisme, cantorisme, estructuralisme, formalisme i intuïcionisme. Lliçó 3. Les entitats matemàtiques: Els objectes i morfismes matemàtics. Lliçó 4. Els fets matemàtics: Veritat, demostrabilitat i computabilitat. Lliçó 5. L'estructuralisme categorial. |
| Objetius |
| Aquest curs té com a principal objectiu el donar a conéixer l'estat actual de la Filosofia de la Matemàtica, l'evolució que la mateixa ha tingut des del segle XIX i alguns dels tòpics i problemes més destacats, entre els quals es troben el de la naturalesa i mode d'existència de les entitats matemàtiques, el de l'infinit, el de la veritat, el de la demostrabilitat i el de la computabilitat. |
| URL de Fitxa |