Preguntas de proof-theory03

3

1Resp

212Vistas

En $\Pi^1_{\infty}$ la comprensión implica ATR $_0$ ?

Resuelta

Preguntado el 4 de Diciembre, 2012 por geezanansa

1

1Resp

1289Vistas

Pruebas formales y teorema de deducción

Resuelta

Preguntado el 14 de Mayo, 2014 por Junior Mayhé

1

3Resp

94Vistas

¿Puede demostrarse una afirmación mostrando que conduce a una afirmación verdadera?

Resuelta

Preguntado el 27 de Marzo, 2018 por Shawhin Layeghi

18

5Resp

3648Vistas

¿Cómo funcionan los verificadores de pruebas?

Resuelta

Preguntado el 22 de Julio, 2010 por Leimi

1

1Resp

89Vistas

No se puede crear un algoritmo para un lenguaje decidible

Resuelta

Preguntado el 13 de Marzo, 2016 por Mureinik

17

5Resp

4970Vistas

Notación del cálculo épsilon de Bourbaki

Resuelta

Preguntado el 6 de Febrero, 2010 por martinatime

2

1Resp

420Vistas

Una prueba de cálculo secuencial

Resuelta

Preguntado el 16 de Agosto, 2017 por Thiha Maung

44

0Resp

4406Vistas

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

Resuelta

Preguntado el 23 de Octubre, 2017 por user21820

2

1Resp

283Vistas

Límite del tamaño del conjunto de permutación para el isomorfismo

Resuelta

Preguntado el 13 de Enero, 2016 por Jim

27

1Resp

764Vistas

Una demostración sencilla del teorema fundamental de la teoría de Galois

Resuelta

Preguntado el 4 de Noviembre, 2022 por Farinha

1

1Resp

73Vistas

Demostrar $\exists A:\forall x: \big(\varphi(x)\implies x\in A\big)$ implica que $\{x\in A:\varphi(x)\}$ existe y no depende de $A$ .

Resuelta

Preguntado el 25 de Enero, 2022 por Usuario no registrado

4

1Resp

85Vistas

Validez de la prueba del árbol binario completo: Número de hojas $L$ y el número de nodos $N$

Resuelta

Preguntado el 3 de Julio, 2016 por Dom Farolino

1

3Resp

89Vistas

¿Por qué para demostrar que un conjunto es un subconjunto de otro sólo hay que tomar un único elemento del subconjunto?

Resuelta

Preguntado el 30 de Enero, 2018 por Goldname

1

3Resp

191Vistas

Utiliza pruebas directas para demostrarlo: Si $A \cap B = A \cap C$ y $A \cup B = A \cup C$ entonces $B = C$

Resuelta

Preguntado el 13 de Mayo, 2016 por Zoom Bee

3

1Resp

144Vistas

Pruebas limpias e inteligentes para demostrar que el automorfismo interno en G es un subgrupo normal del grupo de automorfismos de G

Resuelta

Preguntado el 5 de Enero, 2020 por rui

2

1Resp

4237Vistas

Prueba de la Ley de DeMorgan generalizada

Resuelta

Preguntado el 23 de Noviembre, 2015 por nestorthecat

2

1Resp

869Vistas

La composición de la función medible no es medible: ¿sólo para la medibilidad de Lebesgue?

Resuelta

Preguntado el 19 de Mayo, 2016 por STF

1

1Resp

62Vistas

$\forall n\in \mathbb N$ , $\exists$ a $b(n)$ s.t. $x^n < b(n)\exp(\frac{x^2}{3})$ , para $x > 0$

Resuelta

Preguntado el 13 de Noviembre, 2019 por ncherro

1

1Resp

36Vistas

Pregunta sobre conjuntos parcialmente ordenados e imágenes de conjuntos

Resuelta

Preguntado el 17 de Abril, 2019 por kaio

2

2Resp

137Vistas

Demostrar que $\sqrt{2} + \sqrt{n}$ es irracional cuando $n\in\mathbb{N}$

Resuelta

Preguntado el 11 de Octubre, 2019 por Dakota

1

1Resp

119Vistas

Definir $f : X \to Y$ . Prueba $f[ \bigcup_{i}A_i] = \bigcup_{i} f[A_i]$ para una familia $\{A_i\}$ de subconjuntos de $X$ .

Resuelta

Preguntado el 11 de Febrero, 2017 por Kiki974

1

2Resp

813Vistas

Prueba por inducción de que $16 \mid 5^n - 4n - 1$

Resuelta

Preguntado el 29 de Octubre, 2014 por mylasthope

1

1Resp

5634Vistas

Un grafo es bipartito si sus ciclos son pares. (necesito ayuda con la prueba)

Resuelta

Preguntado el 14 de Abril, 2017 por TheLast Cipher

1

1Resp

149Vistas

Subgrupo abeliano y proposición $ab^{-1}$

Resuelta

Preguntado el 6 de Noviembre, 2017 por Pedro Gomes

2

2Resp

109Vistas

Demostración del resultado de integración de Lebesgue

Resuelta

Preguntado el 11 de Julio, 2014 por Павле

3

3Resp

182Vistas

Teoremas elementales que requieren AC

Resuelta

Preguntado el 29 de Septiembre, 2015 por Ranc

1

3Resp

326Vistas

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

4

2Resp

239Vistas

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

Resuelta

Preguntado el 28 de Julio, 2018 por palmpo

3

1Resp

68Vistas

¿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

1

4Resp

71Vistas

Cómo debería dividir los casos (División en casos)

Resuelta

Preguntado el 15 de Diciembre, 2017 por Usuario no registrado

Preguntas de proof-theory

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

En $\Pi^1_{\infty}$ la comprensión implica ATR $_0$ ?

Pruebas formales y teorema de deducción

¿Puede demostrarse una afirmación mostrando que conduce a una afirmación verdadera?

¿Cómo funcionan los verificadores de pruebas?

No se puede crear un algoritmo para un lenguaje decidible

Notación del cálculo épsilon de Bourbaki

Una prueba de cálculo secuencial

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

Límite del tamaño del conjunto de permutación para el isomorfismo

Una demostración sencilla del teorema fundamental de la teoría de Galois

Demostrar $\exists A:\forall x: \big(\varphi(x)\implies x\in A\big)$ implica que $\{x\in A:\varphi(x)\}$ existe y no depende de $A$ .

Validez de la prueba del árbol binario completo: Número de hojas $L$ y el número de nodos $N$

¿Por qué para demostrar que un conjunto es un subconjunto de otro sólo hay que tomar un único elemento del subconjunto?

Utiliza pruebas directas para demostrarlo: Si $A \cap B = A \cap C$ y $A \cup B = A \cup C$ entonces $B = C$

Pruebas limpias e inteligentes para demostrar que el automorfismo interno en G es un subgrupo normal del grupo de automorfismos de G

Prueba de la Ley de DeMorgan generalizada

La composición de la función medible no es medible: ¿sólo para la medibilidad de Lebesgue?

$\forall n\in \mathbb N$ , $\exists$ a $b(n)$ s.t. $x^n < b(n)\exp(\frac{x^2}{3})$ , para $x > 0$

Pregunta sobre conjuntos parcialmente ordenados e imágenes de conjuntos

Demostrar que $\sqrt{2} + \sqrt{n}$ es irracional cuando $n\in\mathbb{N}$

Definir $f : X \to Y$ . Prueba $f[ \bigcup_{i}A_i] = \bigcup_{i} f[A_i]$ para una familia $\{A_i\}$ de subconjuntos de $X$ .

Prueba por inducción de que $16 \mid 5^n - 4n - 1$

Un grafo es bipartito si sus ciclos son pares. (necesito ayuda con la prueba)

Subgrupo abeliano y proposición $ab^{-1}$

Demostración del resultado de integración de Lebesgue

Teoremas elementales que requieren AC

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

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

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

Cómo debería dividir los casos (División en casos)

Etiquetas mas usadas

i-Ciencias.com

Powered by: