Resultados de la búsqueda

== Constructivismo matemático == …onista es una de las maneras de abordar el [[Constructivismo (matemáticas)|Constructivismo]] en matemáticas. El uso de Lógicas constructivistas en general han sido vi …

…ia no está realmente probada. La posición opuesta se denomina [[platonismo matemático]]. …iendo en consecuencia de esta una actividad instrínsecamente subjetiva. El constructivismo no adopta en general dicha postura y es completamente compatible con la con …

…n en matemática|demostración]] para constatar la existencia de un [[objeto matemático]] creando o proporcionando un método para crear el objeto. Esto contrasta… …(matemática)|matemática constructiva]]. El [[Constructivismo (matemática)|constructivismo]] es una filosofía matemática que rechaza todos los métodos de prueba que… …

…el infinito actual, como por ejemplo en el [[Constructivismo (matemáticas)|constructivismo]] de la [[Escuela de Erlangen]]), de manera de que solo puede existir realm …as que se presentan desde los representantes tempranos del constructivismo matemático, así como con el pensamiento de [[Georg Cantor]].<ref>Ver Johannes Hoff: '' …

…Errett Bishop]] y Richman llamaban la ''escuela rusa'' del constructivismo matemático. …

…ores]] de los [[Número natural|números naturales]]. Fue introducida por el matemático noruego {{Harvtxt|Skolem|1923}},<ref>reprinted in translation in {{Harvtxt| [[Categoría:Constructivismo matemático]] …

Desde el {{siglo|V|a|s}}, comenzando por el matemático griego [[Zenón de Elea]] en Occidente y los primeros matemáticos indios en …hora como el fundador del [[Constructivismo (matemáticas)| constructivismo matemático]], no lo hacía. La teoría de conjuntos cantoriana acabó por generalizarse, …

…áticas, y otras más complejas, pero con el rigor necesario para el trabajo matemático formal. …ttps://tamtampress.es/2015/12/15/el-ojo-matematico-de-horus/|título=El ojo matemático de Horus|apellido=Soto|nombre=Elena|fecha={{fecha|15|12|2015}}}}</ref>]] …

En [[lógica de clases]] y [[análisis matemático]], la relación de equivalencia <math>\mathcal{R}</math> define [[conjuntos …nversa sólo es válida en [[matemática clásica]] (en contraposición a las [[Constructivismo (matemática)| matemática constructiva]]), ya que es equivalente a la [[Prin …

…emáticas como un todo no apuntan a contener los fundamentos de cada tópico matemático. Generalmente, los ''fundamentos'' de un campo de estudio, se refieren a un …urante el {{Siglo|XX||s}} con un amplio y coherente cuerpo de conocimiento matemático con muchísimos aspectos o componentes ([[teoría de conjuntos]], [[teoría de …

…n varios cuerpos matemáticos. Esto incluye diferentes ramas del [[análisis matemático]], que se basan en cuerpos con estructura adicional. Los teoremas básicos… …e no tenía el término «cuerpo» en mente, ha sido honrado por ser el primer matemático que enlazó la [[teoría de grupos]] y la teoría de cuerpos. La [[teoría de… …

…osofía de las matemáticas]] y [[filosofía de la lógica]], el '''formalismo matemático''' es una [[teoría]] que sostiene que las [[proposiciones]] de las matemáti …[[Logicismo|logicistas]]; [[Intuicionismo matemático|intuicionistas]] y [[Constructivismo (matemáticas)|constructivistas]] de la tradición de la "computabilidad"<ref …

Durante la [[Segunda Guerra Mundial]], el matemático húngaro [[Pál Turán]] se vio obligado a trabajar en una fábrica de ladrillo …s=68–72 |ref=harv}}</ref> Hill y su colaborador [[John Ernest]] eran dos [[Constructivismo (arte)|artistas constructivistas]] fascinados por las [[matemáticas]], quie …

…s de demostrar que el conjunto ''X'' contenía solo conjuntos no vacíos, un matemático habría dicho "sea ''F''(''S'') un elemento de ''S'' para todo ''S'' en ''X' Una demostración que haga uso del axioma de elección nunca es [[Constructivismo (matemáticas)|constructiva]]: aún si dicha demostración produce un objeto, …

…rio del [[Constructivismo (pedagogía)#Corrientes pedagógicas basadas en el constructivismo|construccionismo]], tesis que sostiene que el niño crea su conocimiento de …a su vez había sido pupilo de Papert, estaba profundamente influido por el constructivismo de Piaget, extendido por el propio Papert bajo la denominación de construcc …

|ocupación =[[Filosofía|Filósofo]], [[matemático]] e [[informático teórico]] …774.html Hilary Putnam (1929-2016)]</ref> fue un [[Filosofía|filósofo]], [[matemático]] e [[informático teórico]] [[Estados Unidos|estadounidense]]. Hizo aportes …

…izado con los caracteres en los que está escrito. Está escrito en lenguaje matemático, y los caracteres son triángulos, círculos y demás figuras geométricas, sin [[Alfred North Whitehead]], un matemático británico que se convirtió en filósofo estadounidense, dijo: "No hay verdad …