... I'm just pointing out that the New Scientist's "Senior Consultant" is making strange assertions. 1. His statement about how much of the brain is involved...
... (((hmmm...))) (((that no brains (living) exist outside of bodies (alive) says something))) (((what, i'm not sure...))) (((perhaps we need a brave volunteer...
... (although some philosophers like to assert this). ... something))) ... Well instead of hacksawing your skull open and and yanking out your brain maybe we...
... wrote: ... wrote: On Apr 11, 2008, at 4:25 PM, henry quirk wrote: ALUN ANDERSON Senior Consultant, New Scientist Brains cannot become minds without bodies ...
... So what? I think that you're missing the point (if any) of ALUN ANDERSON's argument. Besides, simulated worlds aren't very limited. Suppose the simulated...
A better question might be, is the physical necessary for the metaphysical? I submit that it is; what exists, does so by some fundamental necessity of the...
... Boom! Computational explosion. But suppose we lay on infinite computational power. Those axioms, principles and facts came from real world science, which,...
... I had similar thoughts but not being a mathematician decided not to make comment. I did have this vision however of the disembodied physicist AI writing...
... is based on some axioms of mathematics. Then there are a countably infinite number of theorems to conjecture, prove, and learn. ... a few hundred facts...
From The Stanford Encyclopedia of Philosophy http://www.seop.leeds.ac.uk/archives/spr2004/entries/logic- intuitionistic/ Intuitionistic Logic Intuitionistic...
On Saturday, May 03, 2008 9:30 PM Jim Bromer cited in ai-philosophy: JB>> "In his 1912 essay Intuitionism and Formalism Brouwer correctly predicted that any...
Although I am not that concerned with intuitionist logic vs classical logic, I have recently developed a better appreciation of the possibility that Turing's...
On Sunday, May 04, 2008 6:23 PM Jim Bromer wrote in ai-philosophy: JB>> But, doesn't the incompleteness of the finitary model follow by its definition? <<JB ...
I've been working on my master thesis and trying to decide whether there is a formulation that is *not geometrical* to define pi. I know the approximations...
... Hi Ozge: I'm not sure what you mean by "a formulation that is *not geometrical*", but why not write a program which outputs the digits of pi? Such a...
You can represent infinite sets as data structures in Haskell or Scheme I think. If you define pi as an infinite set that can be computed on demand is it a ...
TARIK Ă–ZKANLI
tozkanli2023@...
May 7, 2008 8:43 am
15356
Dear Tarik, I will try to read more about these languages, but what I get from the review of Haskell that you use magnitudes of infinite sets? Am I correct?...
... Limiting approximations to pi are feasible. The ancient Greeks used the ength of the sides of two regular polygons of n sides, one inscribed within the...
... No mam, I think have to disagree. How would you go about showing that these are not the same *pi*? ... What would be non-synthetic geometry? That's the...
I have to think about Bhup's remarks a while longer before I reply to them. However, I want to say, that I cannot see a good reason to use three-state logic...
... Computers are inherently binary system. But this fact about computers does not rule out computation within multivalued logic systems. You just need at...
... I would not use logic in an AI program just to represent 'Known Fact' or 'Unknown Fact' any more than I would use logic to represent True (as in Absolutely...
What is interesting to me is not the Platonic notion of pi as the ratio of the diameter to the circumference as ideals independent from reality. Instead I am...
Yes, I know this approximation. So maybe this could correspond to the algorithmic approximation of pi? I cannot see the relation between the algorithm "given...
Having problems with message search?
Fill out this form to ensure your group is one of the first to be migrated to the new message search system.
