Skip Navigation
Falvey Library
Advanced
You are exploring: Home > Blogs

Dig Deeper: Outstanding Faculty Research Award Recipient, Dr. Giorgi Japaridze

GIORGIBLOG-EVITE

On Tuesday, April 21 at 2 p.m., an Outstanding Faculty Research Award lecture featuring this year’s recipient Giorgi Japaridze, PhD, professor of computing sciences will be held in the Reading Room of Falvey Memorial Library. Dr. Japaridze will discuss the extensive research that led him to win the coveted Outstanding Faculty Research Award in 2015.

Tailored for a general audience, Dr. Japaridze’s talk “Computability, Logic, and Computability Logic” will give an overview of the new line of research introduced by the speaker several years ago, named “Computability Logic.” In the same sense that traditional logic is about providing a systematic answer to the question “What is (always) true?” Computability Logic is about providing a systematic answer to the more general question “What can (always) be computed and how?” This is a long-term program for rebuilding logic into a comprehensive formal theory of computability. Light refreshments will be served.

This event, co-sponsored by Falvey Memorial Library, the office for Research and Graduate Programs (ORGP), is free and open to the public.

To read up on Dr. Japaridze’s topic of research, check out the links below, selected by science librarian Alfred Fry.


Dig Deeper

Dr. Japaridze’s page on Computability Logic:

http://www.csc.villanova.edu/~japaridz/CL/

Game Semantics for Linear Logic?
http://www.csc.villanova.edu/~japaridz/CL/gsoll.html

Graduate Course Lecture Notes
http://www.csc.villanova.edu/~japaridz/CL/clx.html#Lecture_notes

“In the beginning was game semantics” by Giorgi Japaridze
http://arxiv.org/abs/cs/0507045

Wikipedia
http://en.wikipedia.org/wiki/Computability_logic


Dig Deeper resources provided by Alfred Fry, science librarian.


Like

0 Comments »

No comments yet.

RSS feed for comments on this post. TrackBack URI

Leave a comment

 


Last Modified: April 20, 2015

Ask Us: Live Chat
Back to Top