Incompleteness and Computability
Textbook for Calgary's Logic III course based on the Open Logic Project. Covers recursive function theory, Gödel's incompleteness theorem, models of arithmetic, and second-order logic.
This repository/directory only contains the LaTeX files and illustrations needed to typeset the textbook Incompleteness and Computability, which in turn requires the Open Logic Text.
To install and compile:
- Download/install the Open Logic Text from GitHub, including photos if you want those.
- Navigate to the subdirectory
- Put the content of this repository into a subdirectory of it, say
If you use
git, this should do it:
# git clone https://github.com/OpenLogicProject/OpenLogic.git # cd OpenLogic/courses # git clone https://github.com/rzach/phil479.git # cd ../assets # git clone https://github.com/OpenLogicProject/photos.git
courses/phil479, you can now compile:
# pdflatex phil479-screen
# make if you have
latexmk installed. (You'll also have to
makeglossaries phil479-screen to get the glossary, and
bibtex phil479-screen for the bibliography.)
phil479-screen.tex produces a color version of the text
with smaller margins for screen reading.
phil479-print produces a
black-and-white version designed for printing on Crown Quarto stock
The file loads
phil479.tex, which contains the actual material. It
in turn includes other files, most of them from the
repository. So you won't get a complete book unless you download into
the right subdirectory of and compile from there.
Incompleteness and Computability by Richard Zach is licensed under a Creative Commons Attribution 4.0 International License.