Contribuciones del usuario 217.126.97.94
Para 217.126.97.94 discusión registro de bloqueos registros registro del filtro antiabusos
15 may 2007
- 12:4912:49 15 may 2007 difs. hist. −180 Decidibilidad Sin resumen de edición
- 12:4812:48 15 may 2007 difs. hist. 0 Decidibilidad Sin resumen de edición
- 12:4712:47 15 may 2007 difs. hist. +1 Decidibilidad Sin resumen de edición
- 12:4612:46 15 may 2007 difs. hist. +1463 N Decidibilidad Página nueva: Un sistema lógico o teoría es '''decidible''' si el conjunto de todas las fórmulas válidas en el sistema es decidible. Es decir, existe un [[algorit...