[
return to viewing 'topic entry on miscellaneous mathematics'
]
| diff |
2008-10-17 22:38:59
- revision [
Version 13 -->
(current)
]
by
bci1
| \item Applied Mathematics |
|
| diff |
2008-09-30 01:06:44
- revision [
Version 6 --> Version 7
]
by
bci1
| \item \PMlinkname{Formal Logics and Metamathematics}{FormalLogicsAndMetaMathematics} |
|
| diff |
2008-09-30 00:57:01
- revision [
Version 4 --> Version 5
]
by
bci1
\item Definition(s) of Metamathematics
\item Mathematical logics
\item Theory of Models, AI, `Automatic' proof generation
\item Mathematics vocabulary
\item Automatic translation and Meta-languages
\item Categorical Ontology
\item Mathematical philosophy and Philosophical mathematics |
|
| 
