PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (236)
Orphanage
Unclass'd (1)
Unproven (540)
Corrections (51)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
References to 'decision problem'
1. an outline of Hilbert's programme by gribskoff
2. axiom of determinacy by CWoo
3. beyond formalism: G\"{o}del's incompleteness by gribskoff
4. Cantor's diagonal argument by rmilson
5. comparison between Lebesgue and Riemann Integration by Mathprof
6. complexity class by Henry
7. context-free language by CWoo
8. Cook reduction by Henry
9. counting problem by Henry
10. from Hilbert's tenth problem to G\"{o}del's trichotomy by gribskoff
11. halting problem by rspuzio
12. incidence geometry by CWoo
13. Julia Bowman Robinson by Mravinci
14. LL(k) by CWoo
15. logicism by gribskoff
16. mathematical platonism by gribskoff
17. method for computing simple continued fractions with the aid of calculator and pencil and paper by PrimeFan
18. Monte Carlo methods by akrowne
19. near operators by mathcam
20. no-arbitrage in the Black-Scholes pricing model by stevecheng
21. non-Newtonian calculus by smithpith
22. NP-complete by Henry
23. oracle by Henry
24. Penrose's first G\"odelian argument by dankomed
25. promise problem by Henry
26. recursive set by CWoo
27. recursively axiomatizable theory by mathcam
28. representable functor by mathcam
29. search problem by Henry
30. self-reducible by Henry
31. Turing machine by Henry
32. voting by PrimeFan