Hilbert II. facilmente colocar teoremas e provas na base de conhecimento
Baixe Agora

Hilbert II. Classificação e resumo

Hilbert II. Tag

verificar conhecimento Base de Conhecimento inserir Inserir Teorema Verifique o teorema

Hilbert II. Descrição

Facilmente colocar teoremas e provas na base de conhecimento Hilbert II é uma suíte de programa de código aberto que permite que um matemático coloque teoremas e provas nessa base de conhecimento. Essas provas são automaticamente verificadas por um verificador de prova. Também os textos em "linguagem matemática comum" podem ser integrados. Os axiomas matemáticos, definições e proposições são combinados para os chamados módulos Qedeq. Tal módulo pode ser visto como um livro matemático que inclui provas corretas formais. Como este sistema não é administrado centralmente e as referências a qualquer local na Internet são possíveis, uma base de conhecimento matemática mundial pode ser construída. Qualquer prova de um teorema nesta "web matemática" pode ser perfurada para as regras e axiomas muito elementares. Pense em um número incrível de livros didáticos matemáticos com hiperlinks e cada uma das suas provas poderia ser verificada por Hilbert II. Para cada teorema, a dependência de outros teoremas, definições e axiomas poderiam ser facilmente derivadas. Requisitos: · Java.

Hilbert II. Software Relacionado