<?xml version="1.0" encoding="UTF-8"?>

<record version="14" id="10526">
 <title>topic entry on miscellaneous mathematics</title>
 <name>TopicEntryOnMiscellaneousMathematics</name>
 <created>2008-04-21 13:31:54</created>
 <modified>2008-10-17 22:38:59</modified>
 <type>Topic</type>
<parent id="6254">overview of the content of PlanetMath</parent>
 <creator id="10146" name="rm50"/>
 <author id="20947" name="bci1"/>
 <author id="10146" name="rm50"/>
 <author id="2872" name="pahio"/>
 <classification>
	<category scheme="msc" code="00A20"/>
	<category scheme="msc" code="00A99"/>
 </classification>
 <related>
	<object name="Metamathematics"/>
	<object name="AnOutlineOfHilbertsProgramme"/>
	<object name="BibliographyForAxiomaticsAndMathematicsFoundationsInCategories"/>
 </related>
 <keywords>
	<term>metamathematics</term>
	<term>beyond mathematics</term>
	<term>mathematical ontology</term>
	<term>mathematical logics</term>
	<term>categorical ontology</term>
 </keywords>
 <preamble>% this is the default PlanetMath preamble.  as your knowledge
% of TeX increases, you will probably want to edit this, but
% it should be fine as is for beginners.

% almost certainly you want these
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}

% used for TeXing text within eps files
%\usepackage{psfrag}
% need this for including graphics (\includegraphics)
%\usepackage{graphicx}
% for neatly defining theorems and propositions
%\usepackage{amsthm}
% making logically defined graphics
%\usepackage{xypic}

% there are many more packages, add them here as you need them

% define commands here
</preamble>
 <content>This topic provides links to those areas that are not restricted to Mathematics, but rather are metamathematical, or relevant to mathematics, though more general in nature.

\begin{enumerate}
\item Applied Mathematics
\item Definition(s) of Metamathematics
\item \PMlinkname{Formal Logics and Metamathematics}{FormalLogicsAndMetaMathematics}
\item Mathematical logics
\item Theory of Models, AI, `Automatic' proof generation 
\item Problem solving techniques and guides
\item Mathematics vocabulary
\item Automatic translation and Meta-languages
\item Categorical Ontology
\item \PMlinkname{Does Mathematics need Philosophy?}{GWLeibnizSQuote}
\item Mathematical philosophy and \PMlinkname{Philosophical mathematics}{BeyondFormalism}
(Philosophy of Mathematics and Mathematics of Philosophy)
\item Mathematical (Theoretical) physics and Physical mathematics
\item Quotations about mathematics
\item \PMlinkescapetext{Terms from foreign languages used in mathematics}: \PMlinkname{html version}{TermsFromForeignLanguagesUsedInMathematics}, \PMlinkname{page images version}{TermsFromForeignLanguagesUsedInMathematicsPageImagesVersion}
\item Mathematics education
\item Characterisation
\item \PMlinkname{History of Mathematics}{PlatosMathematics} and \PMlinkname{mathematical concepts}{AnOutlineOfHilbertsProgramme}
\item Biographies on PlanetMath
\item Resources for Mathematics: bibliographies, books, textbooks, mathematics resources on the web, computer softare/programs, web links to other encyclopedic references concerned with, or related to, Mathematics
\item Mathematical applications, paradoxes and puzzles
\end{enumerate}</content>
</record>
