On Fri, Apr 8, 2011 at 9:08 PM, Russell Wallace <russell...@gmail.com> wrote: > 2. >

What it means is that you need to make sure that any additional typing axioms which you add are of

Russel, Nah, not missing anything, I'm just being impractical, thinking about how numbers would

Sincere apologies for cross-posts. Call for Papers: ================================================

Okay, for the sake of definiteness lets say our reference logic system is HOL Light; it seems to be

Basically yes. Universal and existential statements get translated into lambda: ![X]: p(X) translates

Sincere apologies for multiple postings. ======================= CALL FOR PAPERS ARCOE-11 at IJCAI-11

Hi all, An interesting paper arguing that probability theory is a replacement for logic. http://www.

On Sat, Nov 27, 2010 at 8:37 PM, Ernesto Posse <epo...@cs.queensu.ca> wrote: As with Fuzzy

Hi all, I wrote up my current thoughts on logical systems: http://lo-tho.blogspot.com/2010/08/logical

Hi all, Russel, Luke and I have talked about systems IXI and IG in the past. Recently I've had

On Sun, Jul 4, 2010 at 1:41 AM, Abram Demski <abram...@gmail.com> wrote: > >> >

Hi all, I've written up some musings on merging logical and programming.... http://lo-tho.

On Tue, Feb 2, 2010 at 12:48 PM, Abram Demski <abram...@gmail.com> wrote: > The search

Russel, YKY, all, My evaluation of the Maude language, which I've spent most of today studying.

Luke, Hmm, is it possible to test whether something is a number or not, in an always-terminating way?

Russel, Ah. :) I just got to the part about Huet's lemma. Nevermind what I said about flexible

You've been invited. I don't know when you will get in, though-- Google's process has

YKY What's your answer to these? S6: S6 is true. S7: S7 is true or false. In other words, when a

On Fri, Oct 16, 2009 at 6:10 AM, Abram Demski <abram...@gmail.com> wrote: > Yea, what I

Dear Sirs, -The following is and exposition of Naming Set Theory "NST" -Below it are the

Vladimir, My guess: grab a rant from an apparently related blog. Maybe the search engine that's

On Oct 1, 9:38 am, Abram Demski <abramdem...@gmail.com> wrote: > Zuhair, > > That is a

Russel, Fair point. The "saving all the results" part of the system is just a random

Thinking a bit more about the way the strengthened liar paradox breaks extensional equality, trying

YKY, The hidden assumption I'm using that turns first-order logic into a sort of programming

YKY and I worked out what seems to be the answer to this one in an IM conversation last night; I

These are fairly elementary set theory questions. I have to ask -- is this homework? If so, I

On Mon, Aug 31, 2009 at 7:23 AM, Abram Demski<abram...@gmail.com> wrote: > > Vladimir,

Hi all, The following post about probabilistic knowledge of mathematics was interesting: http://