Preguntas de proof-theory02

1

2Resp

236Vistas

¿Es el último teorema de Fermat equivalente a $1 + 1 = 2$ ?

Resuelta

Preguntado el 25 de Junio, 2015 por user250628

2

2Resp

152Vistas

¿Existe algún sistema deductivo finito para la lógica proposicional que sólo utilice reglas unarias?

Resuelta

Preguntado el 4 de Noviembre, 2020 por univalence

13

2Resp

396Vistas

¿Es posible formalizar la relación entre diferentes pruebas de un mismo teorema?

Resuelta

Preguntado el 27 de Septiembre, 2011 por Max Muller

1

1Resp

455Vistas

Teorema de Löb y demostrabilidad

Resuelta

Preguntado el 22 de Marzo, 2013 por Mihai B.

2

1Resp

124Vistas

¿Por qué esta teoría demuestra que no es consistente?

Resuelta

Preguntado el 14 de Mayo, 2018 por Raton

2

1Resp

1005Vistas

Probar o refutar una expresión con operadores implícitos

Resuelta

Preguntado el 9 de Abril, 2012 por tapan

2

1Resp

219Vistas

¿Qué se entiende por "constante" en el Teorema de Liouville?

Resuelta

Preguntado el 29 de Abril, 2015 por Toby White

5

2Resp

89Vistas

la fuerte completitud de un sistema formal

Resuelta

Preguntado el 28 de Junio, 2021 por Lankymart

7

2Resp

1876Vistas

Diferencia entre solidez y corrección

Resuelta

Preguntado el 6 de Septiembre, 2013 por Mic

63

8Resp

13908Vistas

¿Reducción al absurdo o el contrapositivo?

Resuelta

Preguntado el 19 de Enero, 2010 por martinatime

46

4Resp

4980Vistas

¿Cuál fue el verdadero logro de Gödel?

Resuelta

Preguntado el 3 de Abril, 2010 por bneely

43

13Resp

4441Vistas

Ejemplos de afirmaciones que no se pueden demostrar con un método prometedor

Resuelta

Preguntado el 12 de Junio, 2010 por BlackShift

46

13Resp

9754Vistas

Inducción fuerte sin caso base

Resuelta

Preguntado el 16 de Enero, 2010 por Danimal

4

1Resp

140Vistas

¿Cómo podemos interpretar que $A, B \vdash A, B$ es indemostrable con la interpretación de recursos en Lógica Lineal?

Resuelta

Preguntado el 13 de Noviembre, 2017 por Boris Eng

9

1Resp

804Vistas

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

Resuelta

Preguntado el 6 de Marzo, 2013 por Azmi Shakoor

37

4Resp

25977Vistas

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

Resuelta

Preguntado el 22 de Mayo, 2012 por Programmer 400

37

7Resp

2825Vistas

¿Existen pruebas no constructivas de isomorfismo?

Resuelta

Preguntado el 23 de Agosto, 2022 por RavenclawPrefect

33

2Resp

1166Vistas

¿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

29

2Resp

2378Vistas

¿Tiene sentido el sistema de notaciones ordinales de Taranovsky?

Resuelta

Preguntado el 14 de Enero, 2013 por xilun

1

2Resp

64Vistas

Prueba de este ejercicio de logaritmos

Resuelta

Preguntado el 4 de Diciembre, 2016 por t3chb0t

28

13Resp

3198Vistas

¿Existen buenos "metateoremas existenciales" no constructivos?

Resuelta

Preguntado el 20 de Noviembre, 2009 por Jake McGraw

2

1Resp

288Vistas

"Medida" de inducción para la eliminación de cortes en el cálculo secuencial

Resuelta

Preguntado el 2 de Marzo, 2014 por Mauro ALLEGRANZA

3

3Resp

210Vistas

Sobre las preguntas "por qué" en matemáticas

Resuelta

Preguntado el 18 de Mayo, 2016 por framomo86

22

7Resp

4666Vistas

Redacción de pruebas "semiformales

Resuelta

Preguntado el 14 de Febrero, 2011 por Velociraptors

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

1

2Resp

439Vistas

Axiomas de la lógica proposicional

Resuelta

Preguntado el 18 de Julio, 2018 por Markus Steiner

2

1Resp

78Vistas

Concepto de prueba por contradicción

Resuelta

Preguntado el 6 de Junio, 2017 por FIRESNIPER GAMING

20

3Resp

12108Vistas

¿Qué significa "descargar supuestos o premisas"?

Resuelta

Preguntado el 3 de Noviembre, 2009 por glasnt

0

2Resp

397Vistas

¿El método de refutación intuicionista implicaría la permutación de premisas?

Resuelta

Preguntado el 6 de Junio, 2011 por Usuario no registrado

11

4Resp

3054Vistas

eliminación de cortes

Resuelta

Preguntado el 12 de Diciembre, 2009 por Usuario no registrado

Preguntas de proof-theory

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Es el último teorema de Fermat equivalente a $1 + 1 = 2$ ?

¿Existe algún sistema deductivo finito para la lógica proposicional que sólo utilice reglas unarias?

¿Es posible formalizar la relación entre diferentes pruebas de un mismo teorema?

Teorema de Löb y demostrabilidad

¿Por qué esta teoría demuestra que no es consistente?

Probar o refutar una expresión con operadores implícitos

¿Qué se entiende por "constante" en el Teorema de Liouville?

la fuerte completitud de un sistema formal

Diferencia entre solidez y corrección

¿Reducción al absurdo o el contrapositivo?

¿Cuál fue el verdadero logro de Gödel?

Ejemplos de afirmaciones que no se pueden demostrar con un método prometedor

Inducción fuerte sin caso base

¿Cómo podemos interpretar que $A, B \vdash A, B$ es indemostrable con la interpretación de recursos en Lógica Lineal?

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

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

¿Existen pruebas no constructivas de isomorfismo?

¿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"?

¿Tiene sentido el sistema de notaciones ordinales de Taranovsky?

Prueba de este ejercicio de logaritmos

¿Existen buenos "metateoremas existenciales" no constructivos?

"Medida" de inducción para la eliminación de cortes en el cálculo secuencial

Sobre las preguntas "por qué" en matemáticas

Redacción de pruebas "semiformales

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

Axiomas de la lógica proposicional

Concepto de prueba por contradicción

¿Qué significa "descargar supuestos o premisas"?

¿El método de refutación intuicionista implicaría la permutación de premisas?

eliminación de cortes

Etiquetas mas usadas

i-Ciencias.com

Powered by: