[Computational Logic and Computability Logic] - A New Kind of Science: The NKS Forum

A New Kind of Science: The NKS Forum

Pages:1


Computational Logic and Computability Logic

(Click here to view the original thread with full colors/images)


Posted by: Lawrence J. Thaden

How does Mathematica relate to Computational Logic
(CL) ?


Is it the same as computability logic?

Giorgi Japaridze of Villanova University defines computability logic this way:

“…computability logic is a formal theory of computability in the same sense as classical logic is a formal theory of truth.”




Forum Sponsored by Wolfram Research

© 2004-2008 Wolfram Research, Inc. | Powered by vBulletin 2.3.0 © 2000-2002 Jelsoft Enterprises, Ltd. | Disclaimer
vB Easy Archive Final - Created by Xenon and modified/released by SkuZZy from the Job Openings