Preguntas ciencias de proof-theory07

34

3Resp

6343Vistas

Una forma diferente de ver la acción del grupo fundamental sobre grupos de homotopía superiores

Resuelta

Preguntado el 29 de Marzo, 2010 por highBandWidth

1

2Resp

378Vistas

Unicidad del objeto inicial, o ¿por qué un morfismo de un objeto a sí mismo debe ser la identidad?

Resuelta

Preguntado el 19 de Junio, 2014 por Jannik

37

7Resp

2824Vistas

¿Existen pruebas no constructivas de isomorfismo?

Resuelta

Preguntado el 23 de Agosto, 2022 por RavenclawPrefect

5

2Resp

2376Vistas

Prueba $\{12a+25b:a,b\in\mathbb{Z}\}=\mathbb{Z}$

Resuelta

Preguntado el 24 de Octubre, 2016 por HighSchool15

1

1Resp

62Vistas

Probabilidad de que la suma sea divisible por $n$ después de un $n+1$ se tira un dado de una cara $m$ tiempos.

Resuelta

Preguntado el 10 de Octubre, 2020 por Vlad

1

1Resp

59Vistas

Álgebra de Langs, módulo isomorfo, prueba alternativa, p644

Resuelta

Preguntado el 28 de Abril, 2018 por CWL

2

1Resp

186Vistas

Comprender la demostración de un principio de continuidad para los potenciales

Resuelta

Preguntado el 27 de Mayo, 2018 por Usuario no registrado

3

1Resp

1735Vistas

Demuestre que si $p$ es un primo impar, entonces la congruencia $x^2\equiv1\pmod{p^{\alpha}}$ sólo tiene dos soluciones, $x\equiv1,x\equiv-1\pmod{p^{\alpha}}$ .

Resuelta

Preguntado el 30 de Abril, 2015 por St Vincent

1

2Resp

92Vistas

Validación de una prueba de que las potencias de 2 no pueden ser una suma de enteros positivos consecutivos

Resuelta

Preguntado el 25 de Septiembre, 2017 por abyssmu

1

1Resp

2168Vistas

Demostrar que ningún gráfico plano conectado con $\lt 12$ rostros y $\gt 3$ grado cada vértice tiene una cara con %\le 4$ aristas delimitadoras

Resuelta

Preguntado el 17 de Mayo, 2017 por ghert85

33

15Resp

6257Vistas

¿Qué es un teorema mágico en lógica?

Resuelta

Preguntado el 30 de Agosto, 2011 por Thomas Jespersen

37

4Resp

25976Vistas

¿Cuál es la diferencia entre ⊢ y ⊨?

Resuelta

Preguntado el 22 de Mayo, 2012 por Programmer 400

1

4Resp

102Vistas

¿Cómo podría escribir esta prueba de manera formal?

Resuelta

Preguntado el 16 de Octubre, 2013 por Jon

3

1Resp

1520Vistas

[Verificación]Sea H un subgrupo de G y $N = \bigcap_{x\in G} xHx^{-1}$ . Demuestra que N es un subgrupo de G y que $aNa^{-1} = N$ para todos $a \in G$

Resuelta

Preguntado el 20 de Enero, 2015 por Colin

1

1Resp

91Vistas

Criterio de convexidad

Resuelta

Preguntado el 18 de Octubre, 2018 por ncherro

35

9Resp

17674Vistas

¿Prueba directa de irracionalidad?

Resuelta

Preguntado el 15 de Julio, 2010 por jrudolph

3

2Resp

139Vistas

Calcula: $x=2^{12} \pmod{13}$ en $\mathbb{Z}_{13}$

Resuelta

Preguntado el 17 de Noviembre, 2016 por cnmesr

1

1Resp

126Vistas

Ayuda para entender esta prueba (creo que es Hensels Lifting?)

Resuelta

Preguntado el 19 de Octubre, 2013 por queueoverflow

9

1Resp

800Vistas

ERA, PRA, PA, inducción transfinita y equivalencias

Resuelta

Preguntado el 6 de Marzo, 2013 por Azmi Shakoor

37

1Resp

2973Vistas

Experiencias comunitarias de redacción de pruebas estructuradas de Lamport

Resuelta

Preguntado el 16 de Agosto, 2010 por Rory

5

2Resp

298Vistas

Demostrar que $\mathfrak{S}=\bigcup_{N=1}^{\infty}\mathfrak{Z}_N\cup\left\{\emptyset\right\}$ es un semianillo

Resuelta

Preguntado el 3 de Febrero, 2014 por mobile-stream support

4

4Resp

2430Vistas

La suma de los cubos de tres números enteros consecutivos es divisible por $9$

Resuelta

Preguntado el 25 de Octubre, 2017 por Clifton

2

1Resp

124Vistas

¿Se conserva la equivalencia de las medidas de probabilidad bajo productos infinitos?

Resuelta

Preguntado el 3 de Julio, 2019 por Mars Plastic

3

1Resp

120Vistas

Prueba de satisfacción dada la misma interpretación de la variable libre

Resuelta

Preguntado el 7 de Abril, 2019 por David 天宇 Wong

3

1Resp

776Vistas

Prueba de que la compactación de un punto de $\mathbb{R}^n$ es homeomorfo con $S^n$

Resuelta

Preguntado el 3 de Agosto, 2019 por I. Pittenger

3

1Resp

102Vistas

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

10400Vistas

El cuadrado de cualquier entero impar es impar.

Resuelta

Preguntado el 23 de Agosto, 2016 por Dr Bob

43

7Resp

10328Vistas

¿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

71Vistas

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

Preguntas ciencias proof-theory

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Una forma diferente de ver la acción del grupo fundamental sobre grupos de homotopía superiores

Unicidad del objeto inicial, o ¿por qué un morfismo de un objeto a sí mismo debe ser la identidad?

¿Existen pruebas no constructivas de isomorfismo?

Prueba $\{12a+25b:a,b\in\mathbb{Z}\}=\mathbb{Z}$

Probabilidad de que la suma sea divisible por $n$ después de un $n+1$ se tira un dado de una cara $m$ tiempos.

Álgebra de Langs, módulo isomorfo, prueba alternativa, p644

Comprender la demostración de un principio de continuidad para los potenciales

Demuestre que si $p$ es un primo impar, entonces la congruencia $x^2\equiv1\pmod{p^{\alpha}}$ sólo tiene dos soluciones, $x\equiv1,x\equiv-1\pmod{p^{\alpha}}$ .

Validación de una prueba de que las potencias de 2 no pueden ser una suma de enteros positivos consecutivos

Demostrar que ningún gráfico plano conectado con $\lt 12$ rostros y $\gt 3$ grado cada vértice tiene una cara con %\le 4$ aristas delimitadoras

¿Qué es un teorema mágico en lógica?

¿Cuál es la diferencia entre ⊢ y ⊨?

¿Cómo podría escribir esta prueba de manera formal?

[Verificación]Sea H un subgrupo de G y $N = \bigcap_{x\in G} xHx^{-1}$ . Demuestra que N es un subgrupo de G y que $aNa^{-1} = N$ para todos $a \in G$

Criterio de convexidad

¿Prueba directa de irracionalidad?

Calcula: $x=2^{12} \pmod{13}$ en $\mathbb{Z}_{13}$

Ayuda para entender esta prueba (creo que es Hensels Lifting?)

ERA, PRA, PA, inducción transfinita y equivalencias

Experiencias comunitarias de redacción de pruebas estructuradas de Lamport

Demostrar que $\mathfrak{S}=\bigcup_{N=1}^{\infty}\mathfrak{Z}_N\cup\left\{\emptyset\right\}$ es un semianillo

La suma de los cubos de tres números enteros consecutivos es divisible por $9$

¿Se conserva la equivalencia de las medidas de probabilidad bajo productos infinitos?

Prueba de satisfacción dada la misma interpretación de la variable libre

Prueba de que la compactación de un punto de $\mathbb{R}^n$ es homeomorfo con $S^n$

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$.

Etiquetas mas usadas

i-Ciencias.com

Powered by: