https://bugzilla.wikimedia.org/show_bug.cgi?id=46014
Zark Khullah <khul...@gmail.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |khul...@gmail.com
--- Comment #7 from Zark Khullah <khul...@gmail.com> ---
I have seen the same inconsistency with the article
http://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence
Reading the article, it shows this text:
"In programming language theory and proof theory, the Curry–Howard
correspondence (also known as the Curry–Howard isomorphism or equivalence, or
the proofs-as-programs and propositions- or formulae-as-types interpretation)
is the direct relationship between computer programs and mathematical proofs.
It is a generalization of a syntactic analogy between systems of formal logic
and computational calculi.
It is the link between Logic and Computation that is usually attributed to H.
B. Curry and W. A. Howard, although the idea is related to theoperational
interpretation of intuitionistic logic given in variousformulations by Brouwer,
Heyting and Kolmogorov.
Origin, scope, and consequences (...)"
When I try to edit, the code shows (in visual edit OR source edit):
"In programming language theory and proof theory, the Curry–Howard
correspondence (also known as the Curry–Howard isomorphism or equivalence, or
the proofs-as-programs and propositions- or formulae-as-types interpretation)
is the direct relationship between computer programs and mathematical proofs.
It is a generalization of a syntactic analogy between systems of formal logic
and computational calculi that was first discovered by the American
mathematician Haskell Curry and logician William Alvin Howard.[citation
needed]
Origin, scope, and consequences (...)"
Comparing the two last edits, it can be seen that the text shown is not from
the latest edit, but the previous one.
Revision as of 08:01, 18 August 2013 (oldid=569063806)
Latest revision as of 08:01, 18 August 2013 (oldid=569063819)
Hope this helps confirm the reported bug.
--
You are receiving this mail because:
You are on the CC list for the bug.
You are the assignee for the bug.
_______________________________________________
Wikibugs-l mailing list
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
