PlanetMath:

(more info)

Math for the people, by the people.

Main Menu

Encyclopedia by subject

03D80 - Mathematical logic and foundations :: Computability and recursion theory :: Applications of computability and recursion theory

commutative vs. non-commutative dynamic modeling diagrams owned by bci1 Diophantine set owned by CWoo Penrose's first Gödelian argument owned by dankomed Penrose's second Gödelian argument owned by dankomed similarity and analogous systems: dynamic adjointness and topological equivalence owned by bci1 strong AI thesis owned by dankomed supercategory theories owned by bci1 weak AI thesis owned by dankomed
Show empty categories:
[ up \| top ]