User talk:Juuitchan

Re your comment on the Composers page ....

OK - I put in Beach, Boulanger(s), Dring, and Fanny Mendelssohn. Oh, and I'd already put in Maconchy and Lutyens. Do you know of any more? David Martland 08:45 Dec 6, 2002 (UTC)

PS. I also put in Roxanna Panufnik, and Dianna Burrell.

About Aozora Bunko. Just forget about the order. I can sort them in the end by the scrpit in second. Most of titles are converted automatically to romaji but some may have a problem. If you find something bad, feel free to fix them. Anyway thanks for your concern -- Taku 03:21 Jan 5, 2003 (UTC)

--

I'm going to be making godel's incompleteness theorum authoritative.

The process of giving unique Goedel identifer to each grammatical expression in one axiomatic system ( one version of the foundations of mathematics, usually identified as principia mathematica.), is a reletively straight forward matter.

Grammatically true statements in their minimum form may be identified by hand or in software implementaion. They are expressed in a language of symbolic logic. Each term used in the symbolic logic is uniquely identified with a natural number.
Grammatically true statements are uniquely identified with a number through a mark-up procedure involving an member of the prime number sequence used as a power on each term of the expresion.
Following this procedure will produce uniquely identifiable positve number for each expression of sybolic logic.

Because it was a work of philosophy, in the field of meta-Matematics, the fact that the numbers become arbitraily huge after a few terms is irrelevant. For a philosopher, the fact that this can be done in any disipline that depends on symblic logic (including all fields of study in science that use mathematics.) Some statements have comparatively small number values.

I'm going to provide examples. 64.229.12.4 15:28 Feb 13, 2003 (UTC)