User talk:Michael Hardy/Archive2

Welcome to user-land! :-) (bwahahahah!) -- Tarquin 20:27 Jan 9, 2003 (UTC)

Autistic savants

G'day

My name is Jef Reinten; I recently read your comment in the discussion board for Autistic savants. You commented that you doubt the existence of mathematical savants because math requires a degree of ingenuity. This claim is only partially correct; there are no low functioning savants that demonstrate a truly creative approach to maths. However, savants have been encountered that demonstrate profound skills in arithmetical processes (Treffert D.A. (2000) Extraordinary people Bantom Press, London), but not the complex mumbo jumbo that you seem so into.

Should you wish to discuss this further I would be pleased to hear from you. [email protected]

Hi, Michael,

We obviously share and interest in Archimedes and statistics.

Thanks for improving the explanation of Archimedes' theorem on the area of the parabola, and correcting my mistakes in the list of his books. I am writing from memory, since my copy of Heath is sitting on a shelf several thousand miles from me, so it's very good that there's someone out there to set me straight. -- Miguel

Just curious. Are you Michael Hardy from MIT, Michael Hardy from Texas (I found the two names on Google) or other Michael Hardy? wshun 00:49, 17 Aug 2003 (UTC)

I was at MIT for three years; I no longer am. I've never had an academic appointment in Texas. Michael Hardy 14:02, 17 Aug 2003 (UTC)

Here's why I think the content of "Generatics" is not taught anywhere. The

American Mathematical Monthly of the Mathematical Association of America is considered the magazine for college math teachers, who prepare HS and Middle School teachers. In 1979, when I started at Naval Research Laboratory, with an excellent library, I spent many lunch hours, sandwich in hand, searching copies of AMM from first issue to last for an article on this subject, even mention of Hamilton's vector form. Nada. I then. in 1979, sent a one page explanation of this. It was rejected as "too difficult" for their readers. Next year, in 1980, I sent essentially the same article. No rejection or even notice of my submission. In 1981, ditto, with a rejection, again "too difficult". In 1982, 1983, 1984, no rejection, no notice of submission. Then I started sending a two sentence letter about this. Never printed.Twice a year, until my retirement in 1990, 12 letters in all -- each a 2-sentence letter, only syntactically varied. Never printed. Somehow it is heresy. And no one will tell me why.jonhays 00:29, 22 Sep 2003 (UTC)

Your premises do not support the conclusion that anyone considers it "heresy". You have not demonstrated that the referee was wrong to call your article too difficult for that journal's readers. The individual topics you mentioned are standard parts of the curriculum, even if collecting them into a single topic under a single name is not. To imagine that the only reason anyone might reject your writings for publication is that they consider them heretical is to start to look paranoid. Michael Hardy 01:31, 22 Sep 2003 (UTC)

Hi - fab work on Boolos, Second-order logic (LONG awaited) and Cantor's Theorem and first uncountability proof. I added some bits and links to my stuff. There is still a confusion between the diagonal argument (which explicitly mentions the reals i think) and Cantor's Theorem (which simply says for any set S, P(S) > S). Not sure this is entirely clear.

Dbuckner

Hi Michael. Good job spotting my error in the Markov property article! Ben Cairns 03:45, 18 Nov 2003 (UTC)

Hi Mike,

I finally got the chance to access Cantor's original paper (1891) containing the first version of the diagonal argument. Also found a useful link on the web to the German version (as edited by Zermelo) of the paper. It turns out that Cantor intended it as a general proof that for any M whatsoever, P(M) > M. He never mentions the reals or anything like that (though he mentions some consequences of the argument later in this short piece).

The consequence of this is that the "diagonal argument" article is introduced entirely wrong, in saying Cantor's proof is that the [0,1] is uncountable. That is of course a consequence of the proof, but the proof is mroe general than that.

Your piece on Cantor's theorem (which I edited) is however pretty much OK as it stands. Dean B.

I've nominated you for adminship. If you accept, please reply at Wikipedia:Requests for adminship. Maximus Rex 06:53, 1 Dec 2003 (UTC)

Hi Michael: two things...

I've converted that Desargues' theorem PDF to a PNG and updated the page. It still needs some good alternate text, though, which I thought I'd leave to you (such geometry is not really my thing).
Have you given up on the 'Show preview' option when editing pages? No wonder you've made 12K edits :) More seriously, doesn't this reduce the effectiveness of the Wiki?

Regards, Ben Cairns 02:02, 2 Dec 2003 (UTC)

Hi Michael. Would you mind having a look at User:Bjcairns/Probability? I have an idea to build a table of contents for people wanting to learn probability from the Wikipedia, and would greatly appreciate your input. I imagine some kind of pre- or proto-Wikibooks thing. (Any other probability people reading this are also most welcome!) Thanks, Ben Cairns 00:37, 5 Dec 2003 (UTC)

CHALLENGE PROBLEM. Doggle Company has a fleet of 10 vehicles: 4 vans, 3 small trucks, 2 big trucks, 1 sedan. What is the probability, ceteris paribus, that. at a given time, 4 vehicles will be in use? Please note that this is not the multinomial probability distribution , which samples distinguishable items from a distinguishable population. Rather, it samples undistinguished items from a distinguishable population. The answer is found at http://members.fortunecity.com/jonhays/parprob.htm , which fills in a critcal gap in statistical literature. authored by User:Jonhays0, 03:12, 5 Dec 2003

You're now an administrator -- Tim Starling 00:32, Dec 6, 2003 (UTC)

Congratulations. If I had realised you weren't already one I would nominated you long ago. I know we have clashed on occasion but I am glad to see that someone who does so much good work on wikipedia is getting proper recognition. We could almost call you our editor-in-chief or at least proofwriter-in-chief. Good luck! FearÉIREANN 01:09, 6 Dec 2003 (UTC)

Thank you.

I promise to sentence three Wikipedians to burn at the stake for heresy (or maybe for hearsay) each week. Michael Hardy 01:44, 6 Dec 2003 (UTC)

Hi there. Congrats on the adminship - join the club! You were asking why "Penny" was capitalised in the chapter titles but not in the introductory chapter -- the reason is the articles' subject is "Penny" and the "English" or "British" is just a qualifier. "History of the English penny" was not my title for the article, as it had a more hierarchical name to match all the other denominations linked off "British coinage" but someone else took a dislike to it and renamed it... not my idea! Arwel 03:03, 6 Dec 2003 (UTC)

I've found a misplaced reference showing that "generatics" did not start with me in content,

only in name. The book, "Learn from the Masters", edited by Dwetz, Fauvel, Bekken, Johannsson, Katz (Mathematical Association of America, 1991), says on p. 286, "It was not until 1894 that J. Tannery introduced the arithmetic of rationals as pairs [vectors] of integers." (Jules Tannery (1818-1910), French, is cited ONLINE.)--In 1957, I received a grant from the National Science Foundation to organize the first NSF Workshop in Puerto Rico, planned for high math school teachers (some from States). I taught "Foundations of Mathematics". I was sent papers (later lost) from previous Workshops. One set described Tannery's work and Hamilton's formulation of complex numbers as pairs or vectors of reals. The formulator filled in by deriving integers from pairs or vectors of natural numbers. The latter shows how "the law of signs" derives from CLOSURE on DEFINED DIFFERENCES (DDs) of naturals : (a - b), s.t. subtrahend is not greater than minuend, hence, a natural number. Critical is multiplication law for DD. From standard multiplication algorithm, find that, for DDs, (a - b) * (c - d) = (a*c + (-b)*(-d)) + (a*(-d) + (-b)*c). Applying, 10 = 5*2 = (9 - 4)*(2 - 0) = 18 + (-4)*(2) + 0 = 10, hence, (-4)*(2) must act as a subtrahend -8, leading to "negative times positive equals negative" rule. Applying product rule to 30 = 6*5 = (9 - 3) - (7 - 2) = (63 + (-3)*(-2)) - (18 + 21) = (63 - 39) + (-3)*(-2) = 24 + x = 30, hence, x = 6 = (-3)*(-2), leading to "negative times negative equals positive" rule. This is forced by CLOSURE on DDs. However, in the "Generating arithmetic" article which I initiated, some one put in that CLOSURE is a concept from category theory, very advanceed math. Yet, the above book, on p. 260, says, "For Galois (1830), Jordan (1870), and even in Klein's "Lectures on the Icosohedron" (1884), groups were defined by the one axiom of closure. The other axioms were implicit in the context of their discussions -- finite groups of transformations." So CLOSURE goes back at least to 1830.Jonhays0

Ok... What is the reason to have a self-link? - UtherSRG 00:36, 3 Jan 2004 (UTC)

The reason is that the article is about the concept of a fixed point. Michael Hardy 00:41, 3 Jan 2004 (UTC)

Maybe I'm clueless, but that doesn't give me anything. Or is this just a pun? :) - UtherSRG 00:43, 3 Jan 2004 (UTC)

It's a useful pun in this case, because it is suggestive of the article's topic. It is instructive; it helps the reader remember the idea. Humor should not be included when it is gratuitous, but this instance of humor helps get the point across. Michael Hardy 00:47, 3 Jan 2004 (UTC)

Yup. I was clueless. It's a great pun. I've been doing this too long today. :)

In my mind multiple comparisons is part of analysis of variance but simultaneous statistical inference is broader, including things like confidence bands in regression.Cutler 20:34, 3 Jan 2004 (UTC)

I have no idea whether to put it here or not. I am still not very familiar with these systems, but I would want to say thank you, for your welcome and your advice. -Sothis

just want to say thanks for the many quality math articles you contributed. I enjoyed them extremely. Xah P0lyglut 14:06, 2004 Jan 7 (UTC)

Thank you. I'm glad someone's reading them. Michael Hardy 21:55, 8 Jan 2004 (UTC)

Mike, thanks for your interest in the Cox's theorem article. I've appended a comment about formatting to the article talk page. Best, Wile E. Heresiarch 23:51, 8 Jan 2004 (UTC)

Michael, thanks for the comments on L-S. I still had the other comment, to more with the internal conection between this, your article on Second-order logic, and the other on First-order logic. As follows:

My difficulty is what "first order" sentences are. It says under First-order logic that "first-order logic is strong enough to formalize all of set theory and thereby virtually all of mathematics." But it also says " It [FOL] is a stronger theory than sentential logic, but a weaker theory than arithmetic, set theory, or second-order logic."

Yet under Second-order logic we have "second-order logic differs from first-order logic in that it allows quantification over subsets of a domain, or functions from the domain into itself, rather than only over individual members of the domain."

I have difficulty in understanding how "first-order logic is strong enough to formalize all of set theory and thereby virtually all of mathematics." But also that FOL by implication does not allow "quantification over subsets of a domain". These statements seem to contradict each other. If FOL does not allow quantification over subsets of a domain, how can it "formalize all of set theory and thereby virtually all of mathematics."?

Regards, Dean

Hi Michael, if the idea appeals to you, I'd like you to review Principle of indifference. If you choose to do so, and you see something that needs fixing but don't feel like doing it yourself, I'll be keeping an eye on the talk page. Cheers, Cyan 01:41, 15 Jan 2004 (UTC)

Talk:Covariance matrix

I put in my two cents at Talk:Covariance matrix -- SEWilco 19:29, 15 Jan 2004 (UTC)

List of statistical topics

Will do - thanks for pointing this out (and for supplying various links etc on the U-test page). seglea 00:14, 17 Jan 2004 (UTC) (Hedgerow statistician)

CHALLENGE PROBLEM. Doggle Company has a fleet of 10 vehicles: 4 vans, 3 small trucks, 2 big trucks, 1 sedan. What is the probability, ceteris paribus, that at a given time, 4 vehicles will be in use? Please note that this is not the multinomial probability distribution, which samples distinguishable items from a distinguishable population. Rather, it samples undistinguished items from a distinguishable population. The answer is found at http://members.fortunecity.com/jonhays/parprob.htm , which fills in a critcal gap in statistical literature.jonhays 17:54, 17 Jan 2004 (UTC)

Borel's paradox

A recent addition, this article could undoubtedly use your expertise, if you're so inclined. (I am the original author.) -- Cyan 17:48, 27 Jan 2004 (UTC)

Claiming old edits of yours

Out of an off chance on reading Talk:Aluminum, I noticed a number of edits you probably made when you were logged out. If you like, you can claim the edits under 131.183.84.196 if you still have access to that IP. Thanks, and HTH Dysprosia 09:04, 21 Feb 2004 (UTC)

Alright, do you have any sense of civility? Grow up! I see the picture you posted and I was a little surprised. I was genuinely expecting someone younger.

Poission distribution is not only parameterized continuously, but discribes the probability of events as they occur in continuous time. The events are discrete events, no doubt, But we are talking about their distribution, not the events themselves.

It is impossible to simulate processes that involve poission distributions to perfect accuracy on a turing machine. Turing machines can perform any discrete mathematical operation to perfect accuracy. Therefore, poission distribution is not discrete.

Perhaps you are speaking of some dogmatic naming convention. I don't give two sh!ts about this convention. I care whether the poission distribution is discrete or continuous in a meaningfull sense. The fact that the events that occur are discrete events does not make the distribution itself discrete.

The poission distribution takes two parameters. Neither of those parameters is more primal than the other. One of them is continuous, therefore, the distribution itself is continuous.

What is your problem? Do you need to take an anger/ego management class? This is ridiculous! -- Kevin Baas 01:00, 25 Feb 2004 (UTC)

Mr. Baas, you have been very rude on a number of occasions on talk pages, and that which you call my rudeness was in fact merely my description of the facts, plus my opinion that you often write unclearly.

You are confused about the Poisson distribution. Any Poisson distribution is a discrete probability distribution; the family of all Poisson distributions is parametrized by one non-negative real parameter. Your reference to "events as they occur in continuous time" suggests that you are confusing the Poisson distribution with the Poisson process. Indeed, we are talking about the distribution, not the events themselves. The support of this probability distribution is the set { 0, 1, 2, 3, ... } of non-negative integers; therefore, it is necessarily a discrete distribution.

You write that "It is impossible to simulate processes that involve poission distributions to perfect accuracy on a turing machine." But the same is true of all probability distributions, including a single coin-toss. You wrote: "Turing machines can perform any discrete mathematical operation to perfect accuracy." But they cannot simulate a coin toss. And you forget that the probability that a biased coin comes up heads can be a noncomputable irrational number, and that in no way diminishes the fact that the number of "heads" that appear -- either zero or one -- is a random variable whose probability distribution is discrete.

In your manner of writing about mathematics, you appear to consistently make matters more complicated than they really are.

That I do not follow conventions dogmatically is proved by the nature of some of my contributions to Neil Weiss's new book on probability, in which I argued at length in favor of some unconventional nomeclature that he ultimately adopted. I follow conventions in order to understand others and to be understood by others.

Your statement that "One of [two parameters] is continuous, therefore, the distribution itself is continuous." is utter nonsense; even the simple coin-toss random variable is parametrized by a continuous parameter.

And, moreover, as I said, there is just one such parameter, and it is continuous. You seem to have in mind that the family of Poisson distributions is parametrized by two parameters, and one is discrete! I know of no discrete parameter used to parametrize the family of Poisson distributions. Conventionally, this family is parametrized by one parameter λ (I do not insist on that particular letter) and the probability mass function is given by

P(X=x)={\lambda ^{x}e^{-\lambda } \over x!},

where x ∈ { 0, 1, 2, 3, ... }.

"Continuity" of a parameter space in no way implies that a distribution belonging to the family is discrete.

You would both communicate and understand better if you if you learned conventional language instead of exhibiting a holier-than-thou contemptuousness of it.

You would both communicate and understand better if you were not so often so belligerent. Michael Hardy 01:50, 25 Feb 2004 (UTC)

I agree that there is turbelence and a million other processes involved in the flipping of a real coin, and that it would be quite inconceivable for a computer to simulate all of these processes. But that's boringly obvious. Why even mention it?

Perhaps "calculate" the probability would be a term that communicates my point better? The probability is a computable number. These probabilities can be manipulated and composed every which way, without involving random numbers, in what may be called a "simulation". The end result is a discrete probability distribution which is an exact solution, not an outcome or event.

However, a computer cannot produce an exact solution if the probability model involves a poission distribution.

If the coin is biased and the resulting probability is an uncomputable number, this implies that it was biased by an uncomputable number. But nondimensionalizing solves this problem. Essentially, we're not really concerned with "numbers" when we're talking about a computer. We're talking, rather, about finite states. So long as the problem can be coded by a finite number of states, it is discrete, and can be operated on by a turing machine.

The poission distribution is often represented in the form:

P(x,\lambda )={\lambda ^{x}e^{-\lambda } \over x!}

A special case of the poission distribution is the exponential distribution, where the x parameter is 1:

P(\lambda ,t)={\lambda e^{-\lambda t}}

- Kevin Baas 17:04, 25 Feb 2004 (UTC)

Here you are mistaken on several counts. (And you still give just one parameter λ.) You are wrong to call the exponential distribution a special case of the Poisson distribution. The Poisson distribution is a discrete distribution assigning a probability to each nonnegative integer. The exponential distribution is a continuous probability distribution that assigns a positive probability to every interval in the half-line (0, ∞). To say the exponential distribution is a special case of the Poisson distribution would mean that every exponential distribution is a Poisson distribution but not every Poisson distribution is an exponential distribution. That is false; the exponential distribution is not a Poisson distribution. As I said, you are confusing two different things with each other: (1) Poisson distributions, and (2) (more complicated) Poisson processes. A 1-dimensional Poisson process involves discrete Poisson distributions and continuous exponential distributions. The distribution of the number of "arrivals" in a given time interval is a discrete probability distribution; it is a Poisson distribution. The distribution of the waiting time until the next "arrival" after a given time is a continuous probability distribution; it is an exponential distribution, not a Poisson distribution. Every time I've taught probability I've warned students not to confuse these two things with each other, and almost always some of them do. So be more careful. Michael Hardy 20:05, 25 Feb 2004 (UTC)

Heh, you guys argue a lot.

I agree with Michael -- what he is saying is standard nomenclature. If either one of you was wrong, though, there's no need to throw words like "two shits" around to prove your point. :-)

I agree; as I said, Kevin Baas often seems very angry; I don't know why. Michael Hardy 02:17, 27 Feb 2004 (UTC)

The distribution just describes the probability P(X=x) of an event X=x happening. Usually the value of the variable is not considered a parameter

...and if it is so considered, it certainly does not parametrize a family of probability distributions. Each value of λ determines which probability distribution we're looking at. So the probability distribution is determined by the value of just one parameter. Michael Hardy 02:20, 27 Feb 2004 (UTC)

Perhaps this is where our problem of communication lies. Where you consider a probability distribution as parameterized, I consider the probability distribution in-itself. A "discrete" probability distribution is one that can be represented by a finite set of symbols, without recourse to any formulas, and is, likewise, a selection from a finite set of possibilities. A continuous one, on the other hand, does not meet these constraints. -- Kevin Baas 05:41, 28 Feb 2004 (UTC)

(at least I have never seen anyone talk about it that way). Certainly the final value of the distribution function depends on its parameters and on x, but "parameters" usually refers to the other values that characterize that particular distribution, e.g. for the binomial distribution you have n and p (the number of tosses, the probability of a success per toss).

Maybe that's the source of your debates? I guess you can refer to x as being the "argument" to the function, instead of a parameter of the function.

Finally, as to your examples, you can have various distributions depending on the situation is. As you mentioned, you can make a Markov process out of the poisson distribution (by making the Mean parameter, i'll call it $\lambda$ , vary proportionally with the time elapsed, so it becomes $\lambda$ t). Then the probability of the first success is exponentially distributed. That's a different distribution and it does depend on two parameters. (It's a special case of the Gamma distribution, if you want to say that.) The poisson distribution is one of the only distributions that has one parameter (the mean), because it describes pretty simple things. And yes, it is discrete.

PS: Aren't computable numbers those numbers that can be computed in a finite time? If so, I don't see why the probability of a binomial distribuion with parameters n and p is possibly non-computable. (This is to Michael, I guess.)

- Greg Magarshak 12:32, 26 Feb 2004 (UTC)

Because some numbers p between 0 and 1 are not computable. There are only countably many algorithms, after all. Michael Hardy 02:20, 27 Feb 2004 (UTC)

But the point is, Michael, that the number q between 0 and 1 is quite computable: it is q. The solution is a Godel number. -- Kevin Baas 17:57, 27 Feb 2004 (UTC)

I tried to give this comment the benefit of the doubt, but it doesn't make sense. "Most" (in the sense of cardinality, or in the sense of Lebesgue measure) numbers between 0 and 1 are not computable. Nothing stops "q" from being such a number. The statement about Gödel numbers appears to be nonsense; Gödel numbers are usually taken to be integers,

...What? Godel numbers are not integers. Godel numbers are elements of a set. Their symbolic representation is completely arbitrary.

but if one insists on some real-value Gödel-numbering system, the comment remains nonsense. The real parameter identifying a Bernoulli distribution need not be computable. Michael Hardy 00:56, 28 Feb 2004 (UTC)

My point is that you are thinking absolutely whereas the point of a computer is to think relatively; abstractly - such as abstract algebra. One can say, for instance, that the symbol "1" represents Chatin's constant, and then build axioms around that. (Too many axioms, and the system becomes logically inconsistent, too few and it is logically incomplete, and one can't have a complete and consistent system - this is what Godel proved.) Thus, yes, even though, starting from the standard system of mathematics, one cannot compute Chatin's constant, one can begin with a system that uses Chatin's constant as a basis, and Chatin's constant is thus quite computable. Ofcourse, one cannot construct from that system a combination of axioms that is topologically equaivalent to Chatin's constant, but that is irrelevant, we are still able to compute the value that we desire, in terms of our custom-tailored symbolic set. Is this clear? I feel I've stated it pretty unambiguously here. -- Kevin Baas 05:41, 28 Feb 2004 (UTC)

The above now seems clear, but that's no reason to call it a Gödel number. Michael Hardy 01:03, 29 Feb 2004 (UTC)

Guys, what I mean by computable here is that, given n and p I don't see what's so uncomputable about the Binomial distribution. Everything in the Binomial formula is computable. You can't stick a chaitin's constant anywhere in there. - Greg Magarshak 3/01/2004

The reason I am calling it a Godel number is because the entire theorem which involves Godel numbers is based on this view. Hence, the essay being entitled "On the formal incompleteness of Principia Mathematica and related systems". Indeed, any discussion of Godel numbers tacitly assumes this view. The reason to call it a Godel number is to invoke this context. Why else would one call it anything at all, if not to invoke a context? -- Kevin Baas 07:16, 29 Feb 2004 (UTC)

Re: I. J. Good and [1]. It may interest you to know that Bruno de Finetti did in fact refer to him as "Irving Good" in a "Farewell Lecture" delivered at the Istituto Matematico G. Castelnuevo on the 29th of November, 1976 (translated and published as Probability: Beware of Falsifications in "New Developments in the Applications of Bayesian Methods", Ahmet Aykaç and Carlo Brumat eds., 1977). -- Cyan 03:00, 2 Mar 2004 (UTC)~

Sugestion concerning the use of TeX on Wikipedia

On most browsers, TeX looks terrible when embedded in text, like this: $\int _{0}^{1}x\,dx$ . When it is "displayed", rather than embedded in text, it should be indented, like this:

\int _{-\infty }^{\infty }1\,dx

and not like this:

$\int _{-\infty }^{\infty }1\,dx.$

Michael Hardy 22:06, 8 Mar 2004 (UTC)

I agree with you. It looks better. Simple and elegant solution. -- Decumanus 22:16, 8 Mar 2004 (UTC)

But you can inline it like

\int _{-\infty }^{\infty }1\,dx

which looks pretty good.

—Herbee 11:58, 2004 Mar 16 (UTC)

On your browser, perhaps. On mine, Michael's original example looks perfectly fine; it's almost properly aligned and very nearly the proper size. OTOH, your "hackish" (no offense) alignment is completely misaligned! But it's all just coincidence, of course. On the machine I use at work, standard inline TeX looks awful. (I haven't checked this page on that machine.) This is why tinkering with the purely visual appearance of something on Wikipedia is not necessarily a good thing. BTW, before someone brings it up, one could argue that Michael's indenting of displayed TeX is not purely a visual choice, but also a somewhat semantic one. I mean, displayed math is indented (actually, centered) by default in TeX for a reason... - dcljr 21:20, 26 Jul 2004 (UTC)

Hello again, Michael. I noticed you adding an apostrophe to Descartes' theorem. That is an improvement in itself, but I had a reason to remain apostrophe-less. I have now added the complex Descartes theorem (as a section in the same article), but the two titles are now inconsistent. I've done what seemed best to me. What do you think?
—Herbee 12:36, 2004 Mar 17 (UTC)

I think it's OK with the apostrophe in the title and with the one apostrophe-less section. Anyone looking for Descartes theorem with no apostrophe will get redirected appropriately. Michael Hardy 21:32, 17 Mar 2004 (UTC)

Michael, in the book "Proofs without words", there is another nice visual proof (using a circle) of Pythagorean theorem, attributed to "Michael Hardy",...any relation? Revolver 03:07, 19 Mar 2004 (UTC)

I seem to recall writing a proof of the inequality of arithmetic and geometric means that appeared under proof without words in the College Mathematics Journal; I suspect that is what you saw. Michael Hardy 23:57, 20 Mar 2004 (UTC)

Iconostasis

Hi Michael, I'm interested in the fact you are the first contributer to the article iconostasis. It seems out of your main interest. Just curious, but can you let me know what makes you be interested in this field? Just an aesthetic interest or other? I study art philosophy and a would-be Eastern Orthodox faithful (Father David considers me unprepared to baptize yet now). KIZU 20:35, 20 Mar 2004 (UTC)

Partly it's just the esthetic appeal of polysyllabic Greek words. Although not a religious believer, I have also written on Wikipedia about some historical and technical aspects of Eastern Orthodoxy and Roman Catholicism. Michael Hardy 00:23, 22 Mar 2004 (UTC)

However, you know far less about the Orthodox Church than you think. For example, you installed the BLATANT LIE that the Orthodox Church cannot hold an Ecumenical Council without the participation of the Pope of Rome. What Orthodox Bishop taught you this? Where in Orthodox Catechism did you learn this? This claim is absolutely and outright false. It's the sort of thing that a Jesuit propaganda tract would promulgate.Dogface 22:47, 26 Mar 2004 (UTC)

Hi,

It's seems like we are having a "little" Edit War on Newcomb's paradox. Ben insists that it IS NOT a paradox (he even putted a silly green box with an irony by David Hume -- see Newcomb's paradox history page). I yet talked to him but he doesnt want to hear me!

See the history pages on Newcomb's paradox and William Newcomb for more info

And please, edit this page, its more than 37k long --Dobrowsky Mdob 01:28, 22 Mar 2004 (UTC)

Newcomb's Paradox

Newcomb's paradox is not a paradox because reverse causation is defined in the problem. Please return the David Hume quotation. Bensaccount 04:05, 22 Mar 2004 (UTC)

Hi, I saw your note about not finding Insitute Professors. I put in a request to the MIT library to see if they can provide one. If they respond I will let you know. AJim 02:41, 27 Mar 2004 (UTC)

Michael, thanks for the articles on holomorphic and analytic functions, esp. the proof of holomorphic ==> analytic. Some classes don't make the distinction clear. Revolver 05:32, 1 Apr 2004 (UTC)

Thanks -- I'm glad someone's reading this stuff. Michael Hardy 00:55, 3 Apr 2004 (UTC)

Hi

thanks for your edit on statististical efficiency. Would you cast your eye over my recent Cochran's theorem? I ask because I'm trying to get my brain round it and I figure that writing a wiki article is the best way to learn.

best

Robinh 08:31, 5 Apr 2004 (UTC)

legal vs natural persons

Hi Michael. I'm not a legal expert; but, this is how it has been explained to me. I would be glad to be corrected.

Although a slave is in every natural sense a human being and fully a person, the law considered these people in a legal sense as ~~2/3~~ 3/5 of a person. Likewise in abortion law, the issue of whether the unborn child is, in a natural sense, a human being, although not entirely irrelevant, is legally distinct from how the law regards the child. Unless legal status of personhood is recognized, natural personhood doesn't necessarily correspond with legal personhood. The same issues may come into play in euthanasia, if I understand them correctly. The person in a legal sense has standing before the law, which the person considered naturally does not have - so that I may by law (in my state of Oregon, for example) make provision to protect my doctor from prosecutiion for murder for putting my natural self to death. I think that this is what the paragraph was referring to, which spoke of a "non-correspondence between natural and legal" status of personhood. Mkmcconn — 04:14, 9 Apr 2004 (UTC)

I've answered on your talk page. Michael Hardy 18:37, 9 Apr 2004 (UTC)

The concept of a legal person concerns "entities", not "organizations": organizations are entities, but so are people. Returning to the example, an unborn child is legally considered a person only so far as necessary to protect its rights should the child be born. If it is not born, then its personhood is not recognized by the courts, so that reparation for tortious damages cannot be sought on the child's behalf, unless the child is later born. The legal concept of personhood is involved here in a very clear way, as in the old case of slaves as well. The point is that whatever the courts recognizes as a person, is a person - regardless of whether that entity is naturally considered a person. And in a few strange cases, even natural persons are not always considered fully a person in a legal sense.

Michael, It seems to me that the only reason that the article does not deal with this issue directly, is because it is not written to do so; not because "legal personhood" is irrelevant to these issues. Mkmcconn — 21:32, 9 Apr 2004 (UTC)

Perhaps legal personhood could deal with the issues you raise and legal personality (now a redirect page) with the "organizations" issue. It seems to me that when people use the phrase legal person or legal personality, they're always talking about organizations that the law treats in some circumstances as if they are persons. Michael Hardy 21:48, 9 Apr 2004 (UTC)

That's a good suggestion. And since "Legal person" almost always refers to organizations, it appears, [[legal personhood]] seems to be the appropriate place for the other concepts to be dealt with. A see also section can be added to the "legal person" article. Thanks for the interaction. Mkmcconn — 22:56, 9 Apr 2004 (UTC)

Agency

Thanks for fixing up law of agency... --Rj 03:07, May 3, 2004 (UTC)

Mann-Whitney and other stats matters

Hi Michael-- thanks for fixing up the maths in the Mann-Whitney U test. I have just put up a page on the Page test, a little known but very useful generalisation of Spearman's rank correlation coefficient, which so far as I can see is otherwise undocumented on the web. The maths on that needs fixing, too, but I will get round to it eventually... More important, would you be able to have a look at the terminology etc? I am a user of stats rather than a statistician and there is always a risk I have committed a solecism. I'd be grateful.

I have added it to the list of statistical topics. Do you think we should have a subsidiary list of statistical significance tests?

seglea 01:36, 5 May 2004 (UTC)[reply]

Capital Letters In Headlines Suck

Please stop worshipping capital letters like this

I couldn't agree more. I try to neutralize capital letters myself whenever I see them (though, since English isn't my primary language, I sometimes hesitate). Keep up the good work (with the capital letters and with everything else). - Fredrik (talk) 18:05, 3 Jun 2004 (UTC)

Capitalization in Mathematics (please, not mathematics)

Ohhhhhh... this is definitely a ridiculous aesthetic issue... Imagine, what would happen when we start writing code in Wikipedia more diligently: Is there a reason on engaging into a war of coding styles? Some will argue that we must not use GNU-indentation but Java-indentation; that pascal-casing is better than camel-casing. XML-documentation or Javadoc-documentation? Ahhhgrrr...

Now,

Gödel's first incompleteness theorem
algebraic geometry

what's next?

P = Np instead of P = NP

I don't really, really, really, mind; this is not a very important issue, but I do mind about it. The subject essence is still there in the article. But this is starting to turn ridiculous.

I concede that there are cases of frivolity... I was "wondering" wether I should write Non-Logical Axioms instead of Non-logical axioms. I chose the later, simply because there is no great sacrifice in acknowledging that sticking with the style of the former string would be just childish (I also understood that Non-logical Axioms has no better value as a title than its purpose.) On the other hand, pieces of work and subject fields are more proper nouns than mere descriptions of human activities:

Little Jon loves studying Algebraic Geometry on Sundays.
Little Jon loves doing Gardening on Sundays.

The first one is (must) almost sacredly be capitalized, while the second sentece would be arguably ridiculous (with all due respect to Gardeners). I do appreciate grammatical and spelling corrections (that is at least one of the good things of this Wiki-Wiki or whatever).

Carl is studying Little Jon's Law of Large Green Bananas.
Carl is studying little Jon's law of large green bananas.

Where is the point here? I prefer the former and would reprint my paper if it appeared as the later.

There is also something that I whould like you to consider: go and pick any of the Springer Verlag books. Theorems that can be referred to by anthing other than Theorem 5.14 are capitalized: not only in Pythagorean Theorem and Borel-Cantelli Lemma, but we also have the Closed Graph Theorem and the Binomial Theorem. And... ohhh yeah,

Real Algebraic Geometry

and

Holomorphic Foliations in Banach subspaces of codimension 1

appear as such in every single time you can read them.

--irrªtiºnal 03:06, 20 Aug 2004 (UTC)

Statistical ensembles

Hello:

Here's a suggestion to make the statistical ensemble article more consistent with the quantum statistical mechanics article. Two important operational notions on ensembles are

Testing statistical equivalence of ensembles

Probabilistic sampling from ensembles A, B with probability p 1- p to form the convex combination of ensembles.

Since in the quantum mechanical case, ensembles are modelled by density operators this is a cleaner approach to the pure-state mixed-state dichotomy.

Moreover I like to think of the concept of ensemble as being itself operationally defined in the following sense: there is some laboratory procedure for producing systems which are instances of this ensemble. By repeating this laboratory procedure we obtain a sequence of systems X₁, X₂ .... X_k... Exactly how this sequential ensemble defines a state might be left out of the article, but here is an explanation: A sequential ensemble defines a state by the time average of measurements: e.g. for each observable A (for the reader's refernce this is discussed in the article quantum logic) we obtain a sequence of measured values (e.g. by observing a dial on a gauge) Meas(A, X_n). The time average

\sigma (A)=\lim _{N\rightarrow \infty }{\frac {1}{N}}\sum _{k=1}^{N}\operatorname {Meas} (A,X_{k})

Of course there is a kind of ergodicity assumption here, but for explaining the operational meaning of ensemble I think this is good enough. Using Gleason's theorem this is given by a density operator S:

\sigma (A)=\operatorname {Tr} (AS)

In fact, we only need to know this for A a quantum question (in the sense of Birkoff von Neumann Mackey) i.e. a self-adjoint projection.

Whaddya think?

CSTAR 03:45, 12 Jun 2004 (UTC)

Hasse diagram

I think you miss the subtlety of the point I added at Hasse diagram. The fact is that one need not define the structure of the diagram in terms of a cover relation, but can bypass this and just do so in terms of the relation itself and omit self-loops. Perhaps it is more common to define the structure in terms of a cover relation, and perhaps it is "better" in some way to do this, but do you think it is best to leave the point out about bypassing the cover relation entirely - as it is possible to do so, is it not? Dysprosia 13:59, 15 Jun 2004 (UTC)

I think you're the one who's missing the point and making things too complicated. I've responded on your talk page. Michael Hardy 20:16, 15 Jun 2004 (UTC)

You see, this is the way I was originally taught re the diagrams. Either they have cocked up, or I've cocked up somewhere - there may have been some other restrictions - I'll have to look into it. Dysprosia 22:07, 15 Jun 2004 (UTC)

Ok, I think I've found the problem. Presumably in your "over-crowded" diagram you ignore the requirement of only representing an edge between a vertex and its immediate predecessor, this, of course, is necessary also.

That's what the cover relation is!!

I still think that having to write it in terms of introducing another relation is a little cumbersome.

You mean calling it by a different name, the "cover relation", rather than saying "only representing an edge between a vertex and its immediate predecessor", is what makes it too cumbersome for you?

I have something in mind for the page - it would be nice to be as explicit as possible and perhaps introduce why we use a cover relation because of this, but I'd be interested to know what you think. Dysprosia 22:18, 15 Jun 2004 (UTC)

Replied at my talk page. Dysprosia 22:29, 15 Jun 2004 (UTC)

Done. I hope you don't find too much at fault with what I've done. Dysprosia 01:49, 16 Jun 2004 (UTC)

I've just rearranged it a bit, putting the long discussion after the easy part. Michael Hardy 01:53, 16 Jun 2004 (UTC)

That seems to me to be a little odd - should we not motivate (and also mention) the ideas and concepts before we use them? Dysprosia 01:56, 16 Jun 2004 (UTC)

Depends on context. In this case I don't see why any motivation is needed, since this seems like a perfectly obvious way to view a finite poset. And the definition and pictures make the matter really simple, whereas the section titled "motivation" seems much less so. Michael Hardy 20:54, 16 Jun 2004 (UTC)

You might not see why it is needed, but someone else may find it useful. As it stands, the article introduces "y covers x" without any explanation in the first paragraph, and gives examples of Hasse diagrams, thus, without any explanation on how to derive them, and then explains everything after the fact. That does not make for a well constructed article, in my opinion. If you are then thinkign about adding some explanation in the first few paragraphs, then why not just explain why Hasse diagrams are useful, and why they are constructed in this manner, as I have done so? Dysprosia 05:06, 17 Jun 2004 (UTC)

Any objections to putting it back the way it was? Dysprosia 12:21, 19 Jun 2004 (UTC)

I'd rather not, since the definition and examples seem so simple and easily understood; I would not want to give the impression that the topic is a lot more complicated than it really is, by implying that the definition and examples cannot be understood without all that other material coming first. (This is not to say that there should be no other material, of course.) Michael Hardy 22:37, 20 Jun 2004 (UTC)

All right, but the way the text is structured currently cannot stand. I shall try and fix it. 22:41, 20 Jun 2004 (UTC)

Where did the page go?

Special:Undelete/Single_photon_emission_computerized_tomography: the log shows you, at 01:19, 25 Jun 2004, moving it to '''Why SPECT?''' Similar to X-ray Computed Tomography (CT) or Magnetic Resonance Imaging (MRI), Single Photon Emission Computed Tomography (SPECT) allows us to visualize functional information about; the resulting redirect page was, as you might expect, severely broken. The long title to which you moved it still shows up in the full-text search results, but following the link takes me to a non-existent page. Do you know what happened? —No-One Jones 06:14, 25 Jun 2004 (UTC)

No, I don't -- that's why I asked the question. So far no one's answered, as far as I know. Michael Hardy 20:44, 29 Jun 2004 (UTC)

Re log-odds: yes, my mistake, sorry. Log-odds is the same as logit, not a difference of logits. [2]. I'll move note over to logit. -- hike395 15:28, 25 Jun 2004 (UTC)

Bravo!

I still don't care to learn trig, and have forgotten all I ever knew, but bravo on What is trigonometry used for? That's a great article. jengod 00:15, Jun 26, 2004 (UTC)

Math tags are nice, but...

The <math> tags are nice, but we probably want to refrain from using it whenever there is a reasonable substitute. The pictures not only cost bandwidth, but also hurt the eyes when mixed in-line. Also, I think it is good to respect other people's styles and let them use their own style of spacing, numbering, and such.
Peter Kwok 18:50, 2004 Jun 29 (UTC)

I'm surprised that you're addressing this to me, since I have done dozens of edits that I summarized by saying that although TeX looks good in "displays", it often looks terrible on Wikipedia when embedded in lines of text; in those edits I changed TeX to alternative notations. I think I am the foremost proponent of the point of view that you've been urging. (Although I've been notably less fastidious about this after the most recent new server was put in place, since TeX now gets centered rather than lifted above the line.) Michael Hardy 20:41, 29 Jun 2004 (UTC)

Well, no offence, but recently I couldn't help but notice that your name appeared in a bunch edits (e.g. subadditive function, Lubell-Yamamoto-Meshalkin inequality, etc.) unrelated to the correctness or accuracy of those articles. In some places, I feel that your addition of <math> tags were not necessary. Perhaps having a little toleration to other people's style would be good? It is almost like I am not even allowed to put the "in mathematics" part at the end of the first sentence and have to be corrected. While I understand that we all should respect each other's right of editing, I just feel that some of those edits were overdone and are counterproductive in the sense that it creates frustration and doesn't add value. I won't blow the whole thing out of proportion here. Just wanted to let you know where I stand.
Peter Kwok 00:33, 2004 Jun 30 (UTC)

I do not edit without intending to make the article better. "A k-set" is better than "An k-set" for obvious reasons. Putting "In mathematics," at the beginning is better than putting it after the concept being defined for two reasons: the latter interrupts the sentence, and in many cases the reader should be given the appropriate context first. Definitions should not say "is called", e.g., "An animal that barks is called a dog" is inferior style to "A dog is an animal that barks." I don't know why those edits would create frustration. I do know why I would expect them not only to add value, but to be perceived by readers as adding value.

I am very strongly opposed to the idea that only correctness and accuracy matter. The sort of edits I mention above add comprehensibility and memorability. Those who think smoothly flowing style does not matter as long as the semantic content is correct and accurate are very wrong-headed in that regard, in my view. Michael Hardy 22:37, 30 Jun 2004 (UTC)

No one is going to argue about grammar and spelling with you. My main problem is that your sense of "style superiority" is rather personal and unconvincing. I have already stated the reason why I disagreed with your choice, so I won't repeat them here. From where I see it, you are not making the articles better— you are just making other people write like you. And I strongly believe that kind of attitude doesn't help promote respect and cooperation among users.
Peter Kwok 15:07, 2004 Jul 1 (UTC)

I can't find the part where you explain why you disagreed with any of my particular choices. Putting in mathematics at the very beginning helps users who follow a link to an article without having any idea whether it's about stamp-collecting or religion or detective novels or botany, so that they don't have to wade through what to them may be incomprehensible technical language before finding out that it's mathematics. On a number of occasions I have started reading an incomprehensible sentence only to find out at the end of a long first sentence or even later that it's about characters in some novel I've never heard of, and I don't like that. If attending to that kind of editing is not your strong point, why not just leave it to others and concentrate on what you know, instead of taking personally something that is not? I don't think that it's just my own personal taste that says that

Chatoyancy is a term used by gemologists to refer to an optical phenomenon in which etc., etc.....

is not as good as

In gemology, chatoyancy is an optical phenomenon in which etc., etc.....,

and not only because the first sentence above is more complicated than it needs to be. Michael Hardy 19:37, 1 Jul 2004 (UTC)

PS: As far as your comment about "not making articles better" is concerned, I don't think it's unfair to mention that I've added more solid content to Wikipedia's math articles, both in the form of a very large number of new articles and in the form of additions to already-existing articles, than all but perhaps four or five other Wikipedians, if that many. See the list of new articles I have created at User:Michael Hardy. Michael Hardy 19:54, 1 Jul 2004 (UTC)

Introduction to articles (Style)

Hi, I have read your conversation with Peter Kwok and I totally agree with you. I think your edits on the style of exisiting articles are very good and greatly increase the comprehensibility of the articles. Personal style is nice and all but someone needs to keep the style (design) of the articles consistent.

But enough of the compliments here is my question: How do I write the introductory sentence in an article on mathematics if I want to say

The article is on mathematics
Denote the subfield of mathematics the article belongs to
Denote the name of the object I describe in the article

For example an article on Triangular matrices.

In linear algebra, a subfield of mathematics, a triangular matrix is a special kind of matrix blah,blah.

This sound ok, but I would like to have the more general category (mathematics) before the subfield (linear algebra) so focus of the sentence narrows down as the reader progresses through the sentence.

Any ideas ? Or is there already some sort of convention in wikipedia ? MathMartin 11:21, 1 Jul 2004 (UTC)

Thank you for the vote of confidence.

In several articles on combinatorics I've written "In [[combinatorics | combinatorial]] [[mathematics]]". Maybe "In the [[mathematics | mathematical]] discipline of [[linear algebra]], a triangular matrix is ..." would do it. Michael Hardy 19:58, 1 Jul 2004 (UTC)

I've hopefully improved the article. Is it more comprehensible? Dysprosia 09:38, 2 Jul 2004 (UTC)

Replied at my talk page. Dysprosia 09:36, 4 Jul 2004 (UTC)

Hasse diagram: pictures

Your pictures in the article on Hasse diagrams are fine, but their encoding (jpg) is rather unfortunate. Pictures that only contain huge areas of single colors can nicely (and lossless) be compressed as png's. I hope you still got the (xfig??) sources. Just export them as PNG and they will be much smaller and of much better quality. I added some more pictures to the page -- just compare their size and look (they were resized with The Gimp, so there is some grayskale interpolation which makes the files bigger ;-) --Markus Krötzsch 01:04, 8 Jul 2004 (UTC)

civic religion

Your are right. I intend to add patriotism (and so on) later, after I had improved the page; it will be quite long at the end, it really already is. I appreciate your comments though, its nice to get some input. Anywho, stop by Causes of World War II and give me your opinion there as well. Thanks--naryathegreat 02:48, Jul 15, 2004 (UTC)

Also, Civic religion is a better term than state religion, which is something else, as the article points out. And I hope that you would take some time to evaluate the premise before you added those nice little comments to the page. I don't appreciate comments like "it reads like somebody's high school project". There is also already an article on patriotism and nationalism. I think I'll add a paragraph that talks about pattriotism and nationalism, but civic religion seems to be a term that lends itself to an extreme, not in the same was as civil religion, which might be what you are describing (that page does not cover my topic).--naryathegreat 02:53, Jul 15, 2004 (UTC)

Scratch that--the comment was by another user, i just didn't notice it, sorry. You were a lot kinder than I gave you credit for.--naryathegreat 18:18, Jul 15, 2004 (UTC)

Nope. You can't just redirect a page because you don't like it or because you disagree-you need more discussion than that. So it's back, and this time, I've saved it so it will be easier to replace--you need to be careful, you can easily offend people with quick and rash actions like these.--naryathegreat 21:19, Jul 17, 2004 (UTC)

I didn't think it was quick and rash; it was after several days of discussion in which it seemed that various interested parties gave their views. Michael Hardy 21:23, 17 Jul 2004 (UTC)

There isn't near enough input to do that. Second, I see no way that you can accurately describe this type of extreme on that page (which I already have a low enough opinion of). It lends itself to benign forms of patriotism and such...not cult of personality extremes. And I have looked at the Cult of personality page, and it seems to already be long enough and have some good info. I just didn't see how I could fit this into that page without causing a big argument. And I wanted to avoid that. However, some of us seem to do that either way. This is why Wikipedia is coming apart at the seams. Dear me, another year and its gone...--naryathegreat 21:29, Jul 17, 2004 (UTC)

Hyperbole at its most hyperbolic. No, it's just an argument about one article. For every article that's argued about like this, a thousand others are being built steadily. Michael Hardy 21:34, 17 Jul 2004 (UTC)

... and how much input is enough? It doesn't seem as if the number of people interested in this article is huge. Michael Hardy 21:35, 17 Jul 2004 (UTC)

Then I don't understand why you care.--naryathegreat 21:38, Jul 17, 2004 (UTC)

Because the number of people whose interest it may engage later may be much larger, and because there are also those who read but do not edit. Michael Hardy 21:40, 17 Jul 2004 (UTC)

D(X) is used in Russian mathematics books extensively, maybe in English it is never used. In any case, the page obviously lacked a designation for variance, σ² is commonly used, but is very inconvenient if you consider more than one variable. I don't mind your change, but let me assure you that I have not ever met var()/Var() until a few years ago and always saw and used D().

Paul Pogonyshev 21:53, 17 Jul 2004 (UTC)

Oh. OK. Thanks. -Stevertigo

OK, fine. -Stevertigo 21:09, 19 Jul 2004 (UTC)

Rest, residue, and remainder

(From merism) --- I don't use that one myself, but you are right; I have seen it. Smerdis of Tlön 02:29, 21 Jul 2004 (UTC)

Yes, since you asked, I am in fact a lawyer. A smalltown lawyer, fortunately. Smerdis of Tlön 18:39, 21 Jul 2004 (UTC)

named for vs. named after

Hi Michael, I have a short question on English language. Whats the difference between the following two phrases ?

The theorem is named after Michael Hardy
The theorem is named for Michael Hardy

Thanks. MathMartin 15:02, 24 Jul 2004 (UTC)

Not sure, except that the second is a bit alien to me. Michael Hardy 18:35, 24 Jul 2004 (UTC)

I have used after when writing articles but today I have seen for and now I think is named for sounds better but I cannot pinpoint why. I had hoped you could shed some light as I am not a native english speaker. MathMartin 19:21, 24 Jul 2004 (UTC)

Laïcité

I'm a bit unsure as to the meaning of civil religion and the link between it and laïcité. Does this suggest, for instance, that the French government is pushing some kind of set of official religious practices? David.Monniaux 20:36, 24 Jul 2004 (UTC)

No. You will note that the civil religion article says that in France, the religious and and the non-religious forms of "civil religion" are separated from each other. I had in mind that the civil religion article bears on the general topic of varying degrees and varying styles of separation of church and state. Michael Hardy 20:38, 24 Jul 2004 (UTC)

Papal election

In the section "Acceptance and proclamation," it is asserted: "If he [the elected individual] is not a bishop, however, the Cardinal Dean must first ordain him a bishop before he can assume office." -- Emsworth 18:10, 26 Jul 2004 (UTC)

Request

Probabilistic foam. -S V 16:47, 29 Jul 2004 (UTC)

Category:Proofs

Dear god, the whole categorization scheme is a mess. People went off willy nilly and created whatever category made sense instead of trying to use some established categorization scheme, or even discussing them much. I put that in that category pragmatically as the category that discussed that kind of issue currently, not to say it was correct or anything. - Taxman 22:04, Jul 29, 2004 (UTC)

(diff) (hist) . . Image:Johnny Micheal Spann.jpg; 01:39:15 . . Michael Hardy (Talk) (It is annoying that this page cannot be moved; its title is incorrectly spelled.)

Tip: if you're that bothered by it, you can always save the image locally, delete the image there, and reupload it with the correct name, taking care to preserve the original authorship (copy and paste should do). Dysprosia 01:41, 2 Aug 2004 (UTC)

Simulated annealing and Markov chains

You wrote in the article on simulated annealing that every step is basically a Markov chain transition. I do not know much about either area, but I thought that the transition probabilities $P(X_{n+1} = i | X_n = j)$ in Markov chains are independent of time $n$. However, in simulated annealing, the transition probabilities depend on the temperature, which (more or less) decreases in time. -- Jitse Niesen 16:18, 2 Aug 2004 (UTC)

Imaginary unit TeX markup

What TeX markup do you use for the imaginary unit ? I have used $\mathrm {i}$ in trigonometric polynomial. Is this the correct way to do it ? MathMartin 13:42, 5 Aug 2004 (UTC)

I've been accustomed to writing it like this:

e^{it}=\cos(t)+i\sin(t).

Michael Hardy 21:29, 6 Aug 2004 (UTC)

I recently found the following version in a textbook and like it better because i does not look like a variable

e^{\mathrm {i} t}=\cos(t)+\mathrm {i} \sin(t).

And no need to duplicate your answer on my talk page. When I post a comment on someone's talk page I usually put a watch on the page. MathMartin 22:46, 6 Aug 2004 (UTC)

"Philosophy"?

Your quotation marks around the word philosphy at Talk:Objectivist philosophy arouse suspicion. Have you read the discussion at Talk:List of philosophers about the many philosophers in academia who regard Rand as an important philosopher? Michael Hardy 16:11, 3 Aug 2004 (UTC)

The article itself says "Objectivist philosophy has had more success in the popular sphere, since academic writers have largely ignored Ayn Rand." I see nothing in "Objectivism" that would make it worh calling it a "philosphy". Maybe ideology would be a better term, the propagandistic name Rand chose for her thoughts would support that. Get-back-world-respect 12:40, 6 Aug 2004 (UTC)

I will correct what the article says by listing some of the philosophers in acacdemia that I mentioned. As for your statement that you "see nothing", etc., you have failed to demonstrated your qualifications, i.e., have you read the Introduction to Objectivist Epistemology or heard the accounts (I say heard because for the most part the detailed ones are still available only on audio recordings) of the intrinsic/subjective/objective triad, etc.? Michael Hardy 16:31, 6 Aug 2004 (UTC)

Have fun "correcting" the article. The few I know about "Objectivism" makes me think that it is worth dealing with as much as Scientology or the Star Wars Cult: Not at all. Get-back-world-respect 16:39, 6 Aug 2004 (UTC)

Thank you for the information you posted on my discussion page and the article. I am sorry but I do not think that anyone is entitled to say who is an "important" philosopher. That in my eyes is a personal question. "Important" is a philosophy that changes something in a person's life, that adds a new perspective. To you Objectivism seems to be important, to me it is unimportant, and I guess that is ok as it is. Get-back-world-respect 18:08, 11 Aug 2004 (UTC)

F.O.R.

Michael, just checked out your article on FOR. My mom happens to be a member of FOR, and good friends with Martin. Are you based in Atlanta? Do you participate? She's a member of another philosphy group or two, and I've been to a couple get-togethers. Not sure if any were FOR-specific, though. Small world.. Reply on my User_talk:JunkCookie page JunkCookie 00:08, Aug 7, 2004 (UTC)

Finished mathematics ?

Hi Michael, have you ever heard of this term before? Does it have wide usage? Paul August 22:03, Aug 11, 2004 (UTC)

I have not frequently (if ever) encountered it other than in this Wikipedia article. It seems the first 20 or so Google hits on it come from that article as well. So if it's frequently used, I'd guess it's only within a relatively small philosophy-of-mathematics community. Michael Hardy 01:39, 12 Aug 2004 (UTC)

I've never heard of it either. It was created by the same guy who created Folk mathematics, and who both may be User:JRR Trollkien. I'm wondering if this is a made up term. Paul August 06:54, Aug 12, 2004 (UTC)

FYI: I've VfD'ed it. Wikipedia:Votes for deletion/Finished mathematics. Gadykozma 14:13, 17 Aug 2004 (UTC)

Names of World Countries in Greek

Here is a list of the countries of the world in Greek. The names are not in English, but their internet domains are; e.g., Φιλιππίνες (Filippínes) is PH which is the Philippines.

--Chris 00:45, 16 Aug 2004 (UTC)

Thanks. Michael Hardy 00:57, 16 Aug 2004 (UTC)

No prob. BTW, I found an even better page! --Chris 08:25, 16 Aug 2004 (UTC)

Don't be so sensitive

You accuse me of being abusive and then go and make deragotory remarks about my reading comprehension? That seems a little off... Anyway, if you'd like to actually stick to the subject and not begin trading insults I've responded on the articles talk page. --Starx 03:38, 19 Aug 2004 (UTC)

which see

/...it's not necessary to say "which see" ... lots of people born after about 1970 don't even know that phrase./

I've certainly never heard of it, and I was compiled in 1972. ;-) AdmN 03:06, 25 Aug 2004 (UTC)

The business and economics forum

Anouncing the introduction of The Business and Economics Forum. It is a "place" where those of us with an interest in the business and economics section of Wikipedia can "meet" and discuss issues. Please drop by: the more contributors, the greater its usefulness. If you know of other Wikipedians who might be interested, please send this to them.

mydogategodshat 19:12, 26 Aug 2004 (UTC)

Filmfare award(s)

Dear Michael,

Thanks for your interest in the Filmfare articles. I posted an answer on my page. I'm amenable to any suggestions you care to make re the best way to handle things. Zora 23:05, 26 Aug 2004 (UTC)

Thanks for the assist

Thank you for your help, both fixing the Affiliated Media Foundation Movement page and your tech advice.

--LegCircus

TeX style guide

Hi, i would like to start a TeX style guide. People like you and Mat cross corrected my TeX but I guess after some time you get bored to point out the same mistakes all the time. Aside from the TeX style there could be advice how to name variables so the wikipedia math articles are consistent (e.g. $\gamma$ for a curve because it is the c in the greek alphabet). Is there already such a page in wikipedia ? Do you know of any style guide outside wikipedia or is the correct TeX style just an oral tradition ? Where would I put such a page ? Thanks. MathMartin 10:18, 27 Aug 2004 (UTC)

Hello. I think I could contribute a number of things to such a style guide, but I'm not prepared to actually start the thing. Michael Hardy 22:17, 28 Aug 2004 (UTC)

List of statistical topics

Thanks for adding G-test - I was in a hurry when I did that, and forgot. I've also added another new one, contingency table. seglea 18:15, 27 Aug 2004 (UTC)

Trade_center.jpg

Michael, it looks like you uploaded this image a year ago, but there's no copyright information. It's a very striking, professional-quality photograph (though a poorly compressed jpeg), which makes me wonder if we're allowed to use it. It would be good to clarify the copyright status; and (if it's yours) what are the chances that you could upload a more cleanly compressed version? With auto-thumbnailing the need to compress images is less than it used to be. k.lee 00:33, 28 Aug 2004 (UTC)

I copied it from the web site of someone who said it's in the public domain. I think it was widely circulating then. I think I got it from one of the alt.usage.english web pages. As far as compressing it is concerned, I have no experience of that sort of thing, so I'm sure others could do it more efficiently and perhaps better. Michael Hardy 22:22, 28 Aug 2004 (UTC)

Maxwell-Boltzman distribution

Hey, you are correct in using the word "confused." ;-) I was thinking of the probability density function. Thanks for going over that. Awolf002 23:40, 28 Aug 2004 (UTC)

Curry

Thansk for the note, I missed that it was a dead link.Rich Farmbrough 00:05, 31 Aug 2004 (UTC)

Math Articles

Hi, I was wondering about the convention and switched back a lot of the ones I changed. On the conjecture article, the list of conjectures have some in 'C' and come in 'c' so I was going to make it consistant, but realized it should have gone to 'c' :). Hope its all fixed up now, see you around the math articles sometime soon. --ShaunMacPherson 23:00, 31 Aug 2004 (UTC)

Capitalization

You Asked About My Capitalization. I'm Not Sure What You Mean Exactly... PERhaps yOU CouLd Give Me a Link? *hahaha* No, seriously, I don't want to be randomly capitalizing stuff. Please point out where I did and I'll cut it out. Thanks!--SFoskett 19:03, Sep 1, 2004 (UTC)

Storage area network and fibre channel are articles I recently moved, as are some to which they link. I don't remember which among them you originated. Michael Hardy 19:08, 1 Sep 2004 (UTC)

As I just spelled out in Talk:Storage area network, these terms are always capitalized in the industry. Despite what the rest of the world may think, lots of computer terms get capitalized, and that IS the standard. Perhaps Wiki has some other area for discussing this? In the mean time, I intend to return the capitals to those articles.--SFoskett 19:11, Sep 1, 2004 (UTC)

Autistic savants

Talk:Covariance matrix

List of statistical topics

Borel's paradox

Claiming old edits of yours

Sugestion concerning the use of TeX on Wikipedia

Iconostasis

Newcomb's Paradox

legal vs natural persons

Agency

Mann-Whitney and other stats matters

Capital Letters In Headlines Suck

Capitalization in Mathematics (please, not mathematics)

Statistical ensembles

Hasse diagram

Where did the page go?

Bravo!

Math tags are nice, but...

Introduction to articles (Style)

Hasse diagram: pictures

civic religion

Rest, residue, and remainder

named for vs. named after

Laïcité

Papal election

Request

Category:Proofs

Simulated annealing and Markov chains

Imaginary unit TeX markup

"Philosophy"?

F.O.R.

Finished mathematics ?

Names of World Countries in Greek

Don't be so sensitive

which see

The business and economics forum

Filmfare award(s)

Thanks for the assist

TeX style guide

List of statistical topics

Trade_center.jpg

Maxwell-Boltzman distribution

See also

Curry

Math Articles

Capitalization