Semantic Web Interest Group IRC Scratchpad

Welcome to the Semantic Web Interest Group scratchpad generated automatically from discussions on IRC at irc.freenode.net port 6667 channel #swig by the chump bot, instructions in the chump user manual. Please use UTF-8 charset on IRC and pastebin for code or data more than 10 lines long.

Nearby: IRC logs (Latest) | semantic-web list | W3C Wiki (Recent changes) | delicious swigbot

last updated at 2002-01-26 06:55
DanCon: does this mean there's hope that webmasters will learn to use GET?
 
DanCon: I'm curious about the semantics. How are they different from FOPL?
DanCon: "Brouwer correctly predicted that any attempt to prove the consistency of complete induction on the natural numbers would lead to a vicious circle."
DanCon: PatH kept telling me induction wasn't 1st order. Took me about 6 or 12 months to grok.
DanCon: "constructive independence of the logical operations &, <http://plato.stanford.edu/entries/logic-intuitionistic/vel.gif> , <http://plato.stanford.edu/entries/logic-intuitionistic/ra.gif> , <http://plato.stanford.edu/entries/logic-intuitionistic/forall.gif> , <http://plato.stanford.edu/entries/logic-intuitionistic/exists.gif> . "
DanCon: "Some Semantics". Hmm... sorta tricky, but not incomprehensible. I think. I'd have to do some larching to be sure.
bijan: The semantics are similar to Prolog with negation-as-failure.
 
Created by the Daily Chump bot. Hosted by PlanetRDF.