Discusión:Sistema formal
De Wikipedia, la enciclopedia encyclopedia
Iniciamos el fascinante campo de los sistemas formales y los problemas de la decisión... deberíamos acabar en Turing... pero poco a poco...
![]() |
Esta página le interesa al Wikiproyecto Filosofía. |
Y ¿si iniciáramos a partir de la tesis de Turing?, creo que habría bastante material ¿o no?
- Este artículo trata temas muy poco diferenicados de sistema axiomático. De hecho, supuestamente un sistema axiomático es un tipo particular de sistema formal, pero los sistemas formales que no son sistemas axiomáticos en sí no son muy interesantes, por lo que los dos temas podrían ser fundidos en un solo artículo mucho más coherente y completo. Propongo fusionarlos --Davius (discusión) 00:05 3 ene 2013 (UTC)