This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||||||||||||||||||
|
Today (7 Oct. 2016) I updated the references list. It is long compared with the article itself, but I intend to significantly expand the content of the article. The entry is not marked as a stub but it is in fact a stub. User:Anastz5
The characterization of classical logic as a "formal theory of proof" seems to me to be quite wrong, especially given that classical mathematics is largely (entirely?) proof-irrelevant. I think it would be better to characterize classical logic as a "formal theory of truth" and, if proof must be mentioned, to characterize intuitionistic logic (or perhaps intuitionistic type theory) as a "formal theory of proof". Intuitionistic logic is often differentiated from classical logic precisely because it dispenses with the concept of truth in favor of provability. ---- 174.126.108.52 (talk) 07:06, 11 July 2013 (UTC)
I find the remarks of the two skeptics below subjective and unsubstantiated. In any case, they have been made three years ago and time has clearly spoken in my favor who at that time criticized those comments. I have just harvested and added a dozen new references. The sheer volume of those publications, and the prestige and quality of their venues (as high as one can go), speak for themselves. Note that all but one of the numerous papers from the References list appeared during the last three years, after the following discussions took place. This is a new but rapidly evolving project.
For the same reason, this Wikipedia article should probably be labeled as a stub. It should be made longer and more informative. Including some examples and illustrations would be good. I am not a good writer, so hope somebody else can help here. ---- David. November 10, 2008.
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.
I have read 5+ papers on computability logic (over 300 pages altogether!), and I find that stuff superior-quality. It is probably premature to guess whether it is going to eventually make a real impact, but it certainly does deserve the few bytes of wiki space that it takes. It is a shame that there is so little material on logic here, so why not welcome more articles like this one? Look at some other areas, where every little thing, event or word has a separate article devoted to it.
As for self-advertising, I share User:Charles Stewart's doubts. A researcher who publishes in APAL and TCS is unlikely to bother advertising here. The experts he would want to impress trust journals and not wikipedia. Also, this wiki article is not quite written in a professional style, and is fairly incomplete. Looks more like a student's work to me. And in any case, if scientists stop being lazy or arrogant and start writing on at least their own work for wiki, that would only be better for the quality, breadth and depth of articles. ---- David. November 13, 2005.
Here is the expert User:Charles Stewart's opinion:
PS. A point about the "no research" rule: the interpretation given at the authoritative Wikipedia:What Wikipedia is not says:
Though I appreciate the list of relevant papers, I've seen such things criticised in the past as not what Wikipedia is for. They should be incorporated into the article so that they are not deleted.
Hello fellow Wikipedians,
I have just modified one external link on Computability logic. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:
When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.
This message was posted before February 2018. After February 2018, "External links modified" talk page sections are no longer generated or monitored by InternetArchiveBot. No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below. Editors have permission to delete these "External links modified" talk page sections if they want to de-clutter talk pages, but see the RfC before doing mass systematic removals. This message is updated dynamically through the template ((source check))
(last update: 18 January 2022).
Cheers.—InternetArchiveBot (Report bug) 04:02, 5 September 2017 (UTC)