Explicit Quotes - Page 5
-
-
Un sistema axiomático se compone de axiomas y teoremas y requiere cierta coordinación ojo-mano para funcionar. Un sistema formal comprende una lista explícita de símbolos, un conjunto explícito de reglas que rigen su cohabitación, una lista explícita de axiomas y, sobre todo, una lista explícita de reglas que rigen explícitamente los pasos que el matemático puede dar para pasar de las suposiciones a las conclusiones. No se apela al significado ni a la intuición. Los símbolos pierden sus poderes referenciales; las inferencias se vuelven mecánicas.
-