Hilbert: an autonomous evolutionary information system for teaching and learning logic

Abstract

In order to establish a widely useful computer-based environment for teaching and learning logic, we are developing an autonomous evolutionary information system, named “HILBERT,” for teaching and learning various logic systems underlying diverse reasoning forms in scientific discovery as well as everyday logical thinking. This paper presents our basic design ideas for the system, facilities and services provided by the system, and the architecture of the system.