¿Qué opinas de la publicación del blog de Wang Yin "Matemáticas y programación"?

Usuario anónimo

Llevo mucho tiempo hablando, las matemáticas negras de CS, las CS negras de las matemáticas, ¿sirven para algo? ¿interesante?

La pregunta fundamental es, ¿la esencia de las matemáticas son símbolos o marcas? No, los símbolos irregulares no tienen nada que ver con las matemáticas. Incluso si el lenguaje de la computadora es hermoso o no, no tiene nada que ver con la computadora. A lo sumo, el compilador será un poco más problemático y al final se convertirá en 0101. Si todos quisieran ser bellos, ¿usarían todos Haskell?

Incluso si escribes tus puntos y dibujas un símbolo para orar por la paz primero, aún así no podrás acumular cosas que no deberían acumularse. Muchos manuscritos de pruebas matemáticas son feos y nada hermosos, porque no se basan en la cara, sino en el cerebro.

Fuente: Zhihu

Wawawater se derrumba en los artículos escritos

6 personas están de acuerdo

La ventaja de la formalización es que favorece el rigor pero no es propicio para la comprensión. Por ejemplo, mucho conocimiento sobre la probabilidad discreta básica es una idea muy natural. La formalización es simplemente una forma diferente de expresión, pero lo más importante es el conocimiento en sí. Por supuesto, aún es necesario ser riguroso al publicar artículos, lo que favorece el intercambio académico.

Por ejemplo, cualquier ecuación cuadrática tiene como máximo dos raíces, lo cual es una expresión muy natural. Si la formalización se reemplaza por expresiones lógicas de primer orden, se convierte en Las ideas matemáticas y el conocimiento abstracto contenido detrás de la fórmula deben estar respaldados por ejemplos concretos e intuición.

@张冰宇 mencionó la diferencia de pensamiento entre matemáticos y programadores. De hecho, los propios matemáticos también están preocupados por la disputa entre las matemáticas discretas (concretas) utilizadas por los informáticos y las matemáticas abstractas que prefieren los matemáticos. . Timothy Gowers, como heredero de la escuela húngara, propuso una vez que hay dos culturas en matemáticas. Una es la cultura que descubre teorías matemáticas unificadas, como Bourbaki, la otra es la cultura que se centra en problemas específicos, a la que llama húngara; cultura. . Como alguien que estuvo profundamente influenciado por Erdäs, creo que ambos son importantes. Pero Gowers cree que las computadoras algún día reemplazarán a los matemáticos...