| Version 11 |
Version 10 |
| This article provides links to those areas that do not actually contain mathematics, but rather are metamathematical in nature. |
This article provides links to those areas that do not actually contain mathematics, but rather are metamathematical in nature. |
|
|
| \begin{enumerate} |
\begin{enumerate} |
| \item Definition(s) of Metamathematics |
\item Definition(s) of Metamathematics |
| \item \PMlinkname{Formal Logics and Metamathematics}{FormalLogicsAndMetaMathematics} |
\item \PMlinkname{Formal Logics and Metamathematics}{FormalLogicsAndMetaMathematics} |
| \item Mathematical logics |
\item Mathematical logics |
| \item Theory of Models, AI, `Automatic' proof generation |
\item Theory of Models, AI, `Automatic' proof generation |
| \item Problem solving techniques and guides |
|
| \item Mathematics vocabulary |
\item Mathematics vocabulary |
| \item Automatic translation and Meta-languages |
\item Automatic translation and Meta-languages |
| \item Categorical Ontology |
\item Categorical Ontology |
| \item \PMlinkname{Does Mathematics need Philosophy?}{GWLeibnizSQuote} |
\item \PMlinkname{Does Mathematics need Philosophy?}{GWLeibnizSQuote} |
| \item Mathematical philosophy and \PMlinkname{Philosophical mathematics}{BeyondFormalism} |
\item Mathematical philosophy and \PMlinkname{Philosophical mathematics}{BeyondFormalism} |
| (Philosophy of Mathematics and Mathematics of Philosophy) |
(Philosophy of Mathematics and Mathematics of Philosophy) |
| \item Mathematical (Theoretical) physics and Physical mathematics |
\item Mathematical (Theoretical) physics and Physical mathematics |
| \item Quotations about mathematics |
\item Quotations about mathematics |
| \item \PMlinkescapetext{Terms from foreign languages used in mathematics}: \PMlinkname{html version}{TermsFromForeignLanguagesUsedInMathematics}, \PMlinkname{page images version}{TermsFromForeignLanguagesUsedInMathematicsPageImagesVersion} |
\item \PMlinkescapetext{Terms from foreign languages used in mathematics}: \PMlinkname{html version}{TermsFromForeignLanguagesUsedInMathematics}, \PMlinkname{page images version}{TermsFromForeignLanguagesUsedInMathematicsPageImagesVersion} |
| \item Mathematics education |
\item Mathematics education |
| \item Characterisation |
\item Characterisation |
| \item \PMlinkname{History of Mathematics}{PlatosMathematics} and \PMlinkname{mathematical concepts}{AnOutlineOfHilbertsProgramme} |
\item \PMlinkname{History of Mathematics}{PlatosMathematics} and \PMlinkname{mathematical concepts}{AnOutlineOfHilbertsProgramme} |
| \item Biographies on PlanetMath |
\item Biographies on PlanetMath |
| \item Resources for Mathematics: bibliographies, computer softare/programs |
\item Resources for Mathematics: bibliographies, computer softare/programs |
| \item Mathematical applications, paradoxes and puzzles |
\item Mathematical applications, paradoxes and puzzles |
| \end{enumerate} |
\end{enumerate} |
