Professional Documents
Culture Documents
Computability Logic
Computability Logic
乔治 札帕
日泽
(名)
Computability Logic
(姓)
可计算性逻辑
Lecture course given at Xiamen University
June 19 - July 28, 2007
在厦门大学教的课程
2007 年 6 月 19 号 – 7 月 28 号
0
Episode 1
Introduction
• What is computability logic
• Computability logic versus classical logic
• The current state of develpment
0
1.1
Computability logic ?
?
? Virgin soil ?
? 处 女 地 ? ?
?
?
? ? ?
Answered questions
?
Classical logic ?
?