HDTenEightyP/NetNews huggingface dataset:
Newsgroups: sci.math,sci.philosophy.tech
Subject: Re: Proof of the impossibility of god.
From: chisnall@cosc.canterbury.ac.nz (The Technicolour Throw-up)
Date: 8 Sep 92 00:48:38 +1200
Followup-To: sci.philosophy.tech
Distribution: world
Organization: Computer Science,University of Canterbury,New Zealand

From article <1992Sep7.135438.689@csc.canterbury.ac.nz>, by wft@math.canterbury.ac.nz (Bill Taylor):
> So; I'm sure there must be many posters who'd like to send in their own
> "Proof of the impossibility of god".
> 
> As a starter, I'll throw out the idea that the set of numbers of halting
> machines can't be computable, yet, an omniscient god would know this set,
> and thus,  (being rational (?) ), would have an algorithm to compute them,
> so they *would* form a computable set......

This assumes that God is computable which seems rather unlikely.  Why does
God have to be in 0 rather than 0', 0'' etc.  Think of God as the ultimate
oracle (e.g. P^God = NP^God :-).

In another group Marko Amnell recently started a discussion on omniscience
and sets of all sets.  Originally Omniscience probably meant nothing more
than that God was the utilmate village Gossip - he knew where everyone was
and what everyone was thinking.  These days we demand more from the notion. 
This can possibly cause conflict with modern logic (as well as QM).  E.g. Can
God know all sets given that (in ZF) there is no set of all sets.  Can God
know (a) all the statements of ZF (b) which ones are true, and (c) which ones
are independent, and still be a consistent reasoner?

Followups to sci.philosophy.tech.

P.S. Bill - your text wasn't word-wrapped into 80 columns.
--
Just my two rubber ningis worth.
Name: Michael Chisnall  (chisnall@cosc.canterbury.ac.nz)
I'm not a .signature virus and nor do I play one on tv.
Newsgroups: sci.math
From: ross@ecr.mu.oz.au (Ross McAree)
Subject: Grobner basis reference
Organization: Computer Science, University of Melbourne, Australia
Date: Mon, 7 Sep 1992 11:14:57 GMT

Could someone please supply me with a good reference for
so called Grobner basis calculations. 

Ross.
From: bubai@matt.ksu.ksu.edu (P.Chatterjee)
Newsgroups: sci.math
Subject: Need Help on Matrix Differentiation
Date: 7 Sep 1992 23:05:11 -0500
Organization: Kansas State University
NNTP-Posting-Host: matt.ksu.ksu.edu

Hi,

I was just wondering if somebody could help out regarding matrix differentiationThe problem is to minimize:   

y= x'Ax + 2x1 + 3x2 - 10

where A is a 2x2 matrix :   25  7
                             7  13


and x is the (x1 x2) column vector and x' denotes the transpose.

It's easy if one expands the x'Ax term but I was wondering if there was some way doing it using matrix differentiation.

Thanks for any help in this regard.
From: gjm11@cus.cam.ac.uk (G.J. McCaughan)
Newsgroups: sci.math
Subject: Re: measures of the `size' of infinite sets
Date: 10 Sep 92 16:30:16 GMT
Organization: U of Cambridge, England

In article <BuBtsw.52B@unx.sas.com> sasrdt@shewhart.unx.sas.com (Randall D. Tobias) writes:

>What's the density of the set of prime powers?  Ie. how many Galois
>fields are there?

The density of primes near N is about 1/logN. The density of squares,
never mind squares of primes, is about 1/N^2; the density of cubes etc.
contributes even less, so the density of powers, hence certainly of
prime powers other than primes, is about 1/N^2. So the density of
prime powers overall near N is about 1/logN, because the higher powers
just don't come into it at all.
-- 
Gareth McCaughan     Dept. of Pure Mathematics & Mathematical Statistics,
gjm11@cus.cam.ac.uk  Cambridge University, England.    [Research student]
Newsgroups: sci.math.symbolic
From: wmcb@math.appstate.edu (Bill Bauldry)
Subject: Re: MapleV: limit crashes... an old bug?
Followup-To: sci.math.symbolic
Organization: Appalachian State Univ, Math Sciences
Date: Tue, 8 Sep 1992 18:15:00 GMT

In article <61830007@acf3.NYU.EDU>, fanchiot@acf3.NYU.EDU (Sergio
Fanchiotti) wrote:
> 
> 	Playing with MapleV I found out that sometimes it crashes
> 	pretty badly trying a simple limit, it simply runs out of
> 	memory!
> 
> > limit(ln(abs(x))*x,x=0) ;
> bytes used=1000436, alloc=786288, time=9.883
> /usr/bin/maple: 15422 Memory fault11.0u 2.3s 0:36elap 36%cpu (243t+820ds+1063avg+832max)kb (15i+13o)ev (10maj+66min)pf 0swaps
> 
> If we try with the right condition: sometimes it works some it doesn't.
> 
> > limit(ln(abs(x))*x,x=0,right) ;
> bytes used=1000008, alloc=786288, time=10.283
> /usr/bin/maple: 15448 Memory fault11.4u 2.1s 0:38elap 34%cpu (242t+817ds+1059avg+832max)kb (28i+12o)ev (10maj+66min)pf 0swaps
> 
> From the left it also crashes...
> 
> > limit(ln(abs(x))*x,x-=0,left) ;
> bytes used=1000004, alloc=786288, time=10.683
> /usr/bin/maple: 15474 Memory fault11.9u 2.8s 0:49elap 29%cpu (247t+809ds+1056avg+838max)kb (43i+13o)ev (11maj+66min)pf 0swaps
> 
> 
> 	Does anyone know why this crashes Maple. Also, Mathematica won't
> 	do it, but it does not crash..
> 

Very curious ...
When I ran this on my little Macintosh - the answers returned quickly,
correctly, and with not much memory used. But when on a Sparc things just
sort of ran off the deep end with both Maple V and xMaple V. Fascinating!

Bill
----

+=======================+===============================+
     Bill Bauldry       |   wmcb@math.appstate.edu
    Math. Sciences      | wmcb@lynx.math.appstate.edu
  Appalachian State U   |  BauldryWC@appstate.bitnet
   Boone, NC   28608    |       (704) 262-2355
+=======================+===============================+
When judging a mathematician you should only integrate f_+
and ignore f_-
- A Zygmund
Newsgroups: sci.math.symbolic
From: nagttt@vax.oxford.ac.uk (Themos Tsikas)
Newsgroups: sci.math.symbolic
Subject: Re: commercial version of IBM's "new scratchpad"
Date: 10 Sep 92 16:53:49 GMT
Organization: NAG Ltd.


In article <BuCps0.280@news.cso.uiuc.edu>, gaylord@ux1.cso.uiuc.edu 
(Richard J. Gaylord) writes:
> i've been speaking to the NAG people about running AXIOM 
> 
>  they tell me that it requires 32 Mb RAM, 100 Mb of disk space and 100 Mb
> swap space.
> 
> i think that the swap space requirement may be an upper limit
> recommentdation necessary only for graphics and such. i hope so as its
> difficult to free up  200 Mb of space for this program. 
> 
> and i thought Mathematica was a machine hog.
-- 

Those numbers were indeed our recommendations for Release 1.0 of AXIOM.  For 
the current Release 1.1 we recommend 32 Mb RAM and at least 64 Mb of total 
swap (paging) space. The AXIOM Release 1.1 system takes up about 74 Mb of 
disk space (as reported by the "du" command). This splits (roughly) into

	Library modules 	41 Mb
	System code 		16 Mb
	Hypertext documentation	12 Mb
	Library source code 	 5 Mb

More swap space should be provided for concurrent AXIOM sessions.

______________________________________________________________________________
 Themos Tsikas                      e-mail: themos@nag.co.uk
 AXIOM Development Coordinator      tel.  : 44-(0)-865-511245               
                     Numerical Algorithms Group Ltd.                        
           Wilkinson House, Jordan Hill Rd., Oxford, UK OX2 8DR
From: mike@landau.ucdavis.edu (Mike Hannon)
Newsgroups: sci.math.symbolic
Subject: Mathematica: Mac --> PC?
Date: 9 Sep 92 00:03:46 GMT
Organization: Physics, UC Davis
Originator: mike@landau.ucdavis.edu

One of the local users has been doing research for some time using Mathematica
on a Macintosh II (the original).  Because of the speed, or lack of speed, on
the Mac, and because of peer pressure from her coworkers, she has gotten a
'486-based PC.  She uses Mathematica in the Windows 3.1 environment on the PC.

She claims first of all that the user interface on the PC is unbelievably
bad, compared to the interface on the Mac.  This is, no doubt, partly a
subjective evaluation.

In addition, she has had difficulty transferring Mac MMA files to the PC.
I.e., she can do file transfers, but the resulting file is often so
garbled as to be unusable.  The symptoms are that ``cells'' will disappear,
screen information will be printed on top of other information, etc.  And
the printed version of the program (printed on the PC) doesn't correspond
to what is displayed on the screen.

Some or all of this may be an artifact of the transfer process.  She first
did the transfer using Kermit and a modem to upload to a local workstation,
then download to the PC.  Lately she's been using a product called ``MacLink
Plus PC'', which is tailored to this sort of transfer.  She's done the
transfer in text (ASCII) mode and in binary mode.  Some approaches work better
than others, but none works reliably.

Is it possible to use Mac MMA files on a PC, while preserving some of the
notebook structure?  Is there some preferred way to do the transfer?  Thanks.

					- Mike
-----------
Mike Hannon                                 mike@ucdhep     (Bitnet)
ucdhep::mike             (HEPnet)           42385::mike     (HEPnet)
mike@ucdhep.ucdavis.edu  (Internet)         916-752-4966    (Telephone)
Newsgroups: sci.math.symbolic
From: hshlswe1@w222zrz.zrz.tu-berlin.de (Hilmar Schlegel)
Subject: Re: commercial version of IBM's "new scratchpad"
Reply-To: peba1231@camillo.fb12.tu-berlin.de
Organization: TU Berlin, Inst. f. Luft- und Raumfahrt, FRG
Distribution: sci.math.symbolic
Date: Wed, 9 Sep 1992 18:31:24 GMT

In article <CREON.92Sep8134729@wk39.nas.nasa.gov>, creon@nas.nasa.gov
(M. Creon Levit) writes:
> 
> The most exciting thing I saw at SIGGRAPH this year was a verson of new
> scratchpad running on an IBM r6000 workstation (they had changed the name,
> though, and I cant remeber its new name).  Ever since I started reading
> about it, I have considered new scratchpad to be the most significant
> symbolic computing package since macsyma, and now they are finally letting
> it out.  I even saw a preprint of a new book documenting the program.
> 
> This program is incredible.  It seems far beyond macsyma-, mathematica-, or
> maple-like programs.  I believe this is because it is implemented (and
> extended) in an object oriented fashion where the structure of the class
> heirarchy is based on the structure of the class heirarchy used in
> mathematics itself.  E.g, things like semi-groups, differential forms,
> hermitian operators, etc, etc, etc, are distinct datatypes in this system
> with the correct relationships between them.
> 
> The r6000 implementation had all of the 3D color graphics that we have come
> to expect from such packages.  Ports to sun and sgi machines were in the
> works. 
> 
> I dropped the ball, though, and don't know who to contact about getting it.
> If someone could post official information to this newsgroup, I think it
> would go over very well.
> 
> 
> -- end of message --
> 
> Creon Levit
> 
> Mail Stop T045-1
> NASA Ames Research Center
> Moffett Field, California 94035-1000
> USA
> 
> (415)-604-4403      (phone)
> (415)-604-3957      (FAX)
> creon@nas.nasa.gov  (Internet)
> --
> 
> -- end of message --
> 
> Creon Levit
> 
> Mail Stop T045-1
> NASA Ames Research Center
> Moffett Field, California 94035-1000
> USA
> 
> (415)-604-4403      (phone)
> (415)-604-3957      (FAX)
> creon@nas.nasa.gov  (Internet)
This new version is now available from NAG under the name AXIOM.
With respect to far beyond all others .... one should mention that
it requires rather large resources with respect to RAM and disk space.
But this system is really a new generation and I wish that you will have
some fun
with it.
Hilmar Schlegel (hshlswe1@w250zrz.zrz.tu-berlin.de)
#
##

Newsgroups: sci.math.symbolic
From: sutor@watson.ibm.com (Robert Sutor)
Subject: Re: commercial version of IBM's "new scratchpad"
Date: Wed, 09 Sep 1992 21:27:35 GMT
Distribution: sci.math.symbolic
Disclaimer: This posting represents the poster's views, not necessarily those of IBM
Organization: IBM T.J. Watson Research Center

For the sake of not sounding too commercial about this, let me tersely say
that AXIOM is described in a new book _AXIOM: The Scientific Computation System_,
by Richard D. Jenks and the author of this note. It is published by Springer-Verlag
and has ISBN numbers 0-387-97855-0 and 3-540-97855-0.

AXIOM was developed at the IBM T.J. Watson Research Center in Yorktown Heights, New
York (then called Scratchpad II and, later (!) Scratchpad).  It is sold as a product
by NAG Ltd and NAG Inc.  It is available for IBM Risc System / 6000 workstations.

I'll supply more information to the net or to individuals on request.

Robert S. Sutor
From: rsherme@diamond.nswc.navy.mil (Russel Shermer (R43))
Newsgroups: sci.math.symbolic
Subject: Re: Running Mathematica Batch Jobs on a Sun SPARC 2
Date: 8 Sep 92 15:59:05 GMT
Organization: NAVSWC DD White Oak Det.

In article <1992Sep3.210021.6277@afit.af.mil>, bminor@afit.af.mil (Bryan M. Minor) writes:
|> Currently, I am running Mathematica on a 386 under Windows
|> and am very happy with its performance.	But every once in
|> while I come across a larger calculation that really
|> ties up my machine. I have available a number of Sun SPARC 2
|> workstations with Mathematica 2.0.  I do not want to
|> tie up my computers modem all day taking to these Suns;
|> waiting for my results to be finished.	Could someone at
|> least get me started on how to batch Mma jobs on these
|> Suns?  Thanks for your time!
|> 
|> Bryan Minor


I'm not an expert, but I've found the following to work:
on the sun run math:

math -batchinput -batchoutput < batchinfile > batchoutfile &

In the batchinput file, write your commands followed by semicolons.
Also note that you can get a distilled output file using the Save[]
command to record symbols to a second output file.

That should get you started.

	---Russ
From: shiekh@ICTP.TRIESTE.IT (Andy Shiekh)
Newsgroups: sci.math.symbolic
Subject: Student version of Mathematica
Date: 9 Sep 92 15:33:39 GMT


  I understand that the student version of Matematica does not use the
co-processor directly, has a soft cover manual and cannot be networked.

  Are there any other restrictions for the Mac and Windows student
versions of Mathematica?


Andy

_____________________________________________________________________
Anwar Y. Shiekh           | I do not feel obliged to believe that the
International Centre for  | same God who has endowed us with sense, 
  Theoretical Physics     | reason, and intellect has intended us to 
Trieste, Italy            | forgo their use.
(shiekh@itsictp.bitnet)   |                        -- Galileo Galilei
_____________________________________________________________________
From: ivab015@hermes.chpc.utexas.edu (Albert Wu)
Newsgroups: sci.math.symbolic
Subject: Color Density Plot with Mma
Date: 4 Sep 92 21:48:44 GMT
Article-I.D.: chpc.1992Sep4.214844.3637
Organization: The University of Texas System - CHPC

Hello, all.  Would anyone give me a simple example to do color density
plot with Mathmetica ?

Thanks in advance.
From: ethanb@ptolemy.astro.washington.edu (Ethan Bradford)
Newsgroups: sci.math.symbolic
Subject: Theorist <--> Maple transfer.
Date: 15 Sep 92 05:53:15 GMT
Organization: U. of Washington

Has anybody written routines which convert text between the
representations used by Maple and by Theorist?

Thanks.

-- Ethan
--
-- Ethan (ethanb@u.washington.edu)
Newsgroups: sci.math.symbolic
From: santas@inf.ethz.ch (Philip Santas)
Subject: Re: about Symbol
Organization: Dept. Informatik, Swiss Federal Institute of Technology (ETH), Zurich, CH
Date: Tue, 15 Sep 1992 15:53:59 GMT



>   I want define a function like that
>       f[x_] := Block [ body ... ]
>   and I want the first character of variable x must be "A" and
              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

It is important to notice here that Mathematica uses the term Symbol
for describing Variables and certain Values.

Here you want a Symbol which starts by "A" (ie, a Variable, the Value
of which starts by "A")

>   this function could test it automatically. Is any one know how
>   to do that?

f[x_ /; First[Characters[ToString[x]]]=="A"] := Block[...]

Philip Santas

  "In an evolving universe those who stand still are really moving backwards"
--------------------------------------------------------------------------------
email: santas@inf.ethz.ch				 Philip Santas
Mail: Dept. Informatik				Department of Computer Science
      ETH-Zentrum			  Swiss Federal Institute of Technology
      CH-8092 Zurich				       Zurich, Switzerland
      Switzerland
Phone: +41-1-2547391
From: jbaltz@hebrew.cc.columbia.edu (Jerry B. Altzman)
Newsgroups: sci.math.symbolic
Subject: Re: pc applications other than Mma or Maple (for IBM or Apple)
Date: 11 Sep 92 14:46:59 GMT
Followup-To: sci.math.symbolic
Organization: mailer daemons association

In article <BuD9Kx.6u7@rice.edu> stiv@stat.rice.edu (david n stivers) writes:
>Are there any other packages available? 

There's reduce, derive, macsyma...

>Are they any better than these?o

Dunno. There was a review in the August _PC Magazine_ (I think that's the
date) of 5 or so symbolic math programs (macsyma wasn't reviewed, but it
just came out with an update for PC Macsyma)

>david n stivers stiv@rice.edu

//jbaltz
--
jerry b. altzman       Relax, it's all just 1's and 0's       +1 212 854 2057 
jbaltz@columbia.edu                                      jauus@cuvmb (bitnet)
NEVIS::jbaltz (HEPNET)                    ...!rutgers!columbia!jbaltz (bang!)
From: nomura@zen.uta.edu (Seiichi Nomura)
Newsgroups: sci.math.symbolic
Subject: Re: Mathematica machineID problem
Date: 15 Sep 92 17:09:06 GMT
Organization: /users/nomura/.organization


In article <1992Sep14.235259.6309@usage.csd.unsw.OZ.AU> mcba@newt.phys.unsw.edu.au (Michael C. B. Ashley) writes:

>   Two other quick points while I'm here:
>     (1) How many more years will we have to wait before Mathematica comes
>	 with a decent X11 interface?

According to WRI, thery are working on notebook interface under X now.
I saw a demo at the May Mma Conference.

>     (2) The line-mode Mathematica interface is extraordinarily primitive.
>	 Why can't we have a simple history editing feature using the arrow
>	 keys (c.f. "tcsh" and numerous other UNIX programs).

There is a general purpose front end program called "fep". It allows you
to do command line editing a la tcsh. Simply issue "fep math" when using
Mathematica from a terminal.

--

  -------------------------------------------------
  Seiichi Nomura ($@LnB<Lw0l(J)
  Mechanical Engineering Department  nomura@zen.uta.edu
  University of Texas at Arlington   b460nom@utarlg.bitnet
  Arlington, Texas 76019 0023        +1 817 273 2012 (press 2 for fax)
Newsgroups: sci.math.symbolic
From: say@monashee.sfu.ca (Daniel Say)
Subject: Re: Chiwriter to Tex converter [internet address of Horstmann]
Organization: Simon Fraser University, Burnaby, B.C., Canada
Date: Thu, 10 Sep 1992 07:19:14 GMT

	Horstman software with Cay Horstman has
		internet address of: horstman@sjsumcs.sjsu.edu
	which is San Jose State University, where he works at
	the department of Mathematics and Computer Science.

	You might want to read his article in TUGboat (volume 12,
	no. 4, 1991 (Proceedings of the 1991 Annual meeting) 
	pages 471-478 where he discusses "Automatic Conversion from
	a Scientific word Processor to TeX".

Newsgroups: sci.math.symbolic
From: leok@archimedes.eecs.umich.edu (Leo Charles Kempel)
Subject: Re: Maple differntiation
Organization: University of Michigan EECS Dept., Ann Arbor, MI
Date: Wed, 9 Sep 1992 13:08:33 GMT

In article <1992Sep9.123145.6802@uwm.edu>, litow@csd4.csd.uwm.edu (Bruce E Litow) writes:
|> Maple V does this
|> 
|> > diff(xy,y);
|> > 0
|> 
|> 
|> This is clearly a bug.
|> -- 
|> Bruce Litow
|> Computing Services Division
|> P.O.Box 413, University of Wisconsin-Milwaukee, 53201
|> 414 229 6431    litow@csd4.csd.uwm.edu

Maple V requires the operator...

> diff(x*y,y);
                                       x

-- 

Leo C. Kempel
Graduate Student Research Assistant
Radiation Laboratory




Newsgroups: sci.math.symbolic
From: serhody@rodan.acs.syr.edu (Stephen e. Rhody)
Subject: MMA, difference equations
Keywords: MMA, difference equations
Organization: Syracuse University, Syracuse, NY
Date: Fri, 11 Sep 92 08:30:01 EDT

Does anyone know of a package in Mathematica for doing difference equations.
I need to do Z tranforms and the like.

All suggestions appreciated,

Steve
From: john@aquarius.unm.edu (John Prentice)
Newsgroups: sci.math.symbolic
Subject: Re: commercial version of IBM's "new scratchpad"
Date: 8 Sep 92 22:55:24 GMT
Distribution: sci.math.symbolic
Organization: Dept. of Physics & Astro, University of New Mexico, Albuquerque

In article <CREON.92Sep8134729@wk39.nas.nasa.gov> creon@nas.nasa.gov writes:
>
>The most exciting thing I saw at SIGGRAPH this year was a verson of new
>scratchpad running on an IBM r6000 workstation (they had changed the name,
>though, and I cant remeber its new name). 
[stuff deleted]
>I dropped the ball, though, and don't know who to contact about getting it.
>If someone could post official information to this newsgroup, I think it
>would go over very well.
>

I assume you are talking about the product from NAG.  I also forget its
name, but I have it in my office if anyone wants me to look it up.  I
also have ordering info and probably prices.

John
-- 
Dr. John K. Prentice                      
Partner, Quetzal Computational Associates    
3200 Carlisle N.E., Albuquerque, NM   87110-1664; 505-889-4543
john@aquarius.unm.edu -or- jkprent@cs.sandia.gov -or- prentice@rufous.cs.unm.edu
From: subrat@ece.iisc.ernet.in
Newsgroups: sci.math.symbolic
Subject: WANTED:Maple or Mathematica:386/486 vers;how-to-get
Date: 15 Sep 92 17:08:41 GMT
Reply-To: subrat@ece.iisc.ernet.in, subrat@ICTP.Trieste.It


I am looking for Mathematica and Maple versions that run under
extended-DOS on 386/486 PCs. What are the minimum memory/disk
requirements for these things and who do I buy these software
from ? Would prefer to correspond with the Company thru email
but have misplaced their addresses (...@...waterloo.something)

Please send me (or bcc: me in your replies, I don't have a 
USENET feed) the email addresses of either / both Companies.

Thanks in advance,

Subrat Kar (subrat@ece.iisc.ernet.in)

Tue Sep 15 22:05:35 GMT+0500 1992
Indian Institute of Science
Bangalore, India
Newsgroups: sci.math.symbolic