Jump to content

Talk:Computability logic

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Charles Matthews (talk | contribs) at 08:21, 5 October 2005 (pipe to actual username). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

This entry strikes me as self-advertising by Mr. Japaridze. There are quite a few "computational logics" like this one; an expert should decide whether Mr Japaridze's theory is such a break-through as to deserve a single entry to itself.

We have User:Charles Stewart's opinion on this. Charles Matthews 08:20, 5 October 2005 (UTC)[reply]