Preguntas ciencias de proof-theory02

1

1Resp

57Vistas

Define una operación $\square$ en dos conjuntos $S$ y $T$, de tal manera que si $|S| = n$ y $|T| = m$, entonces $|S\mathbin\square T| = n + m$

Resuelta

Preguntado el 2 de Febrero, 2017 por Steinar

32

5Resp

2182Vistas

¿Existen razones matemáticas inherentes por las cuales existen pruebas difíciles?

Resuelta

Preguntado el 28 de Abril, 2022 por Eduardo Cola

2

2Resp

159Vistas

Demostrando que la preimagen de un subgrupo normal es un subgrupo normal mostrando la igualdad de los cosets izquierdos y derechos

Resuelta

Preguntado el 21 de Agosto, 2020 por Novice

3

1Resp

228Vistas

¿Necesitas demostrar con un conjunto vacío?

Resuelta

Preguntado el 3 de Septiembre, 2021 por Gokiul

32

0Resp

4403Vistas

Punto de vista de computabilidad del teorema de incompletitud de Godel/Rosser

Resuelta

Preguntado el 23 de Octubre, 2017 por user21820

2

2Resp

126Vistas

Ayuda para entender una prueba breve para demostrar $\mathbb{Z}[X]/(X^2 - 3) \cong \mathbb{Z}[\sqrt{3}]$

Resuelta

Preguntado el 9 de Noviembre, 2021 por Rhaena

2

1Resp

75Vistas

Para todo $n \geq 2$ tenemos que $\nu_2\left(\binom{4n}{2n}-(-1)^n\binom{2n}{n}\right)=s_2(n)+2+3 \nu_2(n).$

Resuelta

Preguntado el 17 de Septiembre, 2023 por Lonaldin

36

1Resp

8210Vistas

Olimpiada de Matemáticas 1988 problema 6: solución canónica (2) sin saltar de Vieta

Resuelta

Preguntado el 29 de Agosto, 2016 por Rutger Moody

3

1Resp

218Vistas

Una axiomatización de la Lógica de Segundo Orden (completa) con un sistema de prueba decidible no puede ser completa; ¿es esto cierto si solo requerimos semi-decidibilidad?

Resuelta

Preguntado el 14 de Junio, 2018 por El cero

2

2Resp

154Vistas

Verificación de prueba: Si $f$ es sobreyectiva y $gf$ es inyectiva, demuestre que $g$ es inyectiva.

Resuelta

Preguntado el 24 de Febrero, 2019 por Carl Schmidt

1

1Resp

924Vistas

Problema de comprensión de la solución del problema [Hatcher 1.1.6].

Resuelta

Preguntado el 4 de Septiembre, 2017 por vikas srivastava

44

0Resp

3182Vistas

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

46

1Resp

1762Vistas

¿Puede un número ser palíndromo en 4 bases numéricas consecutivas?

Resuelta

Preguntado el 15 de Abril, 2017 por Matta

1

1Resp

56Vistas

¿Es $T_n(R) \cong T_n(R)^{op}$?

Resuelta

Preguntado el 26 de Abril, 2015 por Christopher

1

1Resp

560Vistas

Igualdad de la medida push-forward y la medida borel

Resuelta

Preguntado el 9 de Enero, 2017 por Crispino

1

1Resp

52Vistas

Prueba de conjuntos complementarios relativos

Resuelta

Preguntado el 29 de Agosto, 2019 por Dimitri Terweduwe

1

1Resp

6156Vistas

Demostrar que si $X$ es un subconjunto de $Y$ entonces $X$ intersect $Z$ es un subconjunto de $Y$ intersect $Z$ para todos los conjuntos $X$ , $Y$ , $Z$ .

Resuelta

Preguntado el 6 de Octubre, 2014 por Kafshiel

1

1Resp

69Vistas

∀

Resuelta

Preguntado el 18 de Octubre, 2021 por ksgr5566

2

1Resp

98Vistas

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.

27

1Resp

1451Vistas

Demuestre que en cualquier grupo de orden $23 \cdot 24$ El $23$ -El subgrupo Sylow es normal.

Resuelta

Preguntado el 9 de Agosto, 2013 por Usuario no registrado

2

1Resp

81Vistas

Existencia de cierta factorización del mapa simplicial

Resuelta

Preguntado el 13 de Marzo, 2020 por CuriousKid7

22

2Resp

19805Vistas

Los irreductibles son primos en un UFD

Resuelta

Preguntado el 13 de Diciembre, 2012 por emmett

2

1Resp

417Vistas

Una prueba de cálculo secuencial

Resuelta

Preguntado el 16 de Agosto, 2017 por Thiha Maung

1

3Resp

252Vistas

prueba por contradicción $A ∩ (B - A)= \varnothing.$

Resuelta

Preguntado el 9 de Diciembre, 2013 por ALI

2

1Resp

310Vistas

Ejercicio sobre la caracterización de grupos abelianos libres

Resuelta

Preguntado el 22 de Agosto, 2014 por user113913

1

2Resp

64Vistas

¿La inyectividad de $f:A\longrightarrow B\times C, f(x)=(g(x),h(x))$ implica la inyectividad de $g(x)$ y $h(x)$ ?

Resuelta

Preguntado el 31 de Octubre, 2019 por Sraw

17

5Resp

4968Vistas

Notación del cálculo épsilon de Bourbaki

Resuelta

Preguntado el 6 de Febrero, 2010 por martinatime

4

3Resp

781Vistas

¿En qué orden debo aprender los fundamentos de las matemáticas?

Resuelta

Preguntado el 6 de Mayo, 2016 por John Jack

0

0Resp

452Vistas

Prueba si $\gcd(a,b)=\gcd(b,c)=\gcd(a,c)=d$ entonces $\gcd(a,b,c)=d$

Resuelta

Preguntado el 17 de Noviembre, 2017 por Daniel V

1

1Resp

1102Vistas

Demostración de las afirmaciones either or (en teoría de grupos)

Resuelta

Preguntado el 10 de Febrero, 2018 por Maurice

Preguntas ciencias proof-theory

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Define una operación $\square$ en dos conjuntos $S$ y $T$, de tal manera que si $|S| = n$ y $|T| = m$, entonces $|S\mathbin\square T| = n + m$

¿Existen razones matemáticas inherentes por las cuales existen pruebas difíciles?

Demostrando que la preimagen de un subgrupo normal es un subgrupo normal mostrando la igualdad de los cosets izquierdos y derechos

¿Necesitas demostrar con un conjunto vacío?

Punto de vista de computabilidad del teorema de incompletitud de Godel/Rosser

Ayuda para entender una prueba breve para demostrar $\mathbb{Z}[X]/(X^2 - 3) \cong \mathbb{Z}[\sqrt{3}]$

Para todo $n \geq 2$ tenemos que $\nu_2\left(\binom{4n}{2n}-(-1)^n\binom{2n}{n}\right)=s_2(n)+2+3 \nu_2(n).$

Olimpiada de Matemáticas 1988 problema 6: solución canónica (2) sin saltar de Vieta

Una axiomatización de la Lógica de Segundo Orden (completa) con un sistema de prueba decidible no puede ser completa; ¿es esto cierto si solo requerimos semi-decidibilidad?

Verificación de prueba: Si $f$ es sobreyectiva y $gf$ es inyectiva, demuestre que $g$ es inyectiva.

Problema de comprensión de la solución del problema [Hatcher 1.1.6].

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

¿Puede un número ser palíndromo en 4 bases numéricas consecutivas?

¿Es $T_n(R) \cong T_n(R)^{op}$?

Igualdad de la medida push-forward y la medida borel

Prueba de conjuntos complementarios relativos

Demostrar que si $X$ es un subconjunto de $Y$ entonces $X$ intersect $Z$ es un subconjunto de $Y$ intersect $Z$ para todos los conjuntos $X$ , $Y$ , $Z$ .

∀

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

Demuestre que en cualquier grupo de orden $23 \cdot 24$ El $23$ -El subgrupo Sylow es normal.

Existencia de cierta factorización del mapa simplicial

Los irreductibles son primos en un UFD

Una prueba de cálculo secuencial

prueba por contradicción $A ∩ (B - A)= \varnothing.$

Ejercicio sobre la caracterización de grupos abelianos libres

¿La inyectividad de $f:A\longrightarrow B\times C, f(x)=(g(x),h(x))$ implica la inyectividad de $g(x)$ y $h(x)$ ?

Notación del cálculo épsilon de Bourbaki

¿En qué orden debo aprender los fundamentos de las matemáticas?

Prueba si $\gcd(a,b)=\gcd(b,c)=\gcd(a,c)=d$ entonces $\gcd(a,b,c)=d$

Demostración de las afirmaciones either or (en teoría de grupos)

Etiquetas mas usadas

i-Ciencias.com

Powered by: