Preguntas ciencias de matemáticas-constructivas

28

3Resp

2281Vistas

¿Qué hechos en el álgebra conmutativa fallan miserablemente para los anillos conmutativos simples, incluso hasta la homotopía?

Resuelta

Preguntado el 8 de Noviembre, 2010 por martinatime

32

4Resp

3364Vistas

¿El teorema del punto fijo de Brouwer admite una prueba constructiva?

Resuelta

Preguntado el 13 de Abril, 2015 por RexE

44

1Resp

2456Vistas

Geometría algebraica constructiva

Resuelta

Preguntado el 15 de Noviembre, 2017 por Brendan Dowling

31

4Resp

4966Vistas

¿Cómo podría demostrarlo un intuicionista?

Resuelta

Preguntado el 27 de Septiembre, 2016 por Katz

58

4Resp

5349Vistas

¿Cómo hacer que Ext y Tor sean constructivos?

Abierta

Preguntado el 3 de Enero, 2011 por David Gardiner

81

3Resp

5376Vistas

Se busca: un "Coq para el matemático que trabaja"

Abierta

Preguntado el 28 de Enero, 2014 por David Gardiner

4

1Resp

157Vistas

Ve de A a D en tres pasos iguales

Abierta

Preguntado el 15 de Diciembre, 2015 por Sebastian Giles

4

1Resp

236Vistas

¿Se considera constructivo el axioma antifundamental?

Abierta

Preguntado el 30 de Diciembre, 2014 por mrp

11

1Resp

196Vistas

Cómo es la inducción justificado en intuitionistic lógica?

Resuelta

Preguntado el 26 de Enero, 2015 por Frederic Gaudet

4

2Resp

169Vistas

El hacinamiento de los límites de la no-constructivity sin cruzar?

Abierta

Preguntado el 18 de Octubre, 2013 por Michael Hardy

4

1Resp

236Vistas

Correspondencia Curry-Howard (teoría de las pruebas)

Abierta

Preguntado el 17 de Noviembre, 2013 por user107804

4

1Resp

205Vistas

Decidible recursiva y predicados

Abierta

Preguntado el 3 de Septiembre, 2013 por Bob R.

4

1Resp

233Vistas

Separación de reales y algoritmo exctraction

Resuelta

Preguntado el 17 de Julio, 2015 por MilanG

7

1Resp

238Vistas

¿Una construcción explícita de una función real en todas partes discontinua con $F((a+b)/2)\leq(F(a)+F(b))/2$?

Resuelta

Preguntado el 23 de Julio, 2014 por Michael Cheng

30

2Resp

476Vistas

En contraposición intuitionistic lógica?

Resuelta

Preguntado el 18 de Junio, 2014 por Materialist

6

1Resp

264Vistas

¿Por qué el principio de Markov es un axioma?

Abierta

Preguntado el 11 de Junio, 2018 por GreyCloud

5

2Resp

201Vistas

Límites de no-superior sin medio excluido

Resuelta

Preguntado el 16 de Enero, 2014 por user87023

4

1Resp

127Vistas

Cómo probar que una declaración de la existencia no puede ser constructiva

Resuelta

Preguntado el 28 de Diciembre, 2014 por Emilio Novati

5

3Resp

201Vistas

Verificación de la prueba en análisis constructivo

Abierta

Preguntado el 24 de Septiembre, 2018 por GreyCloud

9

3Resp

714Vistas

¿Por qué se acepta el principio de explosión en la matemática constructiva?

Abierta

Preguntado el 19 de Septiembre, 2018 por marimo

4

2Resp

405Vistas

Teorema del valor intermedio constructiva

Resuelta

Preguntado el 18 de Septiembre, 2018 por GreyCloud

4

1Resp

168Vistas

¿Es cierto que no hay ningún algoritmo para aproximar el menos límite superior?

Resuelta

Preguntado el 22 de Febrero, 2014 por Andrew

5

2Resp

120Vistas

¿$A \lor \neg A$ Afirmar decidability de la lógica intuicionista?

Resuelta

Preguntado el 23 de Noviembre, 2015 por Dan Oneață

4

1Resp

244Vistas

Modelo de la teoría de intuitionistic la lī ogica: un no-vacío de dominio?

Resuelta

Preguntado el 30 de Diciembre, 2012 por user894795

5

1Resp

393Vistas

Acerca de las matemáticas constructivas y la teoría de tipos de Homotopy

Resuelta

Preguntado el 22 de Diciembre, 2013 por tomaszs

10

2Resp

246Vistas

¿Qué significa cuando decimos que un objeto matemático existe?

Resuelta

Preguntado el 7 de Junio, 2018 por Maksim

45

5Resp

5285Vistas

¿La existencia de un objeto matemático implica que es posible construirlo?

Resuelta

Preguntado el 5 de Junio, 2018 por Maksim

4

3Resp

174Vistas

En busca de ayuda para entender un simple modelo de Kripke

Abierta

Preguntado el 8 de Octubre, 2014 por Javran

4

1Resp

355Vistas

Cómo representar Smullyan del "Ruiseñor" en los puzzles (Homotopy) Tipo de Teoría?

Abierta

Preguntado el 15 de Enero, 2014 por llimllib

6

2Resp

149Vistas

¿Qué tipo de "conjuntos infinitos" ¿constructivistas uso?

Abierta

Preguntado el 10 de Mayo, 2018 por S.Koch

Preguntas ciencias matemáticas-constructivas

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Qué hechos en el álgebra conmutativa fallan miserablemente para los anillos conmutativos simples, incluso hasta la homotopía?

¿El teorema del punto fijo de Brouwer admite una prueba constructiva?

Geometría algebraica constructiva

¿Cómo podría demostrarlo un intuicionista?

¿Cómo hacer que Ext y Tor sean constructivos?

Se busca: un "Coq para el matemático que trabaja"

Ve de A a D en tres pasos iguales

¿Se considera constructivo el axioma antifundamental?

Cómo es la inducción justificado en intuitionistic lógica?

El hacinamiento de los límites de la no-constructivity sin cruzar?

Correspondencia Curry-Howard (teoría de las pruebas)

Decidible recursiva y predicados

Separación de reales y algoritmo exctraction

¿Una construcción explícita de una función real en todas partes discontinua con $F((a+b)/2)\leq(F(a)+F(b))/2$?

En contraposición intuitionistic lógica?

¿Por qué el principio de Markov es un axioma?

Límites de no-superior sin medio excluido

Cómo probar que una declaración de la existencia no puede ser constructiva

Verificación de la prueba en análisis constructivo

¿Por qué se acepta el principio de explosión en la matemática constructiva?

Teorema del valor intermedio constructiva

¿Es cierto que no hay ningún algoritmo para aproximar el menos límite superior?

¿$A \lor \neg A$ Afirmar decidability de la lógica intuicionista?

Modelo de la teoría de intuitionistic la lī ogica: un no-vacío de dominio?

Acerca de las matemáticas constructivas y la teoría de tipos de Homotopy

¿Qué significa cuando decimos que un objeto matemático existe?

¿La existencia de un objeto matemático implica que es posible construirlo?

En busca de ayuda para entender un simple modelo de Kripke

Cómo representar Smullyan del "Ruiseñor" en los puzzles (Homotopy) Tipo de Teoría?

¿Qué tipo de "conjuntos infinitos" ¿constructivistas uso?

Etiquetas mas usadas

i-Ciencias.com

Powered by: