Dig Deeper: Outstanding Faculty Research Award Recipient, Dr. Giorgi Japaridze
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.
0 Comments »
No comments yet.
RSS feed for comments on this post. TrackBack URI