[OpenLogic] News

[Richard Zach]

Hi all,

1) I talked to Dana who said she's got some time to do some work, so I 
suggested she meet up with Nicole to get last term's notes/corrections 
into the repository.

2) Assuming that these include Turing machines, I've also tasked her to 
find the best/easiest/standard way to LaTeXify the state transition 
diagrams. If anyone's got ideas/suggestions for that or other 
Turing-machine-diagaram-related stuff, let her/us know.

3) Reminder that a) the functionality to automatically replace words 
(eg, formula/wff or stucture/intterpretation/model is there---to make 
the best use of it we should have a list of which words/terms should be 
so treated. Please add your favorite tokens to the end of: 
https://github.com/OpenLogicProject/OpenLogic/wiki/Tokenized-Text

4) Jeremy Avigad is going to provide the notes to his two advanced logic 
courses as well, so we'll have material for incompleteness and recursive 
functions as well.

-R

-- 
Richard Zach ..... http://www.ucalgary.ca/~rzach/
Professor,             Department  of  Philosophy
University of Calgary, Calgary AB T2N 1N4, Canada