Resultados de la búsqueda

[[Archivo:Young frege.jpg|thumb|[[Gottlob Frege]] (1848-1925).]] ….ca/philosophy/pdfs/Russell%27s.Notes.on.GG.pdf |título=Russell's notes on Frege's Grundgesetze Der Arithmetik |fechaacceso=5 de mayo de 2010 |urlarchivo=ht …

…ritmé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 [[Logicis Hume's Principle appears in Frege's ''Foundations of Arithmetic'', which quotes from chapter III of the first …

…] fueron partidarios de esta línea de pensamiento inaugurada por [[Gottlob Frege]]. El logicismo fue clave en el desarrollo de la [[filosofía analítica]] en …e Peano]] articularon los principios básicos de la matemática, y [[Gottlob Frege]] desarrolló el primer sistema de [[lógica de predicados]].<ref name="SEP… …

…e]] en su libro sobre la lógica en 1879, [[Begriffsschrift]].<ref>{{harvnb|Frege|1879}}</ref> …ege, vino a llamarse símbolo de afirmación.."^[2] La notación de Frege para un juicio de algún contenido A …

…o que él llama el ''sentido'' de una expresión, y su ''referencia''. Según Frege, el sentido y la referencia son dos aspectos distintos del [[significado]]. …rencia, el [[significado]] de estas expresiones incluye algo más, a lo que Frege llama el ''sentido'' de las expresiones. …

…tgenstein]], quienes estaban fuertemente influenciados por la filosofía de Frege. …. Ve una distinción fundamental entre la [[lógica]] (y su extensión, según Frege, matemáticas) y la psicología. La lógica explica los hechos necesarios, mie …

| autor = Gottlob Frege …notación de conceptos"— es un libro sobre [[lógica]] escrito por [[Gottlob Frege]] y publicado en 1879, y el sistema de lógica propuesto en ese libro. …

…urrificar''' es la técnica inventada por [[Moses Schönfinkel]] y [[Gottlob Frege]] que consiste en transformar una [[función (programación)|función]] que ut …

…Geach and Black (eds.) Traducción por el Philosophical Writings of Gottlob Frege Oxford: Blackwell.</ref><ref>Jørgensen, J. (1938) 'Imperatives and logic', …

…a perspectiva, adoptada por [[Gottlob Frege]], considera los cardinales de Frege como clases de equivalencia en todo el universo de conjuntos, definidas por …inalidad de un conjunto <math>X</math> (implícita en Cantor y explícita en Frege y [[Principia Mathematica]]) es considerar el conjunto de todos los conjunt …

…juntos|conjuntos]] formulada por [[Georg Cantor|Cantor]] y [[Gottlob Frege|Frege]] es contradictoria. …e sí mismo sólo si no forma parte de sí mismo''.<ref>J. Heijenoort: ''From Frege to Gödel'', ed. Harvard University Press, Cambridge, Massachusetts, 1967;… …

…er humano entonces x es mortal." La peculiar doble notación dimensional de Frege hizo que su obra fuese ignorada durante muchos años.<ref>{{cita enciclopedi *En 1893 y 1903, Frege publica en dos volúmenes Las leyes de la aritmética, donde intenta deducir …

El matemático lógico y filósofo alemán [[Gottlob Frege|Frege]] publicó en el año 1879 su libro [[Begriffsschrift]], en el cual colocó la …

* [[Gottlob Frege|Frege, Gottlob]]. "Negation." ''Logical Investigations''. Trans. P. Geach and R. H Stootho …

…ines del {{siglo|XIX||s}}, principalmente por [[Georg Cantor]] y [[Gottlob Frege]], con el fin de permitir a los matemáticos trabajar con [[Conjunto infinit …lizando para {{math|''P''(''x'')}} "{{mvar|x}} es un [[número cardinal]]". Frege axiomatizó explícitamente una teoría en la que puede interpretarse una vers …

…njuntos, el término '''Equinumerosidad''' fue empleado por [[Gottlob Frege|Frege]] para definir relaciones entre conceptos. Su definición es: …cualquiera ''F'', los objetos que caen bajo ''F'' forman un colectivo, que Frege denomina 'extensión de F'. La relación Φ al ser biunívoca, solo asocia elem …

…cados son procesados de forma análoga a la [[lógica clásica]] de [[Gottlob Frege]].{{Cita requerida}} Sin embargo, sus términos pueden referirse a objetos… …

…n toda la estructura formal de las matemáticas. Matemáticos como [[Gottlob Frege]], [[Ernst Zermelo]], [[Abraham Fraenkel]] y [[Thoralf Skolem]] trabajaron …

…ización de la matemática a partir de la [[teoría de conjuntos]]. [[Gottlob Frege]] intentó culminar este proceso creando una [[axioma|axiomática]] de la teo …n proyecto que luego fue llevado a cabo principalmente por [[Gottlob Frege|Frege]], [[Bertrand Russell|Russell]], [[Ernst Zermelo|Zermelo]], [[Albert Thoral …

…nformal de conjuntos|teoría de conjuntos]] de [[Georg Cantor]] y [[Gottlob Frege]], poniendo de manifiesto sus contradicciones, y la [[paradoja de Richard]] …cita libro |apellido=Van Heijenoort|nombre=Jean|enlaceautor= |título= From Frege to Gödel: a source book in mathematical logic, 1879-1931. |url=http://books …