Preguntas ciencias de type-teoría

21

1Resp

3728Vistas

¿Cuál es la forma de inconsistencia de la paradoja de Girard en la teoría de tipos de Martin Lof?

Abierta

Preguntado el 13 de Marzo, 2010 por Brock Boland

11

2Resp

498Vistas

métrica natural de la longitud de la prueba

Abierta

Preguntado el 11 de Agosto, 2020 por user56328

20

2Resp

1078Vistas

$\infty$categoría de interpretación de la teoría tipo

Resuelta

Preguntado el 19 de Julio, 2013 por Randy Proctor

18

3Resp

1571Vistas

¿Cómo podemos expresar medibles espacios utilizando el tipo de teoría?

Resuelta

Preguntado el 18 de Junio, 2013 por Pat

22

1Resp

1822Vistas

Las perspectivas para revertir las matemáticas en Homotopy Tipo de Teoría

Resuelta

Preguntado el 10 de Julio, 2013 por davidsmalley

31

1Resp

926Vistas

La duda de Deligne sobre los fundamentos univalentes de Voevodsky

Abierta

Preguntado el 1 de Marzo, 2019 por Casey

39

3Resp

1933Vistas

¿Cómo define categorías (infinito, 1) en la teoría de tipos de homotopía?

Resuelta

Preguntado el 24 de Octubre, 2013 por maclema

44

1Resp

4432Vistas

Teoría del tipo de homotopía: ¿qué es?

Abierta

Preguntado el 18 de Marzo, 2015 por Reigningfear

36

2Resp

1316Vistas

Definición de$SU(n)$ en HoTT

Resuelta

Preguntado el 2 de Enero, 2018 por eriko

44

5Resp

2903Vistas

La homotopía como principio organizador general

Abierta

Preguntado el 15 de Julio, 2013 por Eduard Wirch

58

5Resp

8541Vistas

¿Hasta qué punto son ciertos los teoremas demostrados por Coq?

Resuelta

Preguntado el 25 de Marzo, 2011 por Xavier Nodet

68

4Resp

3417Vistas

¿Por qué Voevodsky consideró las categorías "posets en la siguiente dimensión", y los grupopoides la generalización correcta de los conjuntos?

Resuelta

Preguntado el 31 de Agosto, 2018 por DaveT

9

3Resp

152Vistas

Cómo probar formalmente que el cambio de nombre del índice no cambia la suma

Abierta

Preguntado el 1 de Julio, 2019 por Programmer2134

13

3Resp

250Vistas

¿Por qué los matemáticos eligieron la teoría de conjuntos de ZFC sobre la teoría de tipos de Russell?

Cerrada

Preguntado el 5 de Febrero, 2017 por Programmer2134

5

1Resp

115Vistas

¿Cómo se relacionan los grupos de homotopía sintética con los grupos de homotopía habituales?

Resuelta

Preguntado el 14 de Junio, 2019 por Max

7

2Resp

201Vistas

¿Por qué existe la correspondencia Curry-Howard?

Abierta

Preguntado el 10 de Junio, 2019 por jankes

5

2Resp

119Vistas

¿Diferencia entre$\lambda$ -$\mu$ - cálculo y teoría de tipo intuicionista + LEM para pruebas clásicas?

Abierta

Preguntado el 24 de Abril, 2019 por Programmer2134

8

1Resp

140Vistas

Comente sobre la teoría de tipos en los conjuntos de Matemáticas de Lawvere y Rosebrugh

Abierta

Preguntado el 22 de Abril, 2019 por Robin Adams

6

2Resp

353Vistas

¿Cómo entender la definición de conjuntos en la teoría del tipo de homotopía y el papel de la univalencia?

Abierta

Preguntado el 5 de Diciembre, 2013 por flojdek

7

1Resp

155Vistas

Tipo inductivo superior: ¿para qué?

Resuelta

Preguntado el 17 de Marzo, 2019 por Bob

4

1Resp

119Vistas

Lógica proposicional básica

Abierta

Preguntado el 10 de Mayo, 2014 por Marco Mustapic

20

2Resp

936Vistas

¿Se ha decidido alguna vez una conjetura al construir la prueba con lógica matemática?

Abierta

Preguntado el 12 de Febrero, 2019 por PyRulez

8

2Resp

153Vistas

¿Cuáles son los diferentes enfoques para formalizar la teoría de tipos en el contexto habitual del modelo teórico?

Abierta

Preguntado el 13 de Marzo, 2017 por CocoaPriest

6

2Resp

270Vistas

¿Comprobación de axiomas como comprobación de tipos?

Abierta

Preguntado el 31 de Enero, 2019 por Programmer2134

4

1Resp

236Vistas

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

Abierta

Preguntado el 17 de Noviembre, 2013 por user107804

4

2Resp

185Vistas

En la HoTT de Cauchy Reales

Resuelta

Preguntado el 10 de Junio, 2016 por Rod

4

2Resp

142Vistas

¿Cómo puedo construir $\mathbb{S}^1$ en Homotopy Tipo de Teoría a través de pushouts?

Abierta

Preguntado el 28 de Junio, 2017 por user3677952

4

3Resp

259Vistas

¿Cuál es un buen recurso para aprender sobre el cálculo lambda de tipo simple?

Abierta

Preguntado el 19 de Enero, 2014 por CocoaPriest

10

2Resp

250Vistas

¿Cuál es la diferencia entre la lógica intuicionista, clásica, modal y lineal?

Abierta

Preguntado el 31 de Mayo, 2015 por stefanosn

5

1Resp

172Vistas

Demostrar que en HoTT si los tipos de $A$ $B$ están conectados y $\Omega A = \Omega B$, $A = B$

Resuelta

Preguntado el 29 de Octubre, 2018 por while1fork

Preguntas ciencias type-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Cuál es la forma de inconsistencia de la paradoja de Girard en la teoría de tipos de Martin Lof?

métrica natural de la longitud de la prueba

$\infty$categoría de interpretación de la teoría tipo

¿Cómo podemos expresar medibles espacios utilizando el tipo de teoría?

Las perspectivas para revertir las matemáticas en Homotopy Tipo de Teoría

La duda de Deligne sobre los fundamentos univalentes de Voevodsky

¿Cómo define categorías (infinito, 1) en la teoría de tipos de homotopía?

Teoría del tipo de homotopía: ¿qué es?

Definición de$SU(n)$ en HoTT

La homotopía como principio organizador general

¿Hasta qué punto son ciertos los teoremas demostrados por Coq?

¿Por qué Voevodsky consideró las categorías "posets en la siguiente dimensión", y los grupopoides la generalización correcta de los conjuntos?

Cómo probar formalmente que el cambio de nombre del índice no cambia la suma

¿Por qué los matemáticos eligieron la teoría de conjuntos de ZFC sobre la teoría de tipos de Russell?

¿Cómo se relacionan los grupos de homotopía sintética con los grupos de homotopía habituales?

¿Por qué existe la correspondencia Curry-Howard?

¿Diferencia entre$\lambda$ -$\mu$ - cálculo y teoría de tipo intuicionista + LEM para pruebas clásicas?

Comente sobre la teoría de tipos en los conjuntos de Matemáticas de Lawvere y Rosebrugh

¿Cómo entender la definición de conjuntos en la teoría del tipo de homotopía y el papel de la univalencia?

Tipo inductivo superior: ¿para qué?

Lógica proposicional básica

¿Se ha decidido alguna vez una conjetura al construir la prueba con lógica matemática?

¿Cuáles son los diferentes enfoques para formalizar la teoría de tipos en el contexto habitual del modelo teórico?

¿Comprobación de axiomas como comprobación de tipos?

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

En la HoTT de Cauchy Reales

¿Cómo puedo construir $\mathbb{S}^1$ en Homotopy Tipo de Teoría a través de pushouts?

¿Cuál es un buen recurso para aprender sobre el cálculo lambda de tipo simple?

¿Cuál es la diferencia entre la lógica intuicionista, clásica, modal y lineal?

Demostrar que en HoTT si los tipos de $A$ $B$ están conectados y $\Omega A = \Omega B$, $A = B$

Etiquetas mas usadas

i-Ciencias.com

Powered by: