Graduate student Lauren Palcho has been presented the Outstanding Graduate Independent Study Award. Lauren competed against the dozens of students who completed their studies during the 2008 academic year. She won for her study entitled The Logic of Computability. Dr. Giorgi Japaridze was her advisor.
Lauren's work began with a study of Dr. Japaridze's work in Computability Logic. The base of her studies was Dr. Japaridze's paper "In the beginning was game semantics'' as well as his lecture notes for a graduate course which he taught in Computability Logic during Summer 2007. Lauren created a report which summarized Computability Logic, its semantics, and, for the logic fragment CL3, its syntax. A logic theory CA3 was defined to illustrate the use of Computability Logic in developing a formal system of computability in arithmetic. Finally, three proofs in the formal system CA3 were presented: computability of addition, of multiplication, and of determining the property even vs. odd.
See the full story.
