"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."
|
etiquetas: vladimir voevodsky , matemático , signo , igual 
