|
---|
Element | What has been done |
---|---|
Leiden Manifesto | created article (98.9%) |
Enumeration reducibility | created article (percentage pending) |
Element | What has been done |
---|---|
Open access | Science link fix, link addition of Leiden Manifesto |
Kummer surface | lede naming fix to show Ernst Kummer |
Template:Order-of-approx | redid svg image to show a more applicable Big O notation: |
Big O notation | image caption formulae updated to show LaTeX as opposed to plain text |
Reduction (recursion theory) | reformat of formulae to <math>; link addition of Enumeration reducibility |
Element | What is to be done | Difficulty |
---|---|---|
Kleene–Rosser paradox | expand stub, there are plenty of sources. | moderate |
Template:Reducibilities | create template to categorize and collectivize the several methods of reducibilities (Turing, many-one, truth-table, arithmetic, enumeration) | easy |
Annals of Pure and Applied Logic | create article, main source: Elsevier | difficult |
The Metric Tide | create article; confer with DORA and Leiden Manifesto | long |
Shinji Sato | create article; cite fishmans wiki as main source, CC-BY-SA 3.0 | novice |