Preguntas ciencias de type-theory

2

2Resp

84Vistas

Mapeo de problemas simples de primer orden a la teoría de tipos

Resuelta

Preguntado el 25 de Marzo, 2013 por Feratile

25

1Resp

3471Vistas

Encuentra todos los valores de $x$ donde $f(x)$ es un cuadrado perfecto

Resuelta

Preguntado el 14 de Septiembre, 2015 por sebocuku

7

1Resp

76Vistas

Criterio para la consistencia de los sistemas de tipos puros

Abierta

Preguntado el 30 de Mayo, 2021 por japhet mlay

25

3Resp

1274Vistas

¿La función "evaluación" simplemente significa "composición"?

Resuelta

Preguntado el 29 de Enero, 2021 por JRC

2

2Resp

163Vistas

Soluciones enteras a la ecuación $7x^2 = y^2+y+1$

Resuelta

Preguntado el 18 de Marzo, 2020 por Display name

6

1Resp

282Vistas

Gödel sobre la "Verdadera Razón" de la Incompletitud

Resuelta

Preguntado el 21 de Marzo, 2023 por neddo

2

1Resp

114Vistas

Una clase de endofuntores "internos" en categorías cartesianas cerradas

Resuelta

Preguntado el 2 de Marzo, 2014 por Arno

44

0Resp

3184Vistas

En el marco de la correspondencia Curry-Howard o, en términos generales, de las "pruebas como programas", ¿tenemos también "programas como pruebas" y qué demostraría un programa ar

Resuelta

Preguntado el 5 de Enero, 2022 por Michael Kniskern

2

1Resp

100Vistas

Una propiedad de monotonicidad de la teoría de tipos de Martin-Löf

Resuelta

Preguntado el 3 de Agosto, 2019 por Z. A. K.

2

1Resp

174Vistas

Construcción de números naturales como listas de unidades (posibles objetos infinitos)

Resuelta

Preguntado el 8 de Marzo, 2016 por Nik Pronko

3

1Resp

146Vistas

Ecuación cuadrática diofantina $x^2 + 2y^2 = 2013$

Resuelta

Preguntado el 4 de Abril, 2016 por Ankit Nigam

1

1Resp

102Vistas

¿Teoría de categorías y tipos ?

Resuelta

Preguntado el 26 de Septiembre, 2022 por DDD4C4U

25

3Resp

1761Vistas

¿Acercarse a la Teoría de Tipos y a la Teoría de Categorías como punto de partida en el estudio de las matemáticas?

Resuelta

Preguntado el 1 de Abril, 2023 por Mateus Galdino

3

1Resp

206Vistas

El más pequeño $n$ para lo cual $19n+1$ y $95n+1$ son cuadrados perfectos

Resuelta

Preguntado el 19 de Marzo, 2015 por Marcin Seredynski

1

1Resp

85Vistas

Me gustaría conocer ejemplos de aplicaciones de la teoría de tipos. ¿Con qué fin se inventó la teoría de tipos? ¿Puede darme algunas motivaciones?

Resuelta

Preguntado el 3 de Abril, 2020 por Jordan Willis

23

3Resp

1634Vistas

¿Números surrealistas como tipo inductivo?

Resuelta

Preguntado el 29 de Abril, 2011 por Ed Haber

3

1Resp

620Vistas

Sobre el tamiz "olvidado" de Buchstab et al y la conjetura de Goldbach para ciertos enteros

Resuelta

Preguntado el 4 de Noviembre, 2022 por user493772

3

1Resp

81Vistas

Cómo mostrar la doble cubierta de $S^1$ es un círculo en HoTT

Resuelta

Preguntado el 1 de Diciembre, 2021 por HallaSurvivor

3

2Resp

95Vistas

¿Cuántos números enteros $n$ para $3<n<100$ son tales que $1+2+3+\cdots+(n-1)=k^2$ con $k \in \mathbb{N^*}$ ?

Resuelta

Preguntado el 24 de Febrero, 2017 por Glycerius

5

1Resp

246Vistas

Construcción del espacio de cobertura universal del tipo de homotopía etale $Et(X)$

Resuelta

Preguntado el 16 de Julio, 2021 por Prakash K

1

1Resp

52Vistas

¿Cuál es la relación (y el estado) de los Fundamentos Univalentes y la Teoría de Tipos de Homotopía?

Resuelta

Preguntado el 29 de Septiembre, 2020 por Will Sargent

2

1Resp

153Vistas

Potencias perfectas en la solución de una determinada ecuación de Pell

Abierta

Preguntado el 28 de Noviembre, 2016 por Jamai Con

0

1Resp

98Vistas

El axioma K de Streicher pero para la Lista

Resuelta

Preguntado el 31 de Mayo, 2019 por Patrick Stevens

31

2Resp

775Vistas

¿Hay/por qué no hay grupos sencillos con pedidos como éste?

Resuelta

Preguntado el 15 de Marzo, 2013 por Usuario no registrado

32

3Resp

10632Vistas

Sobre la conjetura de Goldbach

Resuelta

Preguntado el 15 de Abril, 2011 por James

2

1Resp

226Vistas

Intuición del teorema de Diaconescu

Resuelta

Preguntado el 27 de Noviembre, 2018 por dimensio1n0

4

1Resp

216Vistas

Lista de grupos finitos de tipo Lie y sus pares BN

Resuelta

Preguntado el 12 de Enero, 2013 por kch

1

2Resp

234Vistas

¿Existe una prueba predicativa del Teorema de Cantor

Resuelta

Preguntado el 30 de Septiembre, 2017 por David Grenier

20

2Resp

615Vistas

Primas en las soluciones de las ecuaciones de tipo Pell

Resuelta

Preguntado el 24 de Diciembre, 2020 por Matthew Scouten

3

1Resp

203Vistas

Cómo entender un haz principal en la teoría de tipos de homotopía

Abierta

Preguntado el 6 de Junio, 2017 por dgr

Preguntas ciencias type-theory

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Mapeo de problemas simples de primer orden a la teoría de tipos

Encuentra todos los valores de $x$ donde $f(x)$ es un cuadrado perfecto

Criterio para la consistencia de los sistemas de tipos puros

¿La función "evaluación" simplemente significa "composición"?

Soluciones enteras a la ecuación $7x^2 = y^2+y+1$

Gödel sobre la "Verdadera Razón" de la Incompletitud

Una clase de endofuntores "internos" en categorías cartesianas cerradas

En el marco de la correspondencia Curry-Howard o, en términos generales, de las "pruebas como programas", ¿tenemos también "programas como pruebas" y qué demostraría un programa ar

Una propiedad de monotonicidad de la teoría de tipos de Martin-Löf

Construcción de números naturales como listas de unidades (posibles objetos infinitos)

Ecuación cuadrática diofantina $x^2 + 2y^2 = 2013$

¿Teoría de categorías y tipos ?

¿Acercarse a la Teoría de Tipos y a la Teoría de Categorías como punto de partida en el estudio de las matemáticas?

El más pequeño $n$ para lo cual $19n+1$ y $95n+1$ son cuadrados perfectos

Me gustaría conocer ejemplos de aplicaciones de la teoría de tipos. ¿Con qué fin se inventó la teoría de tipos? ¿Puede darme algunas motivaciones?

¿Números surrealistas como tipo inductivo?

Sobre el tamiz "olvidado" de Buchstab et al y la conjetura de Goldbach para ciertos enteros

Cómo mostrar la doble cubierta de $S^1$ es un círculo en HoTT

¿Cuántos números enteros $n$ para $3<n<100$ son tales que $1+2+3+\cdots+(n-1)=k^2$ con $k \in \mathbb{N^*}$ ?

Construcción del espacio de cobertura universal del tipo de homotopía etale $Et(X)$

¿Cuál es la relación (y el estado) de los Fundamentos Univalentes y la Teoría de Tipos de Homotopía?

Potencias perfectas en la solución de una determinada ecuación de Pell

El axioma K de Streicher pero para la Lista

¿Hay/por qué no hay grupos sencillos con pedidos como éste?

Sobre la conjetura de Goldbach

Intuición del teorema de Diaconescu

Lista de grupos finitos de tipo Lie y sus pares BN

¿Existe una prueba predicativa del Teorema de Cantor

Primas en las soluciones de las ecuaciones de tipo Pell

Cómo entender un haz principal en la teoría de tipos de homotopía

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: