Back


Newsgroup sci.math 157126

Directory

Subject: Re: Math tricks/jokes? -- From: David Kastrup
Subject: Nonlinear optimization -- From: MVOORN@kub.nl (VOORNEVELD M.)
Subject: Re: Non reversable mathematics? -- From: lange@gpu2.srv.ualberta.ca (U Lange)
Subject: Re: Cute Proofs... -- From: gotd@jimmy.harvard.edu (Godfrey Degamo)
Subject: Re: Angle trisection -- From: grubb@lola.math.niu.edu (Daniel Grubb)
Subject: Re: Complex Question ! -- From: ikastan@alumnae.caltech.edu (Ilias Kastanas)
Subject: Re: Cardinals Was: Re: WHAT IS AN INTEGER (STUPID QUESTION) -- From: ikastan@alumnae.caltech.edu (Ilias Kastanas)
Subject: Re: Geometry Software -- From: phil kenny
Subject: Re: Roman Numerals -- From: Richard Mentock
Subject: Re: Symbolic Integration I -- From: "Jerry Kovacic"
Subject: Re: Roman Numerals -- From: daly@PPD.Kodak.COM (Matthew Daly)
Subject: Re: Science Versus Ethical Truth. -- From: mlerma@math.utexas.edu (Miguel Lerma)
Subject: Re: Statistics Books -- From: John
Subject: 1/0 helps you catching your bus! -- From: fc3a501@GEO.math.uni-hamburg.de (Hauke Reddmann)
Subject: Re: paradox -- From: Dave Bergacker
Subject: Re: 1 / 2^.5 or 2^.5 / 2? -- From: "John D. Goulden"
Subject: Re: Roman Numerals -- From: Dafydd Price Jones
Subject: Re: Is this function decreasing? -- From: lones@lones.mit.edu (Lones A Smith)
Subject: Re: Roman Numerals -- From: hrubin@b.stat.purdue.edu (Herman Rubin)
Subject: Re: Bill Gates and prime numbers..."The Road Ahead" -- From: kfoster@rainbow.rmii.com (Kurt Foster)
Subject: Re: 1 / 2^.5 or 2^.5 / 2? -- From: Simon Read
Subject: Re: Roman Numerals -- From: Doug McKean
Subject: MATH LAWS & TIME -- From: frb6006@drifters.cs.rit.edu (Frank R Bernhart)
Subject: Re: Math tricks/jokes? -- From: windbag@dsp.net (King of All Windbags)
Subject: Re: Vietmath War: war victims; blinded victims -- From: Archimedes.Plutonium@dartmouth.edu (Archimedes Plutonium)
Subject: Re: Infinitude of Primes in P-adics -- From: Archimedes.Plutonium@dartmouth.edu (Archimedes Plutonium)
Subject: Re: Year 10,000? -- From: David Madore
Subject: Re: formula for distance in SL(n,R)? -- From: Steven T. Smith
Subject: Re: Cardinals Was: Re: WHAT IS AN INTEGER (STUPID QUESTION) -- From: David Madore
Subject: Re: Geometry Software -- From: ram@tiac.net (robert a. moeser)
Subject: Re: Probability and Wheels: Connections and Closing the Gap -- From: Karl Schultz
Subject: Re: Cute Proofs... -- From: gotd@jimmy.harvard.edu (Godfrey Degamo)
Subject: Re: Why can't 1/0 be defined??? -- From: tim@franck.Princeton.EDU.composers (Tim Hollebeek)
Subject: Re: Here's a real Engr problem for you Math guys -- From: jedhudson@cix.compulink.co.uk ("John Hudson")
Subject: Re: How many diff kinds of proof exist? -- From: Jan Stevens
Subject: Re: Geometry Software -- From: phil kenny
Subject: Rotation conversions -- From: john@jacy.demon.co.uk (John Cranmer)
Subject: Rotation conversions -- From: john@jacy.demon.co.uk (John Cranmer)
Subject: Re: Science Versus Ethical Truth. -- From: rketcheso@aol.com (RKetcheso)
Subject: Re: Idle query: how good are math and science teaching outside the U.S.? -- From: fkane@anfiteatro.it (Charles Foster Kane)

Articles

Subject: Re: Math tricks/jokes?
From: David Kastrup
Date: 08 Jan 1997 18:41:34 +0100
windbag@dsp.net (King of All Windbags) writes:
> Correction:  The lottery takes from those who have the least........
> intelligence!  A *smart* poor person does not play. 
Depends on the mapping of overall monetary gain to overall expected
joy valid for that person.  If losing one Dollar makes the person
unhappier by less than 0.1% of how the person would rejoice in a $1000
win, a lottery might be a good thing to play, as then the expected
rejoice would be positive, as opposed to the expected monetary gain.
A smart *rich* person would be a fool to play as the amounts he could
win/invest typically do not make for a highly nonlinear loss/win
mapping.  If the person is rational, that is.  If the person gets lots
of gratification out of winning $100 from the poor in a lottery, it
might also be an expected emotional win situation.
If you just look at expected gain figures, then lotteries are a
swindle.  As are all insurances.
-- 
David Kastrup                                     Phone: +49-234-700-5570
Email: dak@neuroinformatik.ruhr-uni-bochum.de       Fax: +49-234-709-4209
Institut f=FCr Neuroinformatik, Universit=E4tsstr. 150, 44780 Bochum, Germa=
ny
Return to Top
Subject: Nonlinear optimization
From: MVOORN@kub.nl (VOORNEVELD M.)
Date: Wed, 08 Jan 1997 15:51 MET
I recently took a course in nonlinear optimization based on the book
`Nonlinear Programming; Theory and Algorithms' by Bazaraa, Sherali and Shetty.
Can anyone suggest a `logical next step'? I am particularly interested in
* a good book on infinite dimensional vector spaces and how to do optimization
  there;
* optimization in the case where functions are not necessarily differentiable.
Please e-mail to
M.Voorneveld@kub.nl
Thanks,
  Mark Voorneveld
Department of Econometrics
Tilburg University
P.O.Box 90153
5000 LE Tilburg
The Netherlands
Return to Top
Subject: Re: Non reversable mathematics?
From: lange@gpu2.srv.ualberta.ca (U Lange)
Date: 8 Jan 1997 17:43:28 GMT
Zdislav V. Kovarik (kovarik@mcmail.cis.McMaster.CA) wrote:
: In article ,
: :There is a situation when = is one way.  As x tends to zero one has that
: :
: :  O(x)  =  O(x^2)
: :
: :but NOT
: :
: :  O(x^2)  =  O(x).
: :
[...] 
:  This casual irreversible use crept into mathematical notation, and the
: temptation to use the "=" sign was too strong (and many would read it
: aloud as "is" rather than "equals" anyway). 
I don't like the use of the term "irreversible" (or "non-reversable") in
this discussion for the use of the "=" symbol to denote a non-symmetric
relation instead of its usual use to denote equivalence relations. This
term suggests that to read an equation from right to the left would be
somehow the same as to move backwards in time (similar to "irreversible
thermodynamics"). There is of course no such "deep" interpretation of the
non-symmetric uses of "=". 
-- 
Ulrich Lange                       Dept. of Chemical Engineering
                                   University of Alberta
lange@gpu.srv.ualberta.ca          Edmonton, Alberta, T6G 2G6, Canada
Return to Top
Subject: Re: Cute Proofs...
From: gotd@jimmy.harvard.edu (Godfrey Degamo)
Date: 8 Jan 1997 16:25:28 GMT
David Kastrup (dak@mailhost.neuroinformatik.ruhr-uni-bochum.de) wrote:
: blackj@toadflax.cs.ucdavis.edu (John R. Black) writes:
: > What is your favorite "cute" proof?  The irrationality of sqrt(2)?  The
: > fact that there are an infinite number of primes?  The proof that all
: > numbers are interesting? (This one's more of a joke of course)
: Show that the opposing angles in an isosceles triangle are the same:
: Given the triangle ABC with lengths AC=3DBC.  This triangle is congruent
: with the triangle BAC (as AC=3DBC, BC=3DAC, AB=3DBA).  Consequently the
: angle at A in triangle ABC is the same as the angle at B in triangle
: BAC.
I think that this proof was first given by Pappus, a Greek
mathematician from ancient times.
-Godfrey Degamo,
 gotd@jimmy.harvard.edu
: -- 
: David Kastrup                                     Phone: +49-234-700-5570
: Email: dak@neuroinformatik.ruhr-uni-bochum.de       Fax: +49-234-709-4209
: Institut f=FCr Neuroinformatik, Universit=E4tsstr. 150, 44780 Bochum, Germa=
: ny
Return to Top
Subject: Re: Angle trisection
From: grubb@lola.math.niu.edu (Daniel Grubb)
Date: 8 Jan 1997 18:03:40 GMT
 Robin Chapman (rjc@maths.ex.ac.uk) writes:
> In the recent "The Book of Numbers" (Springer 1996) Conway and Guy
> give constructions for regular 7, 9 and 13-gons using straightedge,
> compass and angle trisector. The heptagon construction is amazingly
> neat.
I am curious if there is a characterization of the regular polygons
that can be constructed with compass and *marked* straight-edge.
Since this gives an angle trisector, we can solve cubics, so those
whose number of sides is 2^n 3^m p_1 p_2 ...p_k where each p_i is
a prime of the form (2^a 3^b +1) should be possible. Are there others?
In particular, can an 11-gon be constructed in this way? How about
a 25-gon?
---Dan Grubb
Return to Top
Subject: Re: Complex Question !
From: ikastan@alumnae.caltech.edu (Ilias Kastanas)
Date: 8 Jan 1997 14:26:14 GMT
In article <19970107090900.EAA25480@ladder01.news.aol.com>,
  wrote:
>In article <5as7t4$gge@gap.cco.caltech.edu>
> ikastan@alumnae.caltech.edu (Ilias Kastanas) wrote:
>:
>:>In article <5ar0cr$7tq@gap.cco.caltech.edu>
>:>Ilias Kastanas wrote:
>:> Your program finds infinitely many zeros for z^2.
>
>  Impossible. There are only two. I used MATLAB. 
>
>: Of course there are only two.
>
>     You are absolutely right. Why are you asking me then. My program
>     shows two.
>
>: But _your_ program finds infinitely many.
>
>: Go ahead and run it and see.
>
>     I did and it showed  two.
	The programs you have been posting find _infinitely_ many.  Others
   told you so, as well as myself.  If you have now fixed the mistake, good;
   why don't you post the program that showed two zeros for z^2.
	(Incredible... I'm actually asking for such a posting!)
	I also wonder how does multiplicity two come through.
>: (How many times before this gets across?!)
>
>      Never with you.  It is a graphic program. You don't read graphs and
>      don't have a fax number anyway.
	Read graphs?  Oh, I manage somehow.  And my fax number is something
   that does not need too wide a disclosure.
							Ilias
Return to Top
Subject: Re: Cardinals Was: Re: WHAT IS AN INTEGER (STUPID QUESTION)
From: ikastan@alumnae.caltech.edu (Ilias Kastanas)
Date: 8 Jan 1997 13:59:33 GMT
In article <32D2AC7C.41C67EA6@clipper.ens.fr>,
David Madore   wrote:
>Miguel Lerma wrote:
>> Not only cardinals... Who needs a vector space without a base?
>
>But the existence of a basis needs the axiom of choice only
>in the infinite dimensional case, and infinite dimensional
>vector spaces are pretty much useless without a topology on
>them. And when there is a topology, a (strictly algebraic)
>basis is never used. For example, the Axiom of Choice is
>needed to show that the space of continuous functions on
>the closed interval [0;1] has a basis. But do you really
>need such a basis?
	Well, a Hamel basis for R produces the discontinuous
   solutions to  f(x+y) = f(x) + f(y).
	And there is worse than a vector space without a basis: a 
   vector space with two bases of different cardinalities!
>Now I'm not saying that it is better (or even advisable) to
>do mathematics without the Axiom of Choice. The Hahn-Banach
>theorem for example, or the Tychonoff theorem (especially
	Actually, Hahn-Banach needs less than full AC; Boolean
   Prime Ideal is enough.  Tychonoff, of course, is equivalent
   to AC.
>under the form of the Banach-Alaoglu theorem) are very
>useful, and they cannot be proved without AC. I believe the
>same is true of the existence of an algebraic closure of F_p
>(since that question was raised somewhere else in this
	I missed that.  It would seem (F_p)* can be explicitly defined
   since the F_p^n can; the usual construction of a field K without
   an algebraic closure involves a K containing an infinite set.  What
   exactly was said about this?
>newsgroup). But as a whole, much of mathematics remains if
>the Axiom of Choice is removed, especially if it is replaced
>by the combination of a weaker version of it and an alternative
>axiom.
	By the way, Determinacy is usually postulated for definable
   sets (projective, e.g.)... which apparently does not violate AC.  
   Results obtained from "full AD" are intended to describe L[R].
							Ilias
Return to Top
Subject: Re: Geometry Software
From: phil kenny
Date: Wed, 08 Jan 1997 09:29:29 -0800
Simone P Powell wrote:
> 
> Can someone recommend geometry software for our school.  We have a teacher
> who wants to take her class down to a computer lab to teach Geometry.  She
> wants the students to learn about geometric properties by maninpulating
> drawings on the screen.  Thank you in advance.
> 
> --
> 
> Sam Powell
> Northridge High School
> Middlebury Indiana
Have you looked at Geometer's SketchPad? A description may be
found at:
http://www.keypress.com/product_info/sketchpad3.html
Regards,
phil kenny
Return to Top
Subject: Re: Roman Numerals
From: Richard Mentock
Date: Wed, 08 Jan 1997 13:41:17 -0500
Herman Rubin wrote:
> The oldest known system which uses the same symbols for multiples
> of different powers of the base is the Babylonian base 60.  Some
> have conjectured that the Hindus got the idea of using it for base
> 10 from this.
I understand that the Babylonian "digits" were base 10.  In other 
words, instead of 60 symbols, they used 10, and their eleventh base
60 digit was "11".  Can you verify?
And if so, wouldn't base 10 then be as old as base 60 (if only 
for powers 0 and 1)?
-- 
D.
mentock@mindspring.com
http://www.mindspring.com/~mentock/index.htm
Return to Top
Subject: Re: Symbolic Integration I
From: "Jerry Kovacic"
Date: 8 Jan 1997 14:52:05 GMT
Jerry B. Altzman  wrote in article 
> Manuel Bronstein  wrote:
> >I'm happy to announce that my book "Symbolic Integration I" is
> >finally in print and available.
> 
> Springer-Verlag NY says it won't be available until 31 March. Izzatso?
> 
> >    ____________                 Manuel Bronstein
I ordered it yesterday from the web page (http://www.springer-ny.com)
and got mail today saying that "You should receive it shortly."
	Jerry Kovacic  (jjk@prolifics.com)
Return to Top
Subject: Re: Roman Numerals
From: daly@PPD.Kodak.COM (Matthew Daly)
Date: 8 Jan 1997 13:59:58 GMT
In article <32D2A581.1EB4@paragon-networks.com> rec.puzzles, sci.math writes:
>What are they - base 5, base 10, base 50, ..., multibased? 
I think it's a little too simplistic to say that it's non-based as some
before have in this thread.  It seems to be that it is essentially
a base-10 system, although an odd one in several ways.
For instance, 99 is not expressed in Roman numerals as IC but as XCIX.
The way to do it is to express each decimal digit before proceeding to
the next one.
It's a little wierd that the digits are loosely based on each other, like
the symbol for 3 being three of the symbols for 1, but that not being the
case everywhere, but that's par for the course for numbering systems.
It's also a little bizarre that each digit has a different numbering
system, but that's not all that bad either.
-Matthew
--
Matthew Daly             I don't buy everything I read ... I haven't
daly@ppd.kodak.com       even read everything I've bought.
My opinions are not necessarily those of my employer, of course.
Return to Top
Subject: Re: Science Versus Ethical Truth.
From: mlerma@math.utexas.edu (Miguel Lerma)
Date: 8 Jan 1997 15:33:47 GMT
Rebecca Harris (rebecca@tharris.demon.co.uk) wrote:
[...]
> What is was the point in writing all that "stuff" about god???
> I am an athieist(probably wrong spelling)But I believe that everyone is
> allowed their own opinion......So why preach about "the wonderful and
> powerful god"?
I can see that you are posting from UK. I have spent three years 
in the USA (I am from Spain) and never imagined before the level 
of religious fanatism I would find here. This is something that 
a normal citizen of a typical western country would never suspect 
before arriving to the paradise of religious nonsense. The problem 
is that these people is supporting such a deal of nonsense that 
they cannot get ride of their obsession to get some kind of support 
that help them to overcome their contradictions. But people just 
plagued by their own contradictions are the nicest ones. You should 
see those who overcome their obsession by engaging themselves in a 
restless persecution of "heretics" and unbelievers. The only thing 
that saves this country from more witch hunts is its diversity and 
the First Admendment that arises from it. Now more than ever I am sure 
that the First Admendment does not survive because American people are 
high in tolerance, but because they are diverse and do not wish to be 
victims of other's intolerance. 
Miguel A. Lerma
Return to Top
Subject: Re: Statistics Books
From: John
Date: Wed, 08 Jan 1997 12:41:46 -0500
Justin wrote:
> 
> Can anyone give me some information on where to obtain/order some
> informative, well written books on statistics. I am deeply interested in
> it. Thank you.
> 
> _JZS
> 
> --
> JZS 3=)
Hi Justin,
There are many books on statistics which range over all levels of math
and which are directed at various targets. If you could be more specific
in your interests it would help people in answering you.
There are about fifty Wiley books on statistics listed on the flyleaf of 
_An Introduction to Probability Theory and Its Applications_ by William
Feller, John Wiley & Sons, Inc, NY, 1968
There is _A Matematician Reads the Newspaper_, by John Allen Paulos
which should be required reading. (I've got to read it someday myself).
There is a book, I forget the name and details but _Lying with
Statistics_ may be the title which puts statistics in perspective.
You might try a search at a an online bookstore like www.amazon.com.
These sites have helpful book reviews.
A tour of math departments at university web sites could provide clues
that would resonate.
Keep to the far right on the Bell Curve,
Regards,
John
Return to Top
Subject: 1/0 helps you catching your bus!
From: fc3a501@GEO.math.uni-hamburg.de (Hauke Reddmann)
Date: 8 Jan 1997 15:28:02 GMT
Now would I lie to you?
The whole story can be read in the Nov (or was it Dec)
1995 issue of "Spektrum der Wissenschaft". (I don't
think this was in the american edition. Search for
author="quadrat" - that name was easy to remember :-)
  The problem:
Your bus is 2 min late. But you have to switch busses
on a central station, so THAT bus waits now. Which in
turn...etc.etc. Now the frequency of the busses may be
so that after an hour all delays have been carried
through and everything starts anew, so that the plan
of the whole day is screwed up.
  The mathematical tool
Such nets can be analyzed with linear algebra and
a redefined version of + and * which goes as follows:
a*b -> a+b
a+b -> max(a,b)
You will see that this almost gives a "Koerper"
(only ONE law is violated, can you find out which?).
Especially, you can carry over all the tricks of
linear algebra: eigenvalues etc.
  What in feetals gizz' has this to do with 1/0?
Let the real number r "mean" the nonstandard
quantity R="0^(-r)". So any normal real number is
a nonstandard 0, a simple pole infinity is a
nonstandard 1, etc. Clearly R1*R2 you get by
adding r1+r2 (=log rules), and R1+R2 by building
max(r1+r2) - the greater infinity overrules.
So this is a self-consistent scheme in which
1/0=infinity has a valid meaning "0" "-" "1" = "(-1)".
Of course you pay this with 1=2=e=pi=...,
but inside this system it's no problem! 
First one who asks what I'll do with " - "-1"  "
(an infinite infinity) will get aleph0 kicks
in the posterior and will have to stand during his
next bus ride :-)
-- 
Hauke Reddmann <:-EX8 
fc3a501@math.uni-hamburg.de              PRIVATE EMAIL 
fc3a501@rzaixsrv1.rrz.uni-hamburg.de     BACKUP 
reddmann@chemie.uni-hamburg.de           SCIENCE ONLY
Return to Top
Subject: Re: paradox
From: Dave Bergacker
Date: Wed, 08 Jan 1997 12:55:09 -0700
Joseph H Allen wrote:
> 
> Here are some paradoxes:
> 
> -- black ravens
> 
> Suppose you say that all ravens are black....
[snip]
Ok, ForAll x s.t. raven(x) -> black(x)
> 
> Now the negation of "all ravens are black" is "all non-black things aren't
> ravens".  The two statements are logically equivalent.  ...
[snip]
Hmm, the negation of a wff, hmm, lets go to prenex normal form first:
FarAll x s.t not(raven(x)) or black(x) (Since a -> b == not(a) or b)
And then to conjunctive normal form:
not(raven(x)) or black(x)
So if we "negate" this formula we get:
not[not(raven(x)) or black(x)] or, applying DeMorgans:
raven(x) and not(black(x))
So the "negation of 'all ravens are black'" is the above formula.  Hmm,
seems to say that all non-black things are ravens, NOT "all non-black
things
aren't ravens".
I'd say that your premise above is wrong, the two statements you quote
are NOT logically equivalent.
Assuming I did the conversion to clausal form correctly, it has been
four
years or so since I've done it.
[the rest of this and other so-called paradoxes cut]
Regards,
dave
-- 
Remove "__" in header to reply.
Dave Bergacker (daveb@minc.com)
Return to Top
Subject: Re: 1 / 2^.5 or 2^.5 / 2?
From: "John D. Goulden"
Date: 8 Jan 1997 04:05:19 GMT
Of course pow(2,1/2) won't 'work' in C, nor will any expression in which
1/2 is intended to produce the value .5. On the other hand pow(2,1.0/2.0)
and pow(2.0,1.0/2.0) produce root 2 on all three of my C compilers.
-- 
John D. Goulden
jgoulden@snu.edu
> What you wrote is definitely not a floating point expression in
> Fortran, and probably not in BASIC.  The C equivalent, pow(num,1/2),
> does not use floating point division for the exponent, either. 
Return to Top
Subject: Re: Roman Numerals
From: Dafydd Price Jones
Date: Wed, 8 Jan 1997 15:51:48 +0000
In article <32D2A581.1EB4@paragon-networks.com>, Doug
McKean  writes
>What are they - base 5, base 10, base 50, ..., multibased? 
They're not really base anything, but they are based on 5, and 10.
More precisely, they are based on digits - i.e. fingers.
I represents one finger.
V represents a hand.
X represents two hands (it's made up of two Vs, one of which is
inverted).
Beyond there, we have
L is 50.  I don't know why.  Can anyone explain?
C for CENTUM (Latin for hundred)
D for the second half of an ancient Tuscan sign for a thousand - hence,
500.  The Tuscan sign looks like CI followed by a reversed C.
M for MILLE (Latin for thousand)
Here's a base 10 feature:  Any number could be made ten times as big
by adding an "apostrophus" - a reversed C  - to it.  For example, M
followed by one apostrophus was 10,000, and M followed by two
apostrophi was 100,000.
-- 
| Dafydd Price Jones
 dafyddpj@dafyddpj.demon.co.uk
 Bibo ergo sum
Return to Top
Subject: Re: Is this function decreasing?
From: lones@lones.mit.edu (Lones A Smith)
Date: 8 Jan 1997 16:27:09 GMT
Denis Constales (dc@cage.rug.ac.be) wrote:
: In article <5atpl4$np5@senator-bedfellow.MIT.EDU>, lones@lones.mit.edu
: (Lones A Smith) wrote:
: > Let f(x)=0 on [b,1], some 0 [0,1] into (0,1), always strictly less than b. Let p>0 on [0,1]. Put
: > 
: >            \int_{a(x)}^1 f(y) p(y) dy
: > f(x) = 1 + --------------------------
: >              \int_{a(x)}^1 p(y) dy
: > 
: > Is f strictly decreasing on [0,b]? It seems like it must be,
: > but it is the darnedest thing to prove.
: Are you sure that the f at the lhs of the equality is the same function as
: the one under the integral? in that case it should say "Suppose" rather
: than "Put" in the statement. Also, a will probably have to be *strictly*
: increasing to get strict decrease.
: Anyway, if the question were to find conditions under which
:             \int_{a(x)}^1 f(y) p(y) dy
:  h(x) = 1 + --------------------------
:               \int_{a(x)}^1 p(y) dy
: is strictly decreasing: h(x) = g(a(x)) with a strictly increasing, so h is
: strictly decreasing as soon as g is (over the range 0 to b). Next, this is
: the case if and only if g-1 is strictly decreasing over [0,b], and this
: function is
:             \int_{z}^1 f(y) p(y) dy
: g(z)-1 =  --------------------------
:               \int_{z}^1 p(y) dy
: so it's the weighted average of f(y) with weights p(y) (p assumed
: measurable and integrable over [0,1]) over the y-interval [z,1].
: For such a weighted average to be strictly decreasing, a tiny increase dz
: in z, which will decrease the denominator by p(z) dz and the numerator by
: p(z) f(z) dz, must globally decrease the weighted average, which is only
: the case if the quotient of these decreases of num and denom is larger than
: the quotient expressing the average, i.e. when
:             \int_{z}^1 f(y) p(y) dy
:   f(z) >  --------------------------, all z satisfying 0<=z  --------------------------   (**)
              \int_{z}^1 p(y) dy
So does (*) => (**) given the assumptions on a and f? This has kind of kicked
the problem downstream somewhat, though it still is not obvious....
Lones
  .-.     .-.     .-.     .-.     .-.     .-.    
 / L \ O / N \ E / S \   / S \ M / I \ T / H \   
/     `-'     `-'     `-'     `-'     `-'     ` 
 Lones Smith, Economics Department, M.I.T., E52-252C, Cambridge MA 02139
 (617)-253-0914 (work)  253-6915 (fax)   lones@lones.mit.edu 
Return to Top
Subject: Re: Roman Numerals
From: hrubin@b.stat.purdue.edu (Herman Rubin)
Date: 8 Jan 1997 11:25:55 -0500
In article <32D2AB04.1983@daedal.net>, James Tuttle   wrote:
>Richard Mentock wrote:
>> Milo Gardner wrote:
>> > Roman numerals are base 10, stated in terms of the register of an
>> > abacus (for example).
>> > Multi-based? No base at all? Wow, what confusion.
>> > I hope this note clarifies something to somebody.
>> Well, usually "base n" implies positional notation, which Roman
>> Numerals clearly aren't.  X *does* equal ten, but V equals five,
>> so why wouldn't you claim they were base 5?
>Roman numerals are *highly* positional.  IX is 9 and XI is 11.
>Position matters a lot.
Most of the base 10 systems are positional.  This includes, for 
example, the Egyptian and the Greek.  From what I have seen of 
the Egyptian system, there was a symbol for each power of 10 up
to some point, and that symbol was used as many times as needed.
The Greek system had a symbol for j=10^k, j=1,...,9, k=0,1,2.
It used an overbar to multiply by 1000.  The Roman numerals are
definitely base 10, with symbols for 10^k and 5x10^k.
The oldest known system which uses the same symbols for multiples
of different powers of the base is the Babylonian base 60.  Some
have conjectured that the Hindus got the idea of using it for base
10 from this.
-- 
This address is for information only.  I do not claim that these views
are those of the Statistics Department or of Purdue University.
Herman Rubin, Dept. of Statistics, Purdue Univ., West Lafayette IN47907-1399
hrubin@stat.purdue.edu         Phone: (317)494-6054   FAX: (317)494-0558
Return to Top
Subject: Re: Bill Gates and prime numbers..."The Road Ahead"
From: kfoster@rainbow.rmii.com (Kurt Foster)
Date: 8 Jan 1997 16:40:54 GMT
Norman D. Megill (ndm@shore.net) wrote:
: Conlippert  wrote:
: >Bill Gates said in his book "The Road Ahead" He was talking about
: >internet security, and how an encrypted code could be broken.
: >That the web would be a secure place......
: >"Unless someone figures out how to factor large prime numbers."
: The security holes in MS products finally explained...
: I'm sure he wants to be the first to figure this out, so maybe he has a
: whole secret department working on it. [snip]
:
  Ah, but `you know he meant' "how to factor numbers composed of large
prime factors".  Perhaps he has a secret department working on an "I know
you meant" program that ISN'T designed to drive users stark, raving mad --
and I must say, that's a really well-kept secret!
Return to Top
Subject: Re: 1 / 2^.5 or 2^.5 / 2?
From: Simon Read
Date: 8 Jan 97 21:12:30 GMT
ags@seaman.cc.purdue.edu (Dave Seaman) wrote:
>Although languages like Fortran and C do give 2^(1/2) = 1 (and so does
>BASIC, if I remember correctly),
I doubt it. Since you're not using exact FORTRAN, i.e. you're
using (^) instead of (**), I assume you're not mentioning other
details like (1./2.) is different from (1/2) because the former
is floating-point whereas the latter is integer. If you do not
mention this exact detail, you can't make blanket statements like
"2^(1/2)=1" .
Every BASIC I have ever used has given 2^(1/2) as the square root of
two to several decimal digits of accuracy. "Several" is a bit vague
because some BASICs let you put a "#" sign to signify extra precision
and not all BASICs store their default floating-point numbers to the
same precision.
I have never used a BASIC which even allows me to calculate 2^(1/2)
as an integer. I can calculate it as a floating-point number, and
explicitly truncate the result, but that's not the same as
calculating it as an integer to start with. One BASIC I know
allows integer division, but I don't know about explicitly
restraining powers to be integers.
C  I can't comment on.
"languages like" FORTRAN and C ...  that includes Pascal.
The original Pascal didn't even have a power statement/operator/function,
so you had to do 2^(1/2) by taking logarithms or writing your own
subroutine/function. This was clearly floating-point.
People soon got fed up with this and put a power facility in Pascal.
It sounds like languages like FORTRAN and C do indeed give floating-point
answers.
Return to Top
Subject: Re: Roman Numerals
From: Doug McKean
Date: Wed, 08 Jan 1997 11:05:35 -0500
Doug McKean wrote:
> 
> What are they - base 5, base 10, base 50, ..., multibased?
What I am finding most interesting is the concensus 
appears to be "no base". It is convention that a 
number system is founded on successive powers of 
a specific specific number usually positional. 
The base 10 system is a "based/positional" number system. 
The Roman numeral system is a "non-based/positional" number system.
So, are there any "based/non-positional" number systems or 
any "non-based/non-positional" number systems out there? 
*******************************************************
-------------------------------------------------------
The comments and opinions stated herein are mine alone,
and do not reflect those of my employer.
-------------------------------------------------------
*******************************************************
Return to Top
Subject: MATH LAWS & TIME
From: frb6006@drifters.cs.rit.edu (Frank R Bernhart)
Date: 8 Jan 1997 16:17:03 GMT
 If the term "eternal" has been given a special sort of meaning, such as
  in theology, the phrase "eternal math laws" can be acceptible.  As is,
  it tends to carry the idea of "resistant to change over very long
  passages of time."
 That suggestion must be firmly resisted, I will urge.  When mathematical
 abstractions are treated as quasi-physicals endowed with special powers,
 todays gurus are only too happy to loop the label "Platonism" around the
 neck of the proposal and wind it tight.  The fate of phlogiston and the
 ether provide cautionary examples.
 I propose, rather, that permanence in mathematics is a sign of a state of
 existence independent from space-time.  The real puzzle is (as Plato
 realized) why we experience physical reality in fashions that make our
 awareness of mathematical ideas (of a sort) so inevitable.  I mean here
 very simple things, like counting from 1 to 10, comparison of shapes,
 ranking sizes, elementary logical if..then, and so on.
   Plato gave a solution to this puzzle that I along with others find
   brilliantly flawed.  The length of his shadow over several millenia
   of Western physical philosophy makes the needed revisions and fresh
   starts difficult indeed.
      Frank Bernhart,  Rochester, NY
Return to Top
Subject: Re: Math tricks/jokes?
From: windbag@dsp.net (King of All Windbags)
Date: Wed, 08 Jan 1997 16:28:18 GMT
Roger  Luther  wrote:
(snip)
>PS some of us think that the lottery is the most retrogressive tax since 
>the poll tax of the 1300's. Every other tax takes from those who have 
>most, to help the rest of society. The lottery takes, proportionally, 
>more from those who have least, and gives to those who have most eg the 
>Royal Opera House grant!
Correction:  The lottery takes from those who have the least........
intelligence!  A *smart* poor person does not play. 
/\/\att
- -
 ^
"Does anyone have a copy of my book, or have they all 
 been burnt by now?"
                                      - Howard Stern
Return to Top
Subject: Re: Vietmath War: war victims; blinded victims
From: Archimedes.Plutonium@dartmouth.edu (Archimedes Plutonium)
Date: 8 Jan 1997 17:27:15 GMT
In article <57721566490@einsteinium.universe>
Carl Friedrich Socrates Einsteinium  writes:
> The whole problem is you don't even understand where the problem is.
> Just what do you mean by "such numbers"? If you just mean ...000,
> ..001 and ...002, then there's nothing ridiculous about asking the
> question, and it's so easy to find the answer I think even David
> Madore could do it. But that is not the problem. You want to study
> a whole set of numbers ...000, ...001, ...002, and so on. But that
> won't work.
> 
> For, you see, all numbers are FUZZY
                                ^^^^^
 Your posts are readable up until you enter that above word, then they
are no longer interesting and in fact the next time you enter fuzzy I
will put your posts into my killfile.
Return to Top
Subject: Re: Infinitude of Primes in P-adics
From: Archimedes.Plutonium@dartmouth.edu (Archimedes Plutonium)
Date: 8 Jan 1997 17:46:44 GMT
From           dik@cwi.nl (Dik T. Winter)
Organization   CWI, Amsterdam
Date           Wed, 8 Jan 1997 02:23:21 GMT
Newsgroups     sci.math,sci.physics,sci.logic
Message-ID     
References     1 2 3
In article <5asb6a$ma6$1@dartvax.dartmouth.edu>
Archimedes.Plutonium@dartmouth.edu (Archimedes Plutonium) writes:
 > In article 
 > dik@cwi.nl (Dik T. Winter) writes:
 > 
 > >  > Let me recap here some facts :
 > >  >    p-adics form a field
 > > 
 > > No.  Obviously, if there *are* primes you do not have a field.
 > 
 > 3-adics form a field, 5-adics form a field
 > any p-adic where p is prime forms a field
Eh?  Did you read what I wrote after the sentence above?  If there *is*
a prime, there is no field.  In the 3-adics 3 is the only prime (%),
but
because there is a prime there is no field.  In a field every element
except 0 has a multiplicative inverse; there is no inverse of 3 in the
3-adics.  There is no inverse of p in the p-adics.  In the rationals
for
instance 3 is *not* prime.
--
% Prime in the sense of prime ideals.  Not in the sense of: there are
no a and b such that a.b = 3; because there are such a and b
(for instance: 2 * ...11111111120 = 10 = 3 in the 3-adics).  My
previous
proof was a bit wrong however.  If there is an element with a
multiplicative
inverse there is no prime in the traditional sense.  That was what the
original proved, but in that sense 3 is not even a prime in the
3-adics.
However, an element without multiplicative inverse can still generate a
prime ideal (as is the case with p in the p-adics), but in a field
there
are no such elements.
-- 
dik
This is a problem of *timing*. And a problem of timing is a big deal in
mathematics because mathematics is the science of precision.
 Yes I read your previous message.
  But you Dik assume that 3 is prime in the first place, do you not, in
order to construct the 3-adics. 
   Now, then, you construct the 3-adics and I say that the 3 is prime.
But you , Dik , accuse me of saying 3 is not a prime if 3-adics is a
field.
  I say to you Dik that we get the primeness of 3 from the special set
of Reals of this set { ....,  ..., ...002- , ....002+, ...003+,
....005+,....}
  I start with the Reals, and you Dik, I do not know where you started
from. Those special class of Reals, the Whole Reals are prime in Whole
Reals.
  So, if 2 or 3, 5, is not prime then Dik, how in the world can you
even start to construct the  2-adics or 3-adics or 5-adics.
  Personally I think this is a major problem of mathematics. Everyone
is saying these absolutist things that 3-adics is a field and yet they
do not want to recognize that 3 is prime in order to prove that it is a
field. And after they have proved that 3-adics is a field , they then
want to forget that 3 was prime in the first place in order to prove
that it is a field. All a bit hypocritical, I would say.
  So Dik, please tell when in the discussion you want to claim 3 is a
prime number in order to prove 3-adics is a field, and then, when do
you want to renounce that 3 was prime so that you can say that the
3-adics is not a field?
Return to Top
Subject: Re: Year 10,000?
From: David Madore
Date: Wed, 08 Jan 1997 22:39:59 +0100
Kurt Foster wrote:
> and millennia.  There is no prefix I've heard of for 10^4 or 10^(-4), so
> one is probably free to make them up.  I've seen "eon" used for 10^9
In the first versions of the metric system, the prefix myria- was used
for 10^4 (from the greek myrioi=10000). I don't think it was ever used
outside France, though. But perhaps a myriadium is a nice word for a
10000 year cycle.
     David A. Madore
    (david.madore@ens.fr,
     http://www.eleves.ens.fr:8080/home/madore/index.html.en)
Return to Top
Subject: Re: formula for distance in SL(n,R)?
From: Steven T. Smith
Date: 08 Jan 1997 00:21:09 GMT
In article <58pieq$4vm@news.ycc.yale.edu> tdhui@pantheon.yale.edu () writes:
> Can someone give me a reference for the distance between two
> matrices in SL(n,R)?
The geodesic between two such matrices A and B is c(t) = exp(t*log(B/A))*A
(using the invariant metric  = tr(X*Y) at the identity); therefore,
the Riemannian distance between A and B is given by the Frobenious norm
of log(B/A).  In MATLAB code,
        d = norm(log(eig(A,B)))
Steven Smith
Return to Top
Subject: Re: Cardinals Was: Re: WHAT IS AN INTEGER (STUPID QUESTION)
From: David Madore
Date: Wed, 08 Jan 1997 22:36:35 +0100
Herman Rubin wrote:
> theorem is weaker than that.  The existence of the algebraic
> closure of a finite field follows from the principle of dependent
> choices from finite sets, which is known to follow from the
> Axiom of Determinacy, which is not compatible with the Axiom
> of Choice.  One can even go a little farther here.
Strangely, you say that just at the point when Ilias Kastanas had
me convinced that AC was not at all necessary to construct an
algebraic closure of F_p.
Now what is wrong with the following:
We have to define F_(p^r). To do that, factor out the (p^r-1)-th
cyclotomic polynomial over F_p. We know that one of the irreducible
factors must be of degree exactly equal to r. Consider the one those
such factors which is least in the lexicographical ordering of F_p[X],
with F_p ordered in the following way: 0<1<...F_(p^s) for
r dividing s. We do this by induction on s, letting the maps
F_(p^r)->F_(p^s) be the least possible which are compatible with
all the previously defined ones (least in the sense of the
lexicographical order on the set of finite sequences of functions
F_p->F_(p^s),F_(p^d1)->F_(p^s),...,F_(p^dk)->F_(p^s), where
d1...dk are the proper divisors of s).
We finally let (F_p)~ be the inductive limit of the F_(p^r) under
these maps.
Have I made a mistake (most probable)? Or, if this is true, is there
a simpler way to do it without AC?
     David A. Madore
    (david.madore@ens.fr,
     http://www.eleves.ens.fr:8080/home/madore/index.html.en)
Return to Top
Subject: Re: Geometry Software
From: ram@tiac.net (robert a. moeser)
Date: Wed, 08 Jan 1997 12:49:10 -0500
In article <5av3n0$9c9@mercury.iusb.edu>, Simone P Powell
 wrote:
:Can someone recommend geometry software for our school.
both Geometer's Sketchpad and the Cabri II geometry program are a lot of
fun and work really well.
i downloaded demo versions of these from the Swarthmore web site.
-- rob
Return to Top
Subject: Re: Probability and Wheels: Connections and Closing the Gap
From: Karl Schultz
Date: Wed, 08 Jan 1997 10:56:08 -0700
Lotto simulation programs should be easy to write.
The key argument opposing that approach is how
closely your RNG matches the lotto "ball machine"
or whatever.
Although you can get an answer via simulation, I
still think that there would be a statistcal
method that would give good results.
Uenal Mutlu wrote:
> It would be useful if we had a simulation software which for example
> looks something like the following:
> 
> LOTSIM v k b nruns fFixedTickets fFixedDraw ...
> 
> v             = total numbers (ie. 49)
> k             = nbrs per ticket (ie. 6)
> b             = nbr of random tickets (>= 1)
> nruns         = nbr of random drawings (simulation) (>= 1)
> fFixedTickets = randomly fill tickets once OR refill each time (0/1)
> fFixedDraw    = randomly draw once and keep OR redraw each time (0/1)
> ...
> 
> Output:
> 
>  m  ep en  rn rp  dn dp ...
> ---------------------------
>  k  .. ..  .. ..  .. .. .
>  .  .. ..  .. ..  .. .. .
>  .  .. ..  .. ..  .. .. .
>  0  .. ..  .. ..  .. .. .
> ---------------------------
> Sum: .....
> 
> m  = matching nbrs (0..k)
> ep = expected theoretic probability
> en = expected theoretic frequency
> rn = simulated real frequency
> rp = simulated real probability
> dn = +/- diff frequency
> dp = +/- diff probability
> ...
> 
> If there is already a similar publicly available program I would
> like to hear about it. I think of programming such a thing too.
> Further comments/options/ideas to include in the program are welcome.
> IMHO such a program would be helpful in 'practically' answering some
> still outstanding problems like in the case of the above 54 tickets
> in question.
Return to Top
Subject: Re: Cute Proofs...
From: gotd@jimmy.harvard.edu (Godfrey Degamo)
Date: 8 Jan 1997 16:53:19 GMT
John R. Black (blackj@toadflax.cs.ucdavis.edu) wrote:
: What is your favorite "cute" proof?  The irrationality of sqrt(2)?  The
: fact that there are an infinite number of primes?  The proof that all
: numbers are interesting? (This one's more of a joke of course)
Here's another:
Theorem:
1^3 + 2^3 + 3^3 + 4^3 + ... + n^3 = (1 + 2 + 3 + ... + n)^2
Proof:
Two colors: '+' --> for odd areas
            '-' --> for even areas
            '$' --> where two even areas overlap twice
     1  2    3      4        5
     + - - + + + - - - - + + + + +
     - $ - + + + - - - - + + + + +
     - -   + + + - - - - + + + + +
     + + + + + + - - - - + + + + +
     + + + + + + - - - - + + + + +  <--- The dimension of square is 15 X 15
     + + + + + + - - - - + + + + +
     - - - - - - $ $ - - + + + + +
     - - - - - - $ $ - - + + + + +
     - - - - - - - -     + + + + +
     - - - - - - - -     + + + + +
     + + + + + + + + + + + + + + +
     + + + + + + + + + + + + + + +
     + + + + + + + + + + + + + + +
     + + + + + + + + + + + + + + +
     + + + + + + + + + + + + + + +
-Godfrey Degamo,
 gotd@jimmy.harvard.edu
Return to Top
Subject: Re: Why can't 1/0 be defined???
From: tim@franck.Princeton.EDU.composers (Tim Hollebeek)
Date: 6 Jan 1997 19:32:23 GMT
In article <5ar10s$321$4@gruvel.une.edu.au>, ibokor@metz.une.edu.au writes:
> electronic monk (donniet@sqruhs.ruhs.uwm.edu) wrote:
> : John Briggs, VAX system manager, x4411 wrote:
> :  
> : > The limit of 1/x as x --> 0 does not exist.  At least not in the reals.
> : 
> : that's right, it is an infinite number.
> 
> Which infinite number?
Go to the real number line.  It's the last on the right.  You can't miss it.
[sorry, couldn't resist]
---------------------------------------------------------------------------
Tim Hollebeek         | Disclaimer :=> Everything above is a true statement,
Electron Psychologist |                for sufficiently false values of true.
Princeton University  | email: tim@wfn-shop.princeton.edu
----------------------| http://wfn-shop.princeton.edu/~tim (NEW! IMPROVED!)
Return to Top
Subject: Re: Here's a real Engr problem for you Math guys
From: jedhudson@cix.compulink.co.uk ("John Hudson")
Date: Wed, 8 Jan 1997 18:41:02 GMT
howels@erols.com  wrote on 4th Jan
 > I need to know what the frequency spectrum is of a function divided by 
> it's envelope.
> 
> The function, amplitude vs. time, will be any waveform that is 
> band-limited - there are no frequency components below a or above b hz, 
> where b>a.
> 
> The envelope would be as calculated using the Hilbert transform, or 
> SQRT(I^2 + Q^2).
I can't point to any specific texts with certainty but this is a problem 
that was in vogue in 1960's and 1970's communications.     Look up 
"Bandpass limiting".   Try Davenport and Root "Intro. to communications 
theory".  There should be papers from that time in IEEE Trans. Acoustics 
Speech and Signal Processing since there were applications in limiting of 
single sideband modulation which was common at the time.
JEH
Return to Top
Subject: Re: How many diff kinds of proof exist?
From: Jan Stevens
Date: Wed, 08 Jan 1997 14:40:42 +0100
Michael A. Stueben wrote:
> 
> I was trying to list the different kinds of proof for my H.S.
> precalculus students. So I gave direct, indirect, math
> induction and proof by contraposition. Fine. But later I
> thought what about this: proof by example (offer am
> illustration of a situation or give directions for a
> construction)? Or proof by verification
> (substitute and complete a calculation). Then proof by cases
> could be a proof made up of a mixture of all types of proof.
You missed proof by intimidation.
--
email: stevens@math.chalmers.se
Matematiska Institutionen
Chalmers Tekniska H"ogskola
SE 412 96 G"oteborg
Sweden
Return to Top
Subject: Re: Geometry Software
From: phil kenny
Date: Wed, 08 Jan 1997 09:44:42 -0800
Simone P Powell wrote:
> 
> Can someone recommend geometry software for our school.  We have a teacher
> who wants to take her class down to a computer lab to teach Geometry.  She
> wants the students to learn about geometric properties by maninpulating
> drawings on the screen.  Thank you in advance.
> 
> --
> 
> Sam Powell
> Northridge High School
> Middlebury Indiana
An extensive resource list may be found at:
http://forum.swarthmore.edu/math.topics.html
Regards,
phil kenny
Return to Top
Subject: Rotation conversions
From: john@jacy.demon.co.uk (John Cranmer)
Date: Wed, 08 Jan 1997 22:42:04 GMT
Can anyone help.
I would like to convert some VRML scripts into a raytraciung fromat
via Q-basic.  
In VRML rotations can be defined about an arbitary vector
eg   1 1 0   Theta
where 1 1 0 is the vector defining the axis of rotation and theta is
the angle to rotate by.
I need to convert this into rotations about one or more of the normal
x, y, z axis
As Q-basic does not handle matrices I would prefer a formular not
involving these.  (They had not been invented when I was at school and
I have never been happy working with them)
I would also prefer an e-mail reply but that is not so important.
Thanks
john@jacy.demon.co.uk
:
We are born naked, wet and hungry. Then it gets worse.
Return to Top
Subject: Rotation conversions
From: john@jacy.demon.co.uk (John Cranmer)
Date: Wed, 08 Jan 1997 22:42:04 GMT
Can anyone help.
I would like to convert some VRML scripts into a raytraciung fromat
via Q-basic.  
In VRML rotations can be defined about an arbitary vector
eg   1 1 0   Theta
where 1 1 0 is the vector defining the axis of rotation and theta is
the angle to rotate by.
I need to convert this into rotations about one or more of the normal
x, y, z axis
As Q-basic does not handle matrices I would prefer a formular not
involving these.  (They had not been invented when I was at school and
I have never been happy working with them)
I would also prefer an e-mail reply but that is not so important.
Thanks
john@jacy.demon.co.uk
:
We are born naked, wet and hungry. Then it gets worse.
Return to Top
Subject: Re: Science Versus Ethical Truth.
From: rketcheso@aol.com (RKetcheso)
Date: 8 Jan 1997 22:53:40 GMT
Truth is truth and the person in your scenario told a lie.
Truth brings peace and happiness, but that does not mean _immediate_ peace
and happiness.
   Similarly, God can be all powerful and all loving if you understand
that suffering can lead to greater eventual happiness.  You can't know one
without feeling the other.
Return to Top
Subject: Re: Idle query: how good are math and science teaching outside the U.S.?
From: fkane@anfiteatro.it (Charles Foster Kane)
Date: Wed, 08 Jan 97 22:50:11 GMT
In article , Michael Weiss  wrote:
>Anyway, whatever the truth about the U.S., I'd be interested in
>hearing impressions from other countries.  If you, kind reader, were
>educated outside the U.S. and still reside there, what is your feeling
>about the average level of math and science instruction in your
>country?  Has it declined over the years?  How would you assess it
>today?
I live in Italy. The math education level is very low through primary and 
secondary school. Only if you go to university, and get to study chemistry, 
engineering, physics or, of  course, mathematics you are going to have 
significant education. I am currently in business school and I wish I had been 
taught more maths...
Return to Top

Downloaded by WWW Programs
Byron Palmer