Hilbert II Poner fácilmente teoremas y pruebas en la base de conocimientos
Descargar ahora

Hilbert II Clasificación y resumen

Hilbert II Etiquetas

verificar conocimiento Base de conocimientos insertar Insertar teorema verificar el teorema

Hilbert II Descripción

Poner fácilmente teoremas y pruebas en la base de conocimientos. Hilbert II es una suite de programa de código abierto y gratuito que permite a un matemático poner teoremas y pruebas en esa base de conocimientos. Estas pruebas se verifican automáticamente por un comprobador de pruebas. También se pueden integrar textos en "lenguaje matemático común". Los axiomas matemáticos, las definiciones y las proposiciones se combinan para los llamados módulos Qedeq. Tal módulo podría verse como un libro de texto matemático que incluye pruebas correctas formales. Debido a que este sistema no se administra centralmente y las referencias a cualquier ubicación en Internet son posibles, se podría construir una base de conocimientos matemáticos de todo el mundo. Cualquier prueba de teorema en esta "web matemática" podría perforarse a las reglas y axiomas muy elementales. Piense en un increíble número de libros de texto matemáticos con hipervínculos y cada una de sus pruebas podría ser verificada por Hilbert II. Para cada teorema, la dependencia de otros teoremas, definiciones y axiomas se puede derivar fácilmente. Requisitos: · Java

Hilbert II Software relacionado