About Site Map Submit Contact Us Log in | Create an account
Create an account Log In
Average Rating
User Rating:
Visitors Rating:
My rating:

Write review

windows default iconPrincipia Mathematica II Publisher's description

There exists a working prototype called Principia Mathematica II.

There exists a working prototype called Principia Mathematica II. It is fully capable of first order predicate logic and shows the main features and functionality of Hilbert II. The prototype presents the logic foundation of this project. It works with (prototype) QEDEQ module files located anywhere in the internet. The protocols http and ftp are used, also local files can be specified. After the input of an URL of a QEDEQ module the local file buffer is searched. If the requested QEDEQ file was not found, a download of the file specified by the URL is started and the result is saved in the local file buffer. Afterwards the QEDEQ module is loaded and checked for formal correctness. If other QEDEQ modules are referenced these are also loaded. Not until all necessary QEDEQ modules were successfully loaded and checked the originally specified QEDEQ module gets it's "green correctness point". In case of an error a detailed problem description is given and the problematic position in the corresponding module is shown.

System Requirements:

В· Java
Program Release Status: New Release
Program Install Support: Install and Uninstall

Principia Mathematica II Tags:

Click on a tag to find related softwares

Is Principia Mathematica II your software?

Manage your software

Most Popular

windows default icon PhotoShine 4.51
Add your photo into different beautiful templates
windows default icon Xorax Contact Sheet 1.3
"Xorax Contact Sheet" is a simple tool that generates contact sheet (index file)
windows default icon MapInfo Professional 10.5
MapInfo Professional is a powerful Microsoft Windows–based mapping and geographic analysis application.
windows default icon Circuit Wizard Professional Edition 1.10
Circuit Wizard, our flagship product, is a revolutionary new system that combines circuit design, PCB design,... Read more
windows default icon Photo Makeup Editor 1.85
Photo Makeup Editor is a photo retouching and virtual makeup software.

Related Category

» Animation Tools (180)
» CAD (1449)
» Editors (1260)
» Font Tools (714)
» Icon Tools (153)
» Other (1297)
» Screen Capture (394)
» Viewers (426)