Preguntas ciencias de proof-theory08

3

1Resp

104Vistas

Si $1\le\lambda \le \kappa$ son cardenales, con $\kappa$ infinito y $\lambda<\text{cf}(\kappa)$ , entonces cada mapa $\lambda\to\kappa$ está acotado

Resuelta

Preguntado el 16 de Noviembre, 2016 por Reveillark

2

2Resp

421Vistas

Factorización primaria canónica

Resuelta

Preguntado el 23 de Octubre, 2019 por ONG SEE HAI HCI

6

3Resp

10401Vistas

El cuadrado de cualquier entero impar es impar.

Resuelta

Preguntado el 23 de Agosto, 2016 por Dr Bob

43

7Resp

10333Vistas

¿Cuáles son algunas pruebas del Teorema de Godel que son esencialmente diferentes de la prueba original?

Resuelta

Preguntado el 4 de Agosto, 2011 por Venkata Koppaka

1

2Resp

72Vistas

Pregunta sobre una demostración de: Si $P$ es un $p$-grupo finito y $\langle 1\rangle\neq N\trianglelefteq P$, entonces $N\cap Z(P)\neq\langle 1\rangle$.

Resuelta

Preguntado el 7 de Diciembre, 2021 por User7238

1

1Resp

64Vistas

e Fuente en línea de pruebas alternativas

Resuelta

Preguntado el 27 de Enero, 2015 por BenSmith

4

1Resp

140Vistas

¿Cómo podemos interpretar que $A, B \vdash A, B$ es indemostrable con la interpretación de recursos en Lógica Lineal?

Resuelta

Preguntado el 13 de Noviembre, 2017 por Boris Eng

3

3Resp

96Vistas

demostrando que la función $f(x) = \lambda(S ∩ (S + x))$ es un proceso continuo y $\lim_{x\to\infty} f(x) = 0$

Resuelta

Preguntado el 4 de Diciembre, 2019 por stat

1

1Resp

75Vistas

Demostración de los conjuntos A y B mediante la teoría de conjuntos, mostrando: $(B^c - AB)^c = B$

Resuelta

Preguntado el 11 de Octubre, 2015 por Ryan T. Donnelly

2

2Resp

114Vistas

Homomorfismo $f: \mathbb{Z}_{12} \longrightarrow \mathbb{Z}_{30}$

Resuelta

Preguntado el 30 de Enero, 2019 por Andrew Tzevas

1

1Resp

585Vistas

Prob. 6, Sec. 24, en TOPOLOGÍA de Munkres, 2ª ed: Para un conjunto bien ordenado $X$ , $X\times[0,1)$ en el orden del diccionario es un continuo lineal

Cerrada

Preguntado el 1 de Diciembre, 2017 por d2jxp

1

2Resp

82Vistas

Encontrar el error en una prueba incorrecta

Resuelta

Preguntado el 30 de Enero, 2016 por Bill

2

1Resp

1151Vistas

Verificación de la prueba : La convergencia casi segura implica la convergencia en probabilidad

Resuelta

Preguntado el 26 de Junio, 2018 por Adi

2

0Resp

185Vistas

cadena de Markov de tiempo continuo, algo que el libro no e

Resuelta

Preguntado el 1 de Abril, 2014 por user119615

46

13Resp

9754Vistas

Inducción fuerte sin caso base

Resuelta

Preguntado el 16 de Enero, 2010 por Danimal

2

1Resp

106Vistas

Decidir T/F sobre la conectividad de vértices y aristas

Resuelta

Preguntado el 23 de Abril, 2014 por Elaine

1

1Resp

217Vistas

Demostración de que el grado de cada vértice en un Árbol de Mínima Extensión (MST) es constante (es decir, no depende del número de vértices $n$ )

Resuelta

Preguntado el 29 de Octubre, 2017 por rndmusr

1

1Resp

78Vistas

¿Es posible intercambiar posiciones de 2 monedas distintas si solo se nos permite agregar o quitar 2 monedas consecutivas del mismo tipo a la vez?

Resuelta

Preguntado el 28 de Octubre, 2018 por hussain sagar

43

13Resp

4441Vistas

Ejemplos de afirmaciones que no se pueden demostrar con un método prometedor

Resuelta

Preguntado el 12 de Junio, 2010 por BlackShift

43

3Resp

7973Vistas

Teorema de Feit-Thompson: el documento de orden de impar

Resuelta

Preguntado el 14 de Julio, 2010 por Uncle Philster

1

1Resp

63Vistas

¿Comprobar mi trabajo? Funtores equivalentes y representabilidad

Resuelta

Preguntado el 29 de Septiembre, 2019 por Rylee Lyman

3

1Resp

129Vistas

Demostrando que hay infinitos números enteros que tienen el mismo conjunto de factores primos.

Resuelta

Preguntado el 1 de Diciembre, 2013 por miltos

1

1Resp

242Vistas

Prueba sencilla de la existencia de Lebesgue-pre medida

Resuelta

Preguntado el 23 de Agosto, 2015 por Steven

46

4Resp

4979Vistas

¿Cuál fue el verdadero logro de Gödel?

Resuelta

Preguntado el 3 de Abril, 2010 por bneely

-1

1Resp

62Vistas

Sea G= (V; E) un grafo. Demostrar que G es un grafo conexo

Abierta

Preguntado el 26 de Enero, 2018 por Zainab Husain

3

3Resp

182Vistas

Teoremas elementales que requieren AC

Resuelta

Preguntado el 29 de Septiembre, 2015 por Ranc

1

1Resp

186Vistas

Comprobación: Número de conexiones únicas en un grafo no dirigido con grado constante.

Abierta

Preguntado el 16 de Septiembre, 2017 por aqshaw

0

1Resp

46Vistas

¿Qué necesidad hay de poner la condición extra $\mu (\varnothing) = 0$ en la caracterización de las funciones de conjuntos contablemente aditivos?

Resuelta

Preguntado el 4 de Abril, 2020 por math maniac.

2

1Resp

74Vistas

Demostrando que un conjunto es un conjunto de Borel y su probabilidad es $0$

Resuelta

Preguntado el 22 de Marzo, 2015 por Swartz

2

1Resp

350Vistas

Prueba de Euclides modificada de los primos infinitos

Resuelta

Preguntado el 29 de Enero, 2014 por Warz

Preguntas ciencias proof-theory

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Si $1\le\lambda \le \kappa$ son cardenales, con $\kappa$ infinito y $\lambda<\text{cf}(\kappa)$ , entonces cada mapa $\lambda\to\kappa$ está acotado

Factorización primaria canónica

El cuadrado de cualquier entero impar es impar.

¿Cuáles son algunas pruebas del Teorema de Godel que son esencialmente diferentes de la prueba original?

Pregunta sobre una demostración de: Si $P$ es un $p$-grupo finito y $\langle 1\rangle\neq N\trianglelefteq P$, entonces $N\cap Z(P)\neq\langle 1\rangle$.

e Fuente en línea de pruebas alternativas

¿Cómo podemos interpretar que $A, B \vdash A, B$ es indemostrable con la interpretación de recursos en Lógica Lineal?

demostrando que la función $f(x) = \lambda(S ∩ (S + x))$ es un proceso continuo y $\lim_{x\to\infty} f(x) = 0$

Demostración de los conjuntos A y B mediante la teoría de conjuntos, mostrando: $(B^c - AB)^c = B$

Homomorfismo $f: \mathbb{Z}_{12} \longrightarrow \mathbb{Z}_{30}$

Prob. 6, Sec. 24, en TOPOLOGÍA de Munkres, 2ª ed: Para un conjunto bien ordenado $X$ , $X\times[0,1)$ en el orden del diccionario es un continuo lineal

Encontrar el error en una prueba incorrecta

Verificación de la prueba : La convergencia casi segura implica la convergencia en probabilidad

cadena de Markov de tiempo continuo, algo que el libro no e

Inducción fuerte sin caso base

Decidir T/F sobre la conectividad de vértices y aristas

Demostración de que el grado de cada vértice en un Árbol de Mínima Extensión (MST) es constante (es decir, no depende del número de vértices $n$ )

¿Es posible intercambiar posiciones de 2 monedas distintas si solo se nos permite agregar o quitar 2 monedas consecutivas del mismo tipo a la vez?

Ejemplos de afirmaciones que no se pueden demostrar con un método prometedor

Teorema de Feit-Thompson: el documento de orden de impar

¿Comprobar mi trabajo? Funtores equivalentes y representabilidad

Demostrando que hay infinitos números enteros que tienen el mismo conjunto de factores primos.

Prueba sencilla de la existencia de Lebesgue-pre medida

¿Cuál fue el verdadero logro de Gödel?

Sea G= (V; E) un grafo. Demostrar que G es un grafo conexo

Teoremas elementales que requieren AC

Comprobación: Número de conexiones únicas en un grafo no dirigido con grado constante.

¿Qué necesidad hay de poner la condición extra $\mu (\varnothing) = 0$ en la caracterización de las funciones de conjuntos contablemente aditivos?

Demostrando que un conjunto es un conjunto de Borel y su probabilidad es $0$

Prueba de Euclides modificada de los primos infinitos

Etiquetas mas usadas

i-Ciencias.com

Powered by: