Preguntas ciencias de constructive-mathematics

24

1Resp

506Vistas

¿Implica el teorema de Tychonoff el principio de tercero excluido?

Resuelta

Preguntado el 8 de Septiembre, 2021 por Mark

2

2Resp

444Vistas

Probar de forma constructiva que $\log_2 3$ es irracional.

Resuelta

Preguntado el 21 de Diciembre, 2018 por androbin

61

2Resp

3061Vistas

¿Cuánto cuesta dividir por $2$ ?

Resuelta

Preguntado el 16 de Noviembre, 2014 por Hanno

46

2Resp

1599Vistas

Para lo cual $n\in\Bbb N$ podemos dividir $\{1,2,3,...,3n\}$ en $n$ subconjuntos cada uno con $3$ elementos tales que en cada subconjunto $\{x,y,z\}$ tenemos $x+y=3z$ ?

Resuelta

Preguntado el 22 de Junio, 2021 por aprado

3

1Resp

1847Vistas

¿Cuál es un ejemplo de aplicación real en la que una prueba no constructiva haya sido suficiente?

Resuelta

Preguntado el 11 de Noviembre, 2015 por seb

17

9Resp

2658Vistas

Construcción directa de los números enteros

Resuelta

Preguntado el 22 de Junio, 2010 por x-way

27

4Resp

10159Vistas

¿La construcción de conjuntos no mensurables requiere el axioma de elección?

Resuelta

Preguntado el 14 de Octubre, 2010 por Colonel Kernel

13

1Resp

346Vistas

Noción constructivamente correcta de dominio de factorización único

Resuelta

Preguntado el 15 de Diciembre, 2013 por maxfridbe

1

1Resp

160Vistas

Contraejemplo débil (Brouweriano) para la existencia de la inversa derecha de una suryección

Resuelta

Preguntado el 23 de Noviembre, 2014 por Fardad Pouran

28

13Resp

3195Vistas

¿Existen buenos "metateoremas existenciales" no constructivos?

Resuelta

Preguntado el 20 de Noviembre, 2009 por Jake McGraw

30

2Resp

1571Vistas

Algunas preguntas sobre la matemática intuicionista

Resuelta

Preguntado el 18 de Mayo, 2012 por khebbie

37

3Resp

8031Vistas

¿Se cumplen las leyes de De Morgan en la lógica intuicionista proposicional?

Resuelta

Preguntado el 14 de Marzo, 2012 por Usuario no registrado

6

2Resp

175Vistas

¿Son válidos los argumentos geométricos que utilizan infinitesimales?

Resuelta

Preguntado el 3 de Junio, 2020 por simple jack

2

2Resp

114Vistas

¿Son continuas las funciones constantes en las matemáticas constructivas?

Resuelta

Preguntado el 25 de Febrero, 2020 por ಠ_ಠ

1

2Resp

340Vistas

¿Cuándo se cumplen las leyes de DeMorgan en un álgebra de Heyting?

Resuelta

Preguntado el 4 de Mayo, 2014 por bksunday

3

6Resp

1158Vistas

Prueba constructiva de la fórmula de Euler

Resuelta

Preguntado el 10 de Julio, 2014 por Gaussler

4

1Resp

83Vistas

Los topos como modelos de la matemática constructiva

Resuelta

Preguntado el 4 de Noviembre, 2021 por V. Semeria

1

2Resp

234Vistas

¿Existe una prueba predicativa del Teorema de Cantor

Resuelta

Preguntado el 30 de Septiembre, 2017 por David Grenier

1

1Resp

122Vistas

Construir una subserie irracional a partir de series de racionales positivos.

Resuelta

Preguntado el 14 de Diciembre, 2017 por Benji Altman

8

1Resp

869Vistas

Teoría de conjuntos ZF y ley del medio excluido

Resuelta

Preguntado el 12 de Octubre, 2014 por Apostila

1

1Resp

60Vistas

Subconjunto explícito de segundo orden de los naturales.

Resuelta

Preguntado el 9 de Julio, 2021 por Oddly asymmetric

17

1Resp

362Vistas

¿Existe una prueba constructiva de que, en cuatro dimensiones, la categoría PL y la categoría lisa son equivalentes?

Resuelta

Preguntado el 6 de Enero, 2019 por Rafał Rawicki

4

1Resp

461Vistas

¿Cuál es el propósito de definir la negación de una proposición A como A $\rightarrow \bot$ ?

Resuelta

Preguntado el 18 de Mayo, 2014 por mcosta

1

1Resp

183Vistas

¿Por qué existen las secuencias? ¿Qué significa formalmente "construir una secuencia"?

Resuelta

Preguntado el 3 de Agosto, 2013 por Bananach

10

2Resp

431Vistas

¿Por qué la noción de algoritmo es primitiva en el intuicionismo de Brouwer?

Resuelta

Preguntado el 29 de Noviembre, 2016 por lorez7

2

1Resp

84Vistas

¿Implica el teorema de Diaconescu que la teoría de tipos cúbicos no es constructiva?

Resuelta

Preguntado el 19 de Febrero, 2018 por Tiddo

1

5Resp

2752Vistas

¿Existen objetos matemáticos que no tengan ejemplos concretos?

Resuelta

Preguntado el 22 de Abril, 2011 por Jonas Klemming

Preguntas ciencias constructive-mathematics

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Implica el teorema de Tychonoff el principio de tercero excluido?

Probar de forma constructiva que $\log_2 3$ es irracional.

¿Cuánto cuesta dividir por $2$ ?

Para lo cual $n\in\Bbb N$ podemos dividir $\{1,2,3,...,3n\}$ en $n$ subconjuntos cada uno con $3$ elementos tales que en cada subconjunto $\{x,y,z\}$ tenemos $x+y=3z$ ?

¿Cuál es un ejemplo de aplicación real en la que una prueba no constructiva haya sido suficiente?

Construcción directa de los números enteros

¿La construcción de conjuntos no mensurables requiere el axioma de elección?

Noción constructivamente correcta de dominio de factorización único

Contraejemplo débil (Brouweriano) para la existencia de la inversa derecha de una suryección

¿Existen buenos "metateoremas existenciales" no constructivos?

Algunas preguntas sobre la matemática intuicionista

¿Se cumplen las leyes de De Morgan en la lógica intuicionista proposicional?

¿Son válidos los argumentos geométricos que utilizan infinitesimales?

¿Son continuas las funciones constantes en las matemáticas constructivas?

¿Cuándo se cumplen las leyes de DeMorgan en un álgebra de Heyting?

Prueba constructiva de la fórmula de Euler

Los topos como modelos de la matemática constructiva

¿Existe una prueba predicativa del Teorema de Cantor

Construir una subserie irracional a partir de series de racionales positivos.

Teoría de conjuntos ZF y ley del medio excluido

Subconjunto explícito de segundo orden de los naturales.

¿Existe una prueba constructiva de que, en cuatro dimensiones, la categoría PL y la categoría lisa son equivalentes?

¿Cuál es el propósito de definir la negación de una proposición A como A $\rightarrow \bot$ ?

¿Por qué existen las secuencias? ¿Qué significa formalmente "construir una secuencia"?

¿Por qué la noción de algoritmo es primitiva en el intuicionismo de Brouwer?

¿Implica el teorema de Diaconescu que la teoría de tipos cúbicos no es constructiva?

¿Existen objetos matemáticos que no tengan ejemplos concretos?

Etiquetas mas usadas

i-Ciencias.com

Powered by: