Preguntas ciencias de proof-teoría04

26

3Resp

284Vistas

¿Por qué no puede usted demostrar la ley del medio excluido en intuitionistic lógica (para laico)?

Abierta

Preguntado el 23 de Julio, 2015 por Will Sargent

5

1Resp

176Vistas

La Idea de una prueba por contradicción

Resuelta

Preguntado el 3 de Junio, 2014 por CANDY

5

1Resp

283Vistas

¿Cuál es el ordinal prueba teórica de la teoría de primer orden de campos real cerrados?

Abierta

Preguntado el 2 de Octubre, 2013 por Keshav Srinivasan

4

1Resp

117Vistas

Demostración formal de la sentencia en el cálculo de primer orden, ejemplo.

Abierta

Preguntado el 7 de Enero, 2017 por Hugh

5

3Resp

406Vistas

Imposibilidad de ciertos métodos de prueba?

Resuelta

Preguntado el 11 de Junio, 2012 por Paul

6

5Resp

482Vistas

¿Podemos decidir que una conjetura es decidible sin saber si es correcta o falsa?

Resuelta

Preguntado el 15 de Junio, 2012 por Moritz

6

3Resp

377Vistas

¿Cómo se llama esto?

Resuelta

Preguntado el 7 de Septiembre, 2017 por Liutas

6

2Resp

482Vistas

Programación y

Resuelta

Preguntado el 16 de Diciembre, 2015 por Wakaka

9

2Resp

134Vistas

Prueba por inducción, 1 · ¡1! + 2 · ¡2! +... + n · ¡n! = (n + 1)! − 1

Abierta

Preguntado el 16 de Abril, 2016 por S. Bastion

10

5Resp

394Vistas

En la inducción matemática, ¿cómo ¿cómo asumiendo $P(n)$ diferir asumiendo $\forall n : P(n)$?

Abierta

Preguntado el 4 de Marzo, 2017 por Geremia

8

5Resp

245Vistas

¿qué es una prueba matemática válida?

Abierta

Preguntado el 25 de Noviembre, 2015 por kiyarash

14

2Resp

1349Vistas

¿Por qué no se puede expresar la alcanzabilidad en lógica de primer orden?

Resuelta

Preguntado el 4 de Diciembre, 2012 por Buzu

6

1Resp

137Vistas

¿Hay ningún inválido $S5$-fórmulas $\psi$ tal que $\diamond\psi$el % es válido?

Resuelta

Preguntado el 5 de Mayo, 2017 por xamid

7

2Resp

273Vistas

¿Existe una axiomatización mínima de ZFC?

Abierta

Preguntado el 1 de Septiembre, 2014 por Reto Meier

14

2Resp

400Vistas

¿Qué hace un "riguroso" a prueba de media?

Abierta

Preguntado el 18 de Junio, 2015 por MKR

7

5Resp

830Vistas

¿Por qué no "Adivina y verificar técnica" implica razonamiento circular?

Abierta

Preguntado el 10 de Julio, 2017 por user391830

7

1Resp

215Vistas

¿Hay pruebas que sólo existen por inducción?

Resuelta

Preguntado el 25 de Julio, 2016 por KaliMa

6

2Resp

223Vistas

¿Qué significa la prueba de una prueba?

Resuelta

Preguntado el 30 de Agosto, 2013 por frenzykryger

4

2Resp

200Vistas

¿Es posible que nonconstructively demostrar que una declaración puede ser probada o disproven dentro de un sistema formal?

Abierta

Preguntado el 16 de Julio, 2015 por znq

8

1Resp

266Vistas

¿Fortalezas de la consistencia de las teorías necesarias para la física?

Resuelta

Preguntado el 26 de Mayo, 2017 por penguin_surprise

6

1Resp

239Vistas

¿Es consistente una extensión de una teoría consistente que asume su propia consistencia finita?

Resuelta

Preguntado el 11 de Abril, 2017 por Mark Struzinski

6

1Resp

142Vistas

Maridaje en la aritmética de Presburger

Resuelta

Preguntado el 18 de Marzo, 2017 por FFF

7

2Resp

354Vistas

Ideas acerca de las pruebas

Resuelta

Preguntado el 24 de Enero, 2011 por Simon Nickerson

6

2Resp

316Vistas

Teoremas con las pruebas de una línea

Resuelta

Preguntado el 27 de Agosto, 2014 por alexqwx

7

3Resp

663Vistas

¿Dar una prueba de que "p y ~ p" implica "q"?

Resuelta

Preguntado el 24 de Marzo, 2014 por Jon Bright

7

1Resp

290Vistas

¿Existe una conexión útil de Galois entre los idiomas y las gramáticas?

Abierta

Preguntado el 8 de Marzo, 2013 por msutherl

9

1Resp

814Vistas

Comprensión de varias definiciones de TREE( $n$ ) en la forma finita de Friedman del teorema del árbol de Kruskal.

Resuelta

Preguntado el 6 de Marzo, 2012 por dc.sashwat

6

2Resp

242Vistas

Es cada prueba para los números naturales es equivalente a una inducción de la prueba?

Abierta

Preguntado el 1 de Diciembre, 2013 por Robert Martin

8

4Resp

705Vistas

¿Qué es la "correcta" lectura de $\bot$?

Resuelta

Preguntado el 31 de Enero, 2014 por Mauro ALLEGRANZA

11

1Resp

218Vistas

Hay una "lógica de la geometría algebraica", basada en provability en lugar de la verdad?

Resuelta

Preguntado el 13 de Febrero, 2017 por Alex Saad

Preguntas ciencias proof-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Por qué no puede usted demostrar la ley del medio excluido en intuitionistic lógica (para laico)?

La Idea de una prueba por contradicción

¿Cuál es el ordinal prueba teórica de la teoría de primer orden de campos real cerrados?

Demostración formal de la sentencia en el cálculo de primer orden, ejemplo.

Imposibilidad de ciertos métodos de prueba?

¿Podemos decidir que una conjetura es decidible sin saber si es correcta o falsa?

¿Cómo se llama esto?

Programación y

Prueba por inducción, 1 · ¡1! + 2 · ¡2! +... + n · ¡n! = (n + 1)! − 1

En la inducción matemática, ¿cómo ¿cómo asumiendo $P(n)$ diferir asumiendo $\forall n : P(n)$?

¿qué es una prueba matemática válida?

¿Por qué no se puede expresar la alcanzabilidad en lógica de primer orden?

¿Hay ningún inválido $S5$-fórmulas $\psi$ tal que $\diamond\psi$el % es válido?

¿Existe una axiomatización mínima de ZFC?

¿Qué hace un "riguroso" a prueba de media?

¿Por qué no "Adivina y verificar técnica" implica razonamiento circular?

¿Hay pruebas que sólo existen por inducción?

¿Qué significa la prueba de una prueba?

¿Es posible que nonconstructively demostrar que una declaración puede ser probada o disproven dentro de un sistema formal?

¿Fortalezas de la consistencia de las teorías necesarias para la física?

¿Es consistente una extensión de una teoría consistente que asume su propia consistencia finita?

Maridaje en la aritmética de Presburger

Ideas acerca de las pruebas

Teoremas con las pruebas de una línea

¿Dar una prueba de que "p y ~ p" implica "q"?

¿Existe una conexión útil de Galois entre los idiomas y las gramáticas?

Comprensión de varias definiciones de TREE( $n$ ) en la forma finita de Friedman del teorema del árbol de Kruskal.

Es cada prueba para los números naturales es equivalente a una inducción de la prueba?

¿Qué es la "correcta" lectura de $\bot$?

Hay una "lógica de la geometría algebraica", basada en provability en lugar de la verdad?

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: