Wikiproofs:Community Portal

From Wikiproofs

Contents 1 Content improvement and maintenance 1.1 Mathematical content 1.2 Non-mathematical content 2 Wikiproofs structure 3 JHilbert verifier

[edit] Content improvement and maintenance

[edit] Mathematical content

We're in pretty good shape with propositional logic. first-order logic is usable but somewhat less complete, and Basic arithmetic and General set theory are really just getting started. It is also possible to start work on anything which you are prepared to express axioms for—now that we have logic the main thing you are likely to find missing is relations, functions, subsets, and other bits of familiar mathematical machinery, but some problems can be expressed without them.

[edit] Non-mathematical content

Zip. Nada. Zilch. Someone better get started on it. But remember: Wikiproofs has its focus on proofs. It is not an ontology, though JHilbert would technically be capable of maintaining one.

[edit] Wikiproofs structure

Policies guidelines need to be crafted, large-scale projects organised, etc. This page could also do with an improvement.

[edit] JHilbert verifier

A lot of stuff is still missing:

• Wikiproofs:JHilbert definition soundness is probably the highest priority.
• Help pages, for example fleshing out Help:JHilbert (http://www.mathi.uni-heidelberg.de/~alex/jhilbert/commands.html might be a starting place).
• A formal specification of JHilbert. Not everything has been implemented yet in the current experimental version, such as functor selection also by type signature instead of name only, precedence and functor concatenation.
• Once a formal specification has been written, a programming interface reflecting the specification can be developed, test suites for it can be written, and finally the interface can be implemented.
• Better tutorials. Help:Tutorial is only a start.