"Redefinió el signo de igual, que es lo más elemental cuando se aprenden matemáticas; esto es, que una cantidad es igual que otra. Él hizo que fuera más entendible para las computadoras", explica Chris Kapulkin, quien colaboró con Voevodsky en diferentes investigaciones. El llamado "axioma univalente" es de suma importancia porque ayudó a crear un software que ayuda a los matemáticos a probar sus teoremas, agrega. "Las computadoras son buenas computando, pueden procesar números muy grandes, pero también pueden ser muy estúpidas."
Comentarios
#1![:kiss: kiss](https://cdn.mnmstatic.net/v_149/img/menemojis/36/kiss.gif)
🌞 🌞 🌞
Duplicada: En matemáticas los errores no son lo que solían: los ordenadores están cambiando el modo de hacer las demostraciones
En matemáticas los errores no son lo que solían: l...
nautil.us#6 Si, hijo, si.
Sí, duplicadísima Vamos anda.
Vaya envío mandas como ejemplo de duplicada. Una entradilla mal escrita y un texto relacionado.
#4 Tienes la cara mas dura que el cemento armado de las torres antiaéreas de Berlin.
buambusub
Para lo demás:
#5 Te repites más que el ajo. ¿serás un bot de esos que tiene la inteligencia de un niño de 5 años?