Preguntas ciencias proof-teoría

Puntuación Visitas Fecha
Foto de perfil de CANDY

10

3Resp
218Vistas

papel de las definiciones en las pruebas

Resuelta
Preguntado el 27 de Abril, 2015 por CANDY
Etiquetas :
Foto de perfil de Sam McAfee

11

4Resp
1637Vistas

cortar la eliminación

Resuelta
Preguntado el 12 de Diciembre, 2009 por Sam McAfee
Etiquetas :
Imagen de perfil de logically challenged

12

1Resp
336Vistas

Gödel su forma de enseñar la no-estándar de los modelos a Takeuti.

Resuelta
Preguntado el 1 de Julio, 2014 por logically challenged
Etiquetas :
Foto de perfil de Mauro ALLEGRANZA

11

3Resp
915Vistas

¿Quién robó los axiomas en la Deducción Natural?

Resuelta
Preguntado el 13 de Marzo, 2014 por Mauro ALLEGRANZA
Etiquetas :
Imagen de perfil de Chris Marasti-Georg

9

1Resp
587Vistas

Cajas de embalaje y prueba de la hipótesis de Riemann

Resuelta
Preguntado el 28 de Julio, 2010 por Chris Marasti-Georg
Etiquetas :
Foto de perfil de khebbie

12

2Resp
1658Vistas

Definición de "no constructiva"a prueba de

Resuelta
Preguntado el 13 de Noviembre, 2011 por khebbie
Etiquetas :
Imagen de perfil de Programmer 400

21

5Resp
2632Vistas

Es una prueba también "pruebas"?

Resuelta
Preguntado el 18 de Junio, 2016 por Programmer 400
Etiquetas :
Foto de perfil de sewo

18

2Resp
590Vistas

La mínima diferencia entre lo clásico y intuitionistic sequent cálculo

Resuelta
Preguntado el 10 de Noviembre, 2013 por sewo
Etiquetas :
Foto de perfil de Simon Nickerson

12

4Resp
558Vistas

La Existencia De Pruebas

Resuelta
Preguntado el 19 de Enero, 2011 por Simon Nickerson
Etiquetas :
Foto de perfil de Bruce the Hoon

14

4Resp
585Vistas

¿Existe una relación entre la duración de la condena y la duración de la prueba?

Resuelta
Preguntado el 8 de Diciembre, 2010 por Bruce the Hoon
Etiquetas :
Foto de perfil de martinatime

16

4Resp
3232Vistas

Bourbaki ' notación épsilon-cálculo de s

Resuelta
Preguntado el 6 de Febrero, 2010 por martinatime
Etiquetas :
Foto de perfil de John Gallagher

13

1Resp
356Vistas

No demostrable unprovability

Resuelta
Preguntado el 12 de Junio, 2013 por John Gallagher
Etiquetas :
Imagen de perfil de Allen Bauer

16

3Resp
558Vistas

Sobre "La vida en un mundo inconsistente" de Pudlak

Resuelta
Preguntado el 10 de Marzo, 2014 por Allen Bauer
Etiquetas :
Foto de perfil de Chit Yan Toe

16

1Resp
330Vistas

Todos pueden matemáticas los resultados de formalizarse y revisada por un equipo?

Resuelta
Preguntado el 12 de Mayo, 2014 por Chit Yan Toe
Etiquetas :
Imagen de perfil de Johan

27

4Resp
3627Vistas

Trucos para la Construcción de Hilbert-Estilo de las Pruebas

Abierta
Preguntado el 28 de Abril, 2013 por Johan
Etiquetas :
Foto de perfil de Scott James

19

5Resp
8153Vistas

Diferencia entre "Mostrar" y "Demostrar"

Resuelta
Preguntado el 30 de Mayo, 2011 por Scott James
Etiquetas :
Foto de perfil de Mike Cole

13

4Resp
353Vistas

¿"=" Debe interpretarse como igualdad?

Resuelta
Preguntado el 1 de Junio, 2013 por Mike Cole
Etiquetas :
Foto de perfil de doekman

14

1Resp
1178Vistas

El poder de los cálculos lambda

Resuelta
Preguntado el 28 de Septiembre, 2010 por doekman
Etiquetas :
Foto de perfil de Peter Coulton

16

4Resp
1777Vistas

No son constructivas de matemáticas de las pruebas más "sonido"?

Abierta
Preguntado el 20 de Julio, 2010 por Peter Coulton
Etiquetas :
Foto de perfil de SLaks

14

4Resp
1850Vistas

¿Se considera una prueba rigurosa que una propiedad no es cierto que un contraejemplo?

Resuelta
Preguntado el 22 de Diciembre, 2012 por SLaks
Etiquetas :
Foto de perfil de X.C.

16

2Resp
397Vistas

Cuánto matemática debemos demostrar todo lo numérico simple identidades?

Resuelta
Preguntado el 1 de Noviembre, 2013 por X.C.
Etiquetas :
Imagen de perfil de MGA

40

3Resp
4239Vistas

Puede prueba por contradicción 'no'?

Abierta
Preguntado el 29 de Marzo, 2016 por MGA
Etiquetas :
Imagen de perfil de Craig

19

5Resp
1950Vistas

Hermoso, sencillo pruebas digno de escribir en esta hermosa puerta de vidrio

Resuelta
Preguntado el 27 de Agosto, 2014 por Craig
Etiquetas :
Imagen de perfil de kcrumley

31

4Resp
4257Vistas

¿Por qué un incoherente sistema formal puede probar todo?

Resuelta
Preguntado el 27 de Septiembre, 2010 por kcrumley
Etiquetas :
Imagen de perfil de neuront

19

5Resp
1420Vistas

Si toma infinitos pasos para demostrar que un enunciado, que es una prueba válida?

Resuelta
Preguntado el 10 de Septiembre, 2012 por neuront
Etiquetas :
Imagen de perfil de Jake McGraw

24

5Resp
1775Vistas

¿Hay alguna buena no constructiva "existencial metatheorems"?

Resuelta
Preguntado el 20 de Noviembre, 2009 por Jake McGraw
Etiquetas :
Imagen de perfil de Simp

71

5Resp
5674Vistas

¿Son realmente lógicas las pruebas por contradicción?

Cerrada
Preguntado el 22 de Febrero, 2016 por Simp
Etiquetas :
Imagen de perfil de user46347

379

5Resp
9026Vistas

¿Puede cada prueba por contradicción ser mostrada también sin contradicción?

Resuelta
Preguntado el 24 de Noviembre, 2012 por user46347
Etiquetas :
Foto de perfil de Damian Reding

67

5Resp
2425Vistas

Prueba de la existencia de una prueba sin realmente dar una prueba

Abierta
Preguntado el 5 de Febrero, 2016 por Damian Reding
Etiquetas :
Foto de perfil de IBr

66

5Resp
2410Vistas

¿Cuál es exactamente la diferencia entre una definición y un axioma?

Resuelta
Preguntado el 9 de Septiembre, 2015 por IBr
Etiquetas :

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

Yandex
X