Logic — math, philosophy & computational aspects

logic, math, philosophy, math games, math help, mathematical logic, philosophy of education, math facts

Archive for September, 2010

NEW BREATHTAKING DISCOVERIES IN EINSTEIN'S WORLD

Who says Einsteinians do not deserve the billions they have got? One
should never forget they destroyed the old stuffy science and replaced
it with the following one:

http://www.freenewmexican.com/news/53809.html :
"….when it comes to Santa Claus’s annual journey, check out how North
Carolina State University professor Larry Silverberg explains the
science and engineering principles behind such a feat.  Getting from
one end of the planet to another with a sleigh drawn by nine reindeer
would be possible through advanced knowledge of electromagnetic waves,
the space-time continuum, nanotechnology, genetic engineering and
computer science. But Silverberg is not so naive as to think that
Santa and his reindeer can travel approximately 200 million square
miles — making stops in some 80 million homes — in one night.
Instead, he posits that Santa uses his knowledge of Albert Einstein’s
theories to form "relativity clouds." "Based on his advanced knowledge
of the theory of relativity, Santa recognizes that time can be
stretched like a rubber band, that space can be squeezed like an orange
and that light can be bent," Silverberg says. "Relativity clouds are
controllable domains — rips in time — that allow him months to
deliver presents while only a few minutes pass on Earth. The presents
are truly delivered in a wink of an eye."

Pentcho Valev

posted by admin in Uncategorized and have Comment (1)

Crank Alert [Sylvia Else] – Dec 16, 2006, 9:35 EST

Another crank by the name "Sylvia Else" was identified  by Crank Alert:

"The faster you go, the more energy you need for any given increase in
momentum. Beyond a certain point, it’s just not worth the effort,
particularly
when you can get anywhere in no time at all anyway. Besides, there are
laws…. "

http://groups.google.gr/group/sci.physics/tree/browse_frm/thread/e507…

Crank Alert is a free service by Crank Hunter

posted by admin in Uncategorized and have Comments (5)

Could I be dreaming?

– Can’t always be dreaming

It would not make sense to say that my whole life is a dream. If I were
dreaming all the time, then I would have no concept of a dream: I would
have nothing with which to contrast dreaming since I would have no
concept of being awake. We can only make sense of the idea of a forged
banknote when genuine banknotes exist with which to compare it;
similarly the idea of a dream only makes sense when we can compare it
to waking life.

This is true, but it does not destroy the sceptic’s position. What the
sceptic is arguing is not that we might be dreaming all the time, but
rather that at any one moment we cannot know for certain whether or not
we are actually dreaming.

PHILOSOPHY: THE BASICS
Nigel Warburton
http://www.amazon.com/gp/product/0415146941/

posted by admin in Uncategorized and have Comments (24)

The Set of all Sets & Cantor's Proof

I just got finished reading (for a second time) "The Joy of Sets" by
Keith Devlin (ISBN: 0387940944) and enjoyed it very much.  In its final
chapter, Devlin gives a brief overview of Non-Well-Founded Set Theory,
mostly following Aczel’s treatment of the subject.

The chapter, although interesting, left me with a couple of unanswered
questions:

1.  Does Aczel’s (or anyone else’s) theory truly allow for "the set of
all sets"?
2.  And if so, how does this theory get around Cantor’s proof that for
any set s, |P(s)| > |s|?  (It would need to since obviously the power
set of the set of all sets would simply be itself.)

posted by admin in Uncategorized and have Comments (19)

Re: Choice

- Hide quoted text — Show quoted text -

galathaea wrote:
> George Dance wrote:
> > [This article was originally by the Ontario Libertarian Party under the
> > title "The Party of Choice', and opened with this paragraph:  "The
> > Ontario Libertarian Party is proud to be known as 'The Party of
> > Choice.' Choice is what we stand for, and promoting choice is why we
> > exist."  Permission is granted to any libertarian organization, list,
> > or website to reprint in full or part without changes (other than the
> > name of the organization)]

> > Choice means both "an act or instance of choosing between alternatives"
> > and "a range from which to choose" (Canadian Oxford Dictionary). "To
> > choose" means to "select from a number of alternatives," "decide,"
> > "like," and "prefer."

> > Human choice is always individual, as only individual minds can choose.
> > Libertarians consider the recognition of, respect for, and protection
> > of individual human choice to be the highest political good.

> > Why the highest good? Because choice appears necessary for so many
> > other things that we consider good. Indeed, it is hard to separate the
> > idea of choice from that of good: If you (or I) consider something (X)
> > to be good, that is only because you (or I) have chosen X as a good;
> > believing that X is a good necessarily also means believing that
> > choosing X is good. Whatever we value in life, we value by our own
> > choice, and in valuing it we also value our own choosing.

> it is interesting that this can be formalised modally

> let X represent "X is a goal"
> and []X "it is chosen that X is a goal"

> then the statement above becomes

> X -> []X

> (only if)

> now X \/ Y -/-> [] ( X \/ Y )
> but would it be valid that

> X \/ Y -> []X \/ []Y ?

> it does seem that

> X /\ Y -> []( X /\ Y )

> this is already an interesting modal logic
>   that seem in some ways dual to lob derivability

I’m glad someone noticed the underlying logic.  To tell you the truth,
I did map out the earlier paragraph in modal logic before writing it.
For that purpose, I defined an operator [C] "choose" such that
[C]A =df. [B][O]A.
"To choose A is to believe that A ought to happen"

B’s an operator of doxastic logic, and O of deontic.  Both use modal
D4.  Accordingly, [C] is an operator of D4, which means one has the
axiom:
[C]A <=> [C][C]A
"To choose A is to choose choosing A."

That S4 axiom is the support for the above claim.

- Hide quoted text — Show quoted text -

> > Choice is necessary not only for ourselves, but for everyone.
> > Respecting the choices of our friends, family, neighbours – indeed, all
> > of humanity – seems essential to respecting them as persons. Honouring
> > the choices of others seems a necessary part of the idea of morality.

> > Equally, choice looks fundamental to the idea of justice. Phrases like
> > "he brought it on himself" or "you made your bed, now lie in it"
> > reflect a basic intuition that it is just for people to experience the
> > consequences of their own choices. Similarly, we consider it unjust to
> > hold people responsible for actions they did not choose to commit, or
> > had no choice but to commit.

> > As well, choice appears necessary to human progress and abundance.
> > Without the ability of humans to imagine and act on preferred
> > alternatives, we would literally still be living in caves. All
> > creativity, all advancement, every new idea and invention, exists only
> > because of the power of choice. The market and the price system – an
> > economy directed by nothing more than individual choices – make those
> > ideas and inventions widely available, empowering us to live without
> > the age-old fears of starvation, poverty, and disease.

> > Despite all this, some people worry about choice – perhaps not about
> > choice in general, but quite often about there being "too much" choice.
> > One worry is that people’s choices often conflict. Letting everyone act
> > on their own choices seems to lead to disagreement and conflict; some
> > principle that can override individual choice is required to solve this
> > type of conflict.

> > That is a legitimate concern.  Libertarians agree that there should be
> > rules and principles governing choice; what they deny is that any of
> > these rules trump the principles of choice.  Rather, they are required
> > by that principle itself.  As choosing to do Y means choosing to use
> > one’s mind and body to do Y, respecting another’s choice means
> > respecting his (or her) right to shoose what to do with his own mind
> > and body. What John wants to do to himself is a matter of his own
> > choice; but what John wants to do to Mary is not simply a matter of
> > John’s choice, but also (and more importantly) of Mary’s.

> > The idea of choice requires the complementary idea of individual human
> > rights – of what philosopher Robert Nozick calls the ‘moral space’
> > within which each person is governed solely by his own choices. In
> > turn, the idea of human rights helps define, securing as well as
> > limiting, the scope of everyone’s freedom of choice.

> > Acting on one’s choices requires not just moral but also physical
> > space, and (often) access to physical things. Human choices on how to
> > use these spaces and things are a fertile source of conflict. So choice
> > requires property rights, as a necessary part of human rights.

> > A second objection is that some people make bad choices – some choose
> > to rob, some to murder, some to defraud. Why should those choices be
> > respected?

> > But this second objection is just a special case of the first – that
> > choices conflict in some cases – with the same solution. Recognizing
> > the principle of human rights, means recognizing that choices which
> > violate the human and property rights of others, should not be
> > respected, or even permitted – not because one person’s choice is not
> > important (it is), but , but because everyone elses’ choices are
> > equally important.

> > That leads to the Libertarian theory of law: that actions which violate
> > the rights of others, should be legally forbidden, while those that do
> > not should be left alone. What is important, in judging a law good or
> > bad, is the nature of the acts it forbids. Does an action affect only
> > the person acting, or only those who consent (or choose) to be
> > affected? Then it should not be interfered with. Does it hurt those who
> > have not consented? Then it should not be allowed. Whom an action
> > affects; where it takes place (in one’s home? on a public
> > street-corner?); and whose property it uses; are what the law should
> > consider when judging any action.

> > In this way, the Libertarian theory of human and property rights makes
> > possible a free society, one based on and maximizing individual choice.
> > That society of choice, in turn, makes possible the realization of
> > those other values of respect, morality, responsibility, freedom,
> > harmony, and abundance.

> i tend to look at the pathological cases
>   the slippery slopes and such

> i see a demented witch atop her hill
>   with a strange machine that sucks away
>   the oxygen that enters her property

> she runs the machine for years
>   eventually decreasing the oxygen across the planet

> we know that no oxygen kills
>   but lets say she keeps this above harm of humans

> is this an acceptable choice?

> what if it hurts animals other than humans?
> plants?

> which leads another slippery slope…

> why does this right of choice only extend to humans?
> we can still kill and eat plants and animals right?

> is this a genetic thing?
> can we eat genetically mutated babies
>   that can no longer procreate
>   or be considered a part of the genetic species?

> just some questions…
> good article!

> -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
> galathaea: prankster, fablist, magician, liar

posted by admin in Uncategorized and have Comments (2)

The plan to release the book "Concept Algebra"

The book "Concept Algebra" as some one called milestone of logic
research will be released since today. The publish plan appeared at
follows.

The Part One Chapter One of book "Concept Algebra" has been
released at following web side
http://conceptalgebra.blog.sohu.com/25389071.html
The affirmative law theorem was proved and all of the axioms on Boolean
Algebra were reasoned on the concept algebra at this chapter. This is
also proved that the Boolean algebra is sub algebra of concept algebra.

For reader’s familiarity with the logic operations, I will release the
Part Three "Logic Algebra" after publishing Part One Chapter One.
As mentioned before the Logic Algebra is got from Concept Algebra
directly.

posted by admin in Uncategorized and have Comment (1)

STEPHEN HAWKING'S LOGIC OR FRAUD?

Stephen Hawking:
http://www.hawking.org.uk/lectures/dice.html :
"Both Mitchell and Laplace thought of light as consisting of particles,
rather like cannon balls, that could be slowed down by gravity, and
made to fall back on the star. But a famous experiment, carried out by
two Americans, Michelson and Morley in 1887, showed that light always
travelled at a speed of one hundred and eighty six thousand miles a
second, no matter where it came from. How then could gravity slow down
light, and make it fall back."

The experiment of Michelson-Morley contradicts the idea that the speed
of light varies with position in a gravitational field? Does Stephen
Hawking really think so (then his logical capacities are much below
average) or do we have a deliberate fraud? The latter possibility is
more probable – he surely knows what his brothers relativists teach:

http://www.physlink.com/Education/AskExperts/ae13.cfm
"So, it is absolutely true that the speed of light is _not_ constant in
a gravitational field [which, by the equivalence principle, applies as
well to accelerating (non-inertial) frames of reference]. If this were
not so, there would be no bending of light by the gravitational field
of stars. One can do a simple Huyghens reconstruction of a wave front,
taking into account the different speed of advance of the wavefront at
different distances from the star (variation of speed of light), to
derive the deflection of the light by the star.
Indeed, this is exactly how Einstein did the calculation in:
"On the Influence of Gravitation on the Propagation of Light," Annalen
der Physik, 35, 1911.
which predated the full formal development of general relativity by
about four years. This paper is widely available in English. You can
find a copy beginning on page 99 of the Dover book "The Principle of
Relativity." You will find in section 3 of that paper, Einstein’s
derivation of the (variable) speed of light in a gravitational
potential, eqn (3). The result is,
c’ = c0 ( 1 + V / c^2 )
where V is the gravitational potential relative to the point where the
speed of light c0 is measured."

http://math.ucr.edu/home/baez/physics/Relativity/SpeedOfLight/speed_o…

"Einstein went on to discover a more general theory of relativity which
explained gravity in terms of curved spacetime, and he talked about the
speed of light changing in this new theory. In the 1920 book
"Relativity: the special and general theory" he wrote: . . . according
to the general theory of relativity, the law of the constancy of the
velocity of light in vacuo, which constitutes one of the two
fundamental assumptions in the special theory of relativity [. . .]
cannot claim any unlimited validity. A curvature of rays of light can
only take place when the velocity of propagation of light varies with
position. Since Einstein talks of velocity (a vector quantity: speed
with direction) rather than speed alone, it is not clear that he meant
the speed will change, but the reference to special relativity suggests
that he did mean so."

Pentcho Valev

posted by admin in Uncategorized and have Comments (16)

Question about model with most little domain

Hello,

I’ve got a question about an exercise about models with most little
domain.

This is the topic of this exercise :

This the formula F = Exist x   P(x) and  ForAll ( P(x) or Q(z) )  and
Neg P(a)  and  Neg P(b)
with a, b that are constants.
Find a model of F with the domain the most little possible.

My problem is that I don’t arrive to begin the exercise. How can I
begin ? Someone could help me with some indications ?

Thanks for your help.

Sylvain

posted by admin in Uncategorized and have Comments (5)

Wanted gay boyfriend 17 years old up str/Hr

Hi I’am Arturo Magidin

And I live in California, I’am looking for a gay  male 17 years old and

up 28 for STR /LTR for boyfriend and frinedship /life partner who is
clean hiv- and have no medical problems. I’am looking for a black male
who is open minded honest and truthful and wants a relationship /
loving partner and live in California or interested casual sex while
visiting canada.

I’am 6’3 tall short brown hair brown eyes and 265 lbs and have a nice
cut cock 6 inchs plus ,I enjoy sex like showers oil rubs and nude
suntanning during the summer and swimming, enjoy outdoors camping
and some moutain bike riding, also into patio gardening, cooking,and
photography and many other things..ho model railway computers etc..

I’am looking for a 17year old or older gay guy who is interested in
spending time and living with me I’am not into drugs and an a diabetic
and have good health overall.

I’am very caring honest type gay guy and looking for the same maybe
someone who wants a dad and son relationship type thing, but open to
casual sex if you are visiting my University Berkeley too..I’am a good
catch to a lucky gay guy if you want to get to know me more:)

Please send a digital picture and more imformation about yourself..I’am

not into playing head games or such things :) runaways
welcome
======================================================================
"It’s not denial. I’m just very selective about
 what I accept as reality."
    — Calvin ("Calvin and Hobbes" by Bill Watterson)
======================================================================
Arturo Magidin
magidin-at-member-ams-org

posted by admin in Uncategorized and have Comments (7)

happiness in life is equivalent to order Re: Optimal Strategy for playing stockmarket via VonNeumann;

 Portfolio of PAF as of 7DEC 06

BCE  13,610
T         8,510
SGP    910
total share-wealth-units last reported which was 27NOV06 23,130
total share-wealth-units today 23,030
realestate land 3APR03 of 3 lots $19,000.
science-art of pictures,porcelain etc starting JAN03 for $17,556.
realestate land 30JUL03 another lot $11,500.
realestate land Sept05 another lot $75,000.

Yesterday, thursday, I sold 100 shares of SGP for 22.67 per share. I
hate doing that because the Optimal Strategy involves a continual
increase in numbers of shares,  via switching. But the problem is that
the portfolio is on a budget ever since Sept 05 with the  purchase of
real-estate. But it is good that I experience another episode of
budgetting in my life, to get a feel of budgetting. I do not like it
that much because it crimps my lifestyle but then again that
real-estate is what I most value at this moment in life, in order to
landscape it with trees.

You see, when I go and am gone, it is the landscaping I want to have in
order before I go. Not extra money or finances in the stockmarket, but
rows and rows of trees and bushes and buildings. As well as my science
contributions.

As so many others have said before they departed " leave the place in
better shape than when you arrived"

And "happiness" the concept of happiness has a scientific definition.
It is equivalent to that of order and progress in order. In other words
"order" is happiness and it can be in social order or financial order
or family order or self order, etc etc

Archimedes Plutonium
www.iw.net/~a_plutonium
whole entire Universe is just one big atom
where dots of the electron-dot-cloud are galaxies

posted by admin in Uncategorized and have No Comments