Recent content by Demiurge

I know that Santa Claus exists because he brings me presents and the Easter Bunny did exist until I ran him over 3 years ago.

I'm not sure that I understand this point. Our method doesn't just have to answer the question with some output for every input, but it has to do it correctly. For example, let us say we're looking for a procedure to answer the question of whether α is valid in first order logic for any...

First, I am pleased to see this topic generating some interest. :) Well, it would seem to outline the limits of effective computation. For a definition of an effective procedure: http://plato.stanford.edu/entries/church-turing/ The Church-Turing Thesis is that a function is effectively...

No, because an undecidable problem is one such than no algorithmic procedure can solve it. If it can be solved by some other means, it is still undecidable in the sense of the word I'm using. I suppose that it does, in some sense, but if from a formal POV it is unable to perform any...

What is your opinion on the divide between continental and analytic philosophy? Do you favor one over the other? Do you think that both sides should draw upon the insights of the other? If anyone doesn't quite know what I'm talking about, examples of paradigmatic continental philosophers...

Ask and ye shall receive. (I just started a thread.) :)

In essence, a decision problem asks whether we can determine for some input whether or not it falls within some particular set using an algorithm. That is, it asks for any arbitrary x of the input type (could be numbers, formulas, etc), is there is a recursive function f such that f(x) delivers...

You answered your own question when you said that despite your subjective experience of time as slower or faster depending on how occupied your mind is, "in reality it's going the same pace."

Lol, strange reaction. I wasn't blaming you personally. One person does not a forum make anyway. This place is a ghost town.

How do you know that the universe is contingent? How do you justify the principle of causality wrt the universe?

This forum really sucks hard these days.

What does this have to do with philosophy?

Right. I'm a bit of a logic nut. Interested in modal logics(esp quantified), relevant logics and paradoxes of the material conditional, many valued logics(including fuzzy), limitative metatheorems in logic and arithmetic, intuitionistic logic, higher order logic, Turing machines, etc.

Anyone else have a strong interest in logic?

Who demonstrated and how?