cultura y tecnología
21 meneos
161 clics

Wolfram Alpha ya sabe realizar demostraciones matemáticas mediante inducción

Wolfram Alpha, ese poco conocido "motor de conocimiento" con aspecto de buscador que cuenta con gigantescas bases de datos estructuradas y con el cerebro de Mathematica, permite generar pruebas matemáticas mediante inducción a partir de una consulta en lenguaje normal y corriente. Un ejemplo típico sería: "Demostrar que 8 elevado a n menos 3 elevado a n es divisible por 5 para cualquier valor de n mayor que 0."

| etiquetas: wolfram alpha , demostraciones matemáticas , inducción

menéame