Preguntas de proof-theory

5

2Resp

89Vistas

la fuerte completitud de un sistema formal

Resuelta

Preguntado el 28 de Junio, 2021 por Lankymart

1

1Resp

96Vistas

¿Son las pruebas por "maximalidad" equivalentes a las pruebas por inducción?

Abierta

Preguntado el 20 de Marzo, 2019 por The Footprint

2

1Resp

420Vistas

Una prueba de cálculo secuencial

Resuelta

Preguntado el 16 de Agosto, 2017 por Thiha Maung

2

1Resp

157Vistas

demostrar que este número contiene dos cifras iguales

Resuelta

Preguntado el 1 de Julio, 2015 por nosa

1

1Resp

76Vistas

Prueba para: Sean A y B conjuntos s.t $ A \cap B = A $ si $ A \subseteq B $

Resuelta

Preguntado el 8 de Mayo, 2016 por Eric Postpischil

1

1Resp

481Vistas

¿El encadenamiento hacia adelante es también una forma de enfoque?

Resuelta

Preguntado el 28 de Mayo, 2011 por Usuario no registrado

33

15Resp

6259Vistas

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

Resuelta

Preguntado el 30 de Agosto, 2011 por Thomas Jespersen

0

2Resp

102Vistas

Prueba $\forall x (A\to B) \to(A \to \forall x B):x\notin \mbox{free}(A)$ en un sistema de Hilbert donde no es un axioma

Resuelta

Preguntado el 24 de Octubre, 2014 por masterxilo

1

1Resp

40Vistas

Prueba de las igualdades restantes

Resuelta

Preguntado el 9 de Mayo, 2015 por Jimmy360

2

1Resp

131Vistas

Cálculo de la altura/profundidad de un corte en Sequent Calculus

Resuelta

Preguntado el 23 de Febrero, 2019 por David 天宇 Wong

72

30Resp

8281Vistas

¿El infinito puede acortar mucho las pruebas?

Resuelta

Preguntado el 17 de Noviembre, 2009 por bneely

3

1Resp

115Vistas

¿Esta prueba para si $0 < a < b$ entonces $a^2 < b^2$ ¿correcto?

Resuelta

Preguntado el 29 de Agosto, 2018 por redbandit

64

14Resp

5163Vistas

¿Qué es una prueba?

Resuelta

Preguntado el 21 de Mayo, 2013 por Usuario no registrado

37

1Resp

2974Vistas

Experiencias comunitarias de redacción de pruebas estructuradas de Lamport

Resuelta

Preguntado el 16 de Agosto, 2010 por Rory

32

5Resp

2184Vistas

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

Resuelta

Preguntado el 28 de Abril, 2022 por Eduardo Cola

43

3Resp

7973Vistas

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

Resuelta

Preguntado el 14 de Julio, 2010 por Uncle Philster

4

3Resp

784Vistas

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

Resuelta

Preguntado el 6 de Mayo, 2016 por John Jack

1

4Resp

103Vistas

¿Cómo se demuestra la afirmación: $A^c=(A\cup B)^c\cup (B \setminus A)$

Resuelta

Preguntado el 11 de Mayo, 2017 por Daniel Connell

12

1Resp

568Vistas

Aritmética intuitiva de Robinson

Resuelta

Preguntado el 8 de Enero, 2016 por James Wilsenach

6

3Resp

1119Vistas

complejidad computacional de las funciones recursivas primitivas

Resuelta

Preguntado el 25 de Mayo, 2012 por kdenney

1

1Resp

101Vistas

Teorema de Ramsey finito en aritmética

Resuelta

Preguntado el 19 de Septiembre, 2019 por Bob Heiser

7

1Resp

282Vistas

Ejemplos de pruebas ${}^n$ declaraciones indemostrables

Resuelta

Preguntado el 13 de Mayo, 2016 por casperOne

4

1Resp

125Vistas

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 __

2

1Resp

407Vistas

Utiliza la inducción para demostrar que cualquier lista (finita) es una permutación de sí misma, es decir, que la relación de permutación es reflexiva.

Resuelta

Preguntado el 20 de Enero, 2016 por bittu

12

5Resp

5135Vistas

¿Libros sobre lógica, teoría de pruebas y teoría de conjuntos?

Resuelta

Preguntado el 22 de Julio, 2013 por Robbo

2

3Resp

951Vistas

Sistemas axiomáticos y teoría de la información

Resuelta

Preguntado el 8 de Diciembre, 2009 por Michael Gundlach

2

1Resp

100Vistas

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.

44

0Resp

3184Vistas

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

3

1Resp

220Vistas

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

7

1Resp

76Vistas

Criterio para la consistencia de los sistemas de tipos puros

Abierta

Preguntado el 30 de Mayo, 2021 por japhet mlay

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

la fuerte completitud de un sistema formal

¿Son las pruebas por "maximalidad" equivalentes a las pruebas por inducción?

Una prueba de cálculo secuencial

demostrar que este número contiene dos cifras iguales

Prueba para: Sean A y B conjuntos s.t $ A \cap B = A $ si $ A \subseteq B $

¿El encadenamiento hacia adelante es también una forma de enfoque?

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

Prueba $\forall x (A\to B) \to(A \to \forall x B):x\notin \mbox{free}(A)$ en un sistema de Hilbert donde no es un axioma

Prueba de las igualdades restantes

Cálculo de la altura/profundidad de un corte en Sequent Calculus

¿El infinito puede acortar mucho las pruebas?

¿Esta prueba para si $0 < a < b$ entonces $a^2 < b^2$ ¿correcto?

¿Qué es una prueba?

Experiencias comunitarias de redacción de pruebas estructuradas de Lamport

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

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

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

¿Cómo se demuestra la afirmación: $A^c=(A\cup B)^c\cup (B \setminus A)$

Aritmética intuitiva de Robinson

complejidad computacional de las funciones recursivas primitivas

Teorema de Ramsey finito en aritmética

Ejemplos de pruebas ${}^n$ declaraciones indemostrables

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

Utiliza la inducción para demostrar que cualquier lista (finita) es una permutación de sí misma, es decir, que la relación de permutación es reflexiva.

¿Libros sobre lógica, teoría de pruebas y teoría de conjuntos?

Sistemas axiomáticos y teoría de la información

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

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

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?

Criterio para la consistencia de los sistemas de tipos puros

Etiquetas mas usadas

i-Ciencias.com

Powered by: