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%$\beta$%Function

MidtermExamAnswers

ArithmeticandRecursion

GödelsMethods

Rice'sTheorem

SymbolicLogicBSyllabus2005

Announcement:

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