Preguntas ciencias de proof-theory06

3

1Resp

67Vistas

¿Por qué necesitamos hipótesis de medida completa en esta versión del teorema de Fubini?

Resuelta

Preguntado el 23 de Octubre, 2021 por leanhdung

2

3Resp

855Vistas

Grupo finito de orden $mn$ con $m,n$ coprimo

Resuelta

Preguntado el 25 de Julio, 2016 por Anh Vũ

5

1Resp

435Vistas

Comprender la prueba de $|ST||S\cap T| = |S||T|$ donde $S, T$ son subgrupos de un grupo finito

Resuelta

Preguntado el 19 de Junio, 2014 por Mark Young

2

2Resp

96Vistas

Demuestre que existe un mapeo suryectivo $f:\mathbb N\to A$ tal que $f(m)\leq f(n)$ si $m\leq n$

Resuelta

Preguntado el 15 de Julio, 2018 por leanhdung

3

1Resp

94Vistas

Aplicando un teorema de la alternativa en Carroll y Egorov (2019)

Resuelta

Preguntado el 4 de Julio, 2019 por Chaos

5

1Resp

140Vistas

Demostración parcial simplificada de la versión prima de la conjetura catalana

Resuelta

Preguntado el 21 de Febrero, 2017 por M.S. Dousti

7

1Resp

3657Vistas

Toda raíz primitiva módulo de un primo impar es un nonresiduo cuadrático

Resuelta

Preguntado el 24 de Octubre, 2016 por Fourier

4

1Resp

66Vistas

Desembalaje de una prueba de que el grado de la extensión del campo $[L:L^H]$ es igual a $|H|$ .

Resuelta

Preguntado el 13 de Septiembre, 2021 por Leo

1

1Resp

43Vistas

En una lista de $n$ números, si un número concreto aparece más de $\frac n 3$ veces, aparecerá en subparticiones

Resuelta

Preguntado el 29 de Septiembre, 2021 por a6623

2

1Resp

89Vistas

Cómo demostrar esta afirmación $x \not\in D$ entonces $x \in B$

Resuelta

Preguntado el 29 de Octubre, 2014 por nbro

27

13Resp

3189Vistas

¿Existen buenos "metateoremas existenciales" no constructivos?

Resuelta

Preguntado el 20 de Noviembre, 2009 por Jake McGraw

2

1Resp

235Vistas

Intersección de clases de equivalencia de dos relaciones de equivalencia

Resuelta

Preguntado el 12 de Noviembre, 2019 por Praskovya2.718281828

32

3Resp

1661Vistas

Una prueba trivial del postulado de Bertrand

Resuelta

Preguntado el 13 de Diciembre, 2019 por mindloss

3

1Resp

397Vistas

¿Las extensiones radicales dividen los campos? -Confusión (necesito ayuda)

Resuelta

Preguntado el 8 de Enero, 2019 por Cardioid_Ass_22

2

2Resp

957Vistas

Demostración mediante la propiedad arquimediana y el principio de ordenación de pozos n-1<= t < n.

Resuelta

Preguntado el 4 de Diciembre, 2016 por ABuyukcakir

1

2Resp

671Vistas

¿Cuántas formas hay de sentar a 7 personas alrededor de una mesa redonda, si consideramos iguales dos disposiciones que difieren en una rotación?

Resuelta

Preguntado el 18 de Abril, 2018 por The Bosco

1

2Resp

265Vistas

cómo probar: $A=B$ si $A\bigtriangleup B \subseteq C$

Resuelta

Preguntado el 28 de Abril, 2013 por sadeep

2

2Resp

221Vistas

Entender el teorema 17.2 de Munkres

Resuelta

Preguntado el 31 de Diciembre, 2016 por Kiki974

1

2Resp

62Vistas

Prueba de este ejercicio de logaritmos

Resuelta

Preguntado el 4 de Diciembre, 2016 por t3chb0t

4

1Resp

124Vistas

Cómo definir en ZFC jerarquías transfinitas de clases propias (con un ejemplo útil para la teoría de la prueba)

Resuelta

Preguntado el 17 de Junio, 2021 por Matteo __

1

2Resp

383Vistas

¿Puede todo número real representarse de forma única como una suma de un número racional y un número irracional? $\in [0, 1)$ ?

Resuelta

Preguntado el 6 de Octubre, 2018 por boramalper

29

2Resp

2376Vistas

¿Tiene sentido el sistema de notaciones ordinales de Taranovsky?

Resuelta

Preguntado el 14 de Enero, 2013 por xilun

2

1Resp

58Vistas

Cómo demostrarlo | $Z^4$ |=|Z|= $\aleph_0$

Abierta

Preguntado el 18 de Agosto, 2021 por Scott

1

1Resp

54Vistas

Confusión sobre la prueba de Halmos de Schroder-Bernstein

Resuelta

Preguntado el 14 de Marzo, 2022 por JohnT

1

2Resp

104Vistas

Para cualquier número entero $n$ , $n^2$ es congruente con $0$ o $1$ modulo $3$

Resuelta

Preguntado el 6 de Marzo, 2020 por AlexMA

2

1Resp

271Vistas

Conjuntos linealmente independientes en grupos abelianos

Resuelta

Preguntado el 5 de Octubre, 2017 por user193319

33

2Resp

1164Vistas

¿Cuál es el estatus lógico de la frase que combina las ideas de Löb y Rosser, "esta frase es demostrable antes de cualquier prueba de su negación"?

Resuelta

Preguntado el 12 de Agosto, 2022 por thedeeno

30

2Resp

1296Vistas

Una prueba hábil relacionada con la elección de puntos de un intervalo para

Resuelta

Preguntado el 31 de Marzo, 2010 por David Hicks

4

2Resp

237Vistas

¿Hasta qué punto puedo "disociar" una colección arbitraria de conjuntos?

Resuelta

Preguntado el 28 de Julio, 2018 por palmpo

1

3Resp

324Vistas

Demostrar que $\bigcap_{x\in\mathbb R}[3 - x^2, 5 + x^2]$ está contenida en $[3,5]$ .

Resuelta

Preguntado el 19 de Marzo, 2018 por James Drinkard

Preguntas ciencias proof-theory

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Por qué necesitamos hipótesis de medida completa en esta versión del teorema de Fubini?

Grupo finito de orden $mn$ con $m,n$ coprimo

Comprender la prueba de $|ST||S\cap T| = |S||T|$ donde $S, T$ son subgrupos de un grupo finito

Demuestre que existe un mapeo suryectivo $f:\mathbb N\to A$ tal que $f(m)\leq f(n)$ si $m\leq n$

Aplicando un teorema de la alternativa en Carroll y Egorov (2019)

Demostración parcial simplificada de la versión prima de la conjetura catalana

Toda raíz primitiva módulo de un primo impar es un nonresiduo cuadrático

Desembalaje de una prueba de que el grado de la extensión del campo $[L:L^H]$ es igual a $|H|$ .

En una lista de $n$ números, si un número concreto aparece más de $\frac n 3$ veces, aparecerá en subparticiones

Cómo demostrar esta afirmación $x \not\in D$ entonces $x \in B$

¿Existen buenos "metateoremas existenciales" no constructivos?

Intersección de clases de equivalencia de dos relaciones de equivalencia

Una prueba trivial del postulado de Bertrand

¿Las extensiones radicales dividen los campos? -Confusión (necesito ayuda)

Demostración mediante la propiedad arquimediana y el principio de ordenación de pozos n-1<= t < n.

¿Cuántas formas hay de sentar a 7 personas alrededor de una mesa redonda, si consideramos iguales dos disposiciones que difieren en una rotación?

cómo probar: $A=B$ si $A\bigtriangleup B \subseteq C$

Entender el teorema 17.2 de Munkres

Prueba de este ejercicio de logaritmos

Cómo definir en ZFC jerarquías transfinitas de clases propias (con un ejemplo útil para la teoría de la prueba)

¿Puede todo número real representarse de forma única como una suma de un número racional y un número irracional? $\in [0, 1)$ ?

¿Tiene sentido el sistema de notaciones ordinales de Taranovsky?

Cómo demostrarlo | $Z^4$ |=|Z|= $\aleph_0$

Confusión sobre la prueba de Halmos de Schroder-Bernstein

Para cualquier número entero $n$ , $n^2$ es congruente con $0$ o $1$ modulo $3$

Conjuntos linealmente independientes en grupos abelianos

¿Cuál es el estatus lógico de la frase que combina las ideas de Löb y Rosser, "esta frase es demostrable antes de cualquier prueba de su negación"?

Una prueba hábil relacionada con la elección de puntos de un intervalo para

¿Hasta qué punto puedo "disociar" una colección arbitraria de conjuntos?

Demostrar que $\bigcap_{x\in\mathbb R}[3 - x^2, 5 + x^2]$ está contenida en $[3,5]$ .

Etiquetas mas usadas

i-Ciencias.com

Powered by: