Math Forum / Mathematics / Mathematical Logic / February 2005

Is so, can someone stetch out a proof starting from PA?
Dan

i need some help with the question below;
implement and test a turing machine to decide;
L = {w|w contains an equal number of 0's and 1's }
how could i do this using jflap, or could someone send me a link to a

Math lovers, I want to share this quiz.
Answer simple math questions Fiona will strip for you.
http://www7.kinghost.com/lesbian/hotspot/sexquiz/quiz44.html
Stupid but funny. Math and girls DO go together.

Say a set S of reals is "measure-perfect" if
  i)  S is closed, and
  ii) for every x in S and every open nbhd U containing x,
      U intersect S has positive measure

I have earlier told that quantity relation logic
can be used to prove syllogisms. As, as far I
know, there are no other logic available to do
this I've make myself an exercice of it. This

I *think* the following is true -- if x is a noncomputable
real, then the set of y such that x is computable wrt y has
measure 0.  Or equivalently, a random real (in the sense of
forcing) does not compute any noncomputable real from the

does this make sense: when you're trying to find the truth set of a
proposition P(x) (for example, an equation or an inequality), you
proceed by steps that are either revesible (<=>) or non-reversible
(strictly => or <=) -- then does this follow? : if you proceed by <=>,

Hi.
I have a quesion concerning the rule of implication introduction for
NK. I know that the rule schematically is:
    j         (j) p

I am looking for a research-oriented summer internship in the area of
VLSI-CAD, logic and layout synthesis. I am a Ph.D. student.
If anybody knows of an opening, I would greatly appreciate that.
Thanks.

COPYRIGHT NOTICE
Lie Bracket Generalized in Logic
Copyright By Owner Osher Doctorow Ph.D.

Is the disjoint union of uncountable totally imperfect sets necessarily
totally imperfect?  Recall that a set is totally imperfect if it
contains no non-empty perfect subset.  Since a subset of a totally
imperfect set is clearly totally imperfect, if the union of uncountable

Does Sqrt(2) exist in Constructive Mathematics? Proofs have to be finite
AIUI, so unless we artificially augment the postulated objects, irrational
numbers do not exist in CM.

We know that the December 2004 Tsunami took approximately 160 000 lives
and that a Tsunami is caused by an underwater earthquake.
And who says that an earthqake is a natural disaster and not man made
terrorism? If terrorists use lasers and beam it long enough in a

Is there anybody familiar with Richard's antinomy, and how it was
resolved by logicians?
I noticed that there are alternative ways to formalize the argument,
making it even more interesting from a metamathematics point of view. I

I posted this posting yesterday, but the SEGNPMSS stole it. Here is it
again.
President Bush appointed yesterday a national Intelligence Director,
John Montenegro. There is no doubt that this position was very