topic entry on foundations of mathematics
TopicEntryOnFoundationsOfMathematics
2008-04-20 13:43:54
2009-01-17 22:44:58
Topic
overview of the content of PlanetMath
\usepackage{amssymb,amscd}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{mathrsfs}
% 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}
\usepackage{pst-plot}
% define commands here
\newcommand*{\abs}[1]{\left\lvert #1\right\rvert}
\newtheorem{prop}{Proposition}
\newtheorem{thm}{Theorem}
\newtheorem{ex}{Example}
\newcommand{\real}{\mathbb{R}}
\newcommand{\pdiff}[2]{\frac{\partial #1}{\partial #2}}
\newcommand{\mpdiff}[3]{\frac{\partial^#1 #2}{\partial #3^#1}}
This is an entry-in-progress for a new topic entry on the foundations of mathematics.
\begin{enumerate}
\item Syntax and semantics
\item Set theory and Classes
\item Concepts in set theory
\item Index of set theory
\item Logic and Axiomatic theories
\item Category theory
\item Model theory
\item Proof theory: from axioms to results
\item Symbolic computation
\item Theory of computation
\end{enumerate}