Discusión:Sistema formal

Iniciamos el fascinante campo de los sistemas formales y los problemas de la decisión... deberíamos acabar en Turing... pero poco a poco...

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)

Sistema formal vs. Sistema axiomático

¿Fusionar?  En contra: Según Sistema axiomático hay sistemas axiomáticos informales --> no es lo mismo. Por eso hay artículos separados en las otras Wikipedias. Una fusión dará lugar a un revoltillo con las interwikis. --Jkbw (discusión) 00:15 28 oct 2015 (UTC)

Además, los sistemas formales con un sistema de deducción natural no tienen axiomas. Quito el cartel de fusión. --Felipe (discusión) 23:01 2 mar 2017 (UTC)

Tiene razón Cha0303 (discusión) 21:56 13 oct 2021 (UTC)