Principio de Hume

Principio de Hume

Principio de Hume

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.

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.

Enlaces externos

Obtenido de "Principio de Hume"

Wikimedia foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Mira otros diccionarios:

  • Hume — puede hacer referencia a: David Hume, filósofo escocés; John Hume, político irlandés; Rob Hume, ornitólogo inglés; Tobias Hume, compositor inglés; el lago Hume, en Australia; Hume, localidad del Estado de Illinois, Estados Unidos; el principio de …   Wikipedia Español

  • Hume Cronyn — Jessica Tandy y Cronyn en la entrega de los Premios Emmy 1988 Nombre real Hume Blake Cronyn Nacimiento 18 de julio …   Wikipedia Español

  • Hume, David — ► (1711 76) Filósofo, historiador y economista británico. Sus doctrinas son el punto final del empirismo de Bacon y Locke y del idealismo de Berkeley: niega el principio de causalidad y afirma la imposibilidad de conocer la realidad de las cosas …   Enciclopedia Universal

  • David Hume — Saltar a navegación, búsqueda Para otros usos de este término, véase Hume. David Hume Retrato de David Hume, por Allan Ramsay, en el año 1766, Galería Nacional de Escocia …   Wikipedia Español

  • Gary Hume — Nombre de nacimiento Gary Stewart Hume Nacimiento 1962 Tenterden, Kent, Inglaterra …   Wikipedia Español

  • David Hume — (Edimburgo, 7 de mayo de 1711 id., 1776) Filósofo escocés. Nació en el seno de una familia emparentada con la aristocracia, aunque de modesta fortuna. Estudió durante un tiempo leyes en la Universidad de Edimburgo por voluntad de su familia, pero …   Enciclopedia Universal

  • El principio del fin — Episodio de Lost Título The Beginning of the End Episodio nº 1 Temporada 4 Escrito por Damon Lindelof …   Wikipedia Español

  • Logicismo — En la filosofía de la matemática, el logicismo es la doctrina que sostiene que la matemática es en algún sentido importante reducible a la lógica.[1] A veces se alega que los teoremas de incompletitud de Gödel socavan el propósito del proyecto.… …   Wikipedia Español

  • George Boolos — George Stephen Boolos (4 de septiembre de 1940, Nueva York – 27 de mayo de 1996) fue un filósofo y estudioso de lógica matemática que enseñó en el Massachusetts Institute of Technology. Contenido 1 Vida 2 Trabajo 3 Véase también …   Wikipedia Español

  • Falacia del jugador — Saltar a navegación, búsqueda La falacia del jugador es un falacia lógica por la que se cree erróneamente que los sucesos pasados afectan a los futuros en lo relativo a actividades aleatorias, como en muchos juegos de azar. Puede comprender las… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”