Symbolic Logic B
You can view this site just like any web site. If you want to be able to edit it, you must register. Once you have a WikiName and password, all you have to do is click the edit link above. Most mathematical symbols can be displayed using the LatexModePlugin, which accepts most LaTeX constructs. There is a quick tutorial on the LaTeX page. The symbols should display correctly in any browser. If you have trouble let ShaughanLavine know. Here is a list of TWiki TextFormattingRules.
-- ShaughanLavine - 06 Jan 2005
FirstDay
SecondOrderLogic
IntuitiveComputability
RegisterMachines
ChurchTuringThesis
GödelNumbering
UnsolvabilityoftheHaltingProblem
ComputationalComplexity
FirstOrderLogic
HomeworkReview
UniversalMachinesEtc
ReducingOneProblemtoAnother
TrahtenbrotsTheorem
TheoriesandDecidability
UndecidabilityofArithmetic
Gödels
Function
MidtermExamAnswers?
ArithmeticandRecursion
GödelsMethods
Rice'sTheorem
Announcement:
I will not be here 6--20 March and 25 March.
In regards to our first homework assignment (and homework in general), how formal should our proof format be? Do you have any guidelines in what you expect from the homeworks?
Branden M. Jordan
As we develop more formalism, the standard will become clear. I admit that it is not for this first homework, which concerns an informal notion of procedure.
-- ShaughanLavine - 31 Jan 2005
I also think it would be helpful to have a section of the Wiki dedicated to posting homework excercises that have been assigned.
Branden M. Jordan
It had been my intention to demarcate the homework as is now done on the IntuitiveComputability page. I thought I had done so, but I apparently forgot to save. If you want something more, feel free to go right ahead.
-- ShaughanLavine - 31 Jan 2005
Also, for those interested, there is a helpful index of many of the symbols we will come accross in this class at the end of the book. This should help clarify things for those of us who are just getting acquainted with such symbols.
Branden M. Jordan