Principio de Hume
De Wikipedia, la enciclopedia libre
El principio de Hume, o HP— es un término creado por George Boolos— el mismo establece que el número de Fes es igual al número de Gs si hay una correspondencia uno a uno (una biyección) entre las Fs y las Gs. El HP puede ser enunciado formalmente en sistemas con lógica de segundo orden.
El HP juega un rol central en la filosofía de la matemática de Gottlob Frege. Frege muestra que la HP juntamente con definiciones apropiadas de nociones matemáticas contienen todos los axiomas de lo que se conoce como aritmética de segundo orden. A este resultado se lo llama el teorema de Frege, y constituye la base de una filosofía de la matemática llamada neo-logicismo.
[editar] Referencias
- Anderson, D., and Edward Zalta (2004) "Frege, Boolos, and Logical Objects," Journal of Philosophical Logic 33: 1-26.
- George Boolos, 1998. Logic, Logic, and Logic. Harvard Univ. Press. Especially section II, "Frege Studies."
- Burgess, John, 2005. Fixing Frege. Princeton Univ. Press.
- Gottlob Frege, Foundations of Arithmetic.
- David Hume, . A Treatise of Human Nature.
- Mayberry, John P., 2000. The Foundations of Mathematics in the Theory of Sets. Cambridge. Online excerpts.
