about maths: strictly speaking, off topic, but justified.
in [Physics]
|
Prev: doubts about tetrahedral packing in 3D is a solid packing #516 Correcting Math
Next: JSH:Twin primes probability correlation
From: rabid_fan on 17 Mar 2010 21:34 On Thu, 18 Mar 2010 01:20:11 +0000, rabid_fan wrote: > > Therefore, drop some acid (LSD). > Oops! Failed to finish again. If you should encounter David Hilbert as you wander about the astral plane, be sure and ask him about his "program." Just say: "Hey Dave! How's the program coming?" The response should prove very enlightening.
From: J. Clarke on 18 Mar 2010 07:52 On 3/17/2010 9:20 PM, rabid_fan wrote: > On Wed, 17 Mar 2010 20:36:38 -0400, J. Clarke wrote: > >> >> So? >> > > For a New York City dweller, the only way to know New York City > is to know what is not New York City. > > The only way to know logic is to know what is not logic (i.e. > to know illogic). > > Therefore, drop some acid (LSD). > > Happy trails, and please file a report when you return. I see. So the alternatives are logic or drug use? Can you say "whackadoodle netloon"?
From: jmfbahciv on 18 Mar 2010 08:51 rabid_fan wrote: > On Wed, 17 Mar 2010 07:10:00 -0500, jmfbahciv wrote: > >>> Another, more general, name for mathematics, is, guess what, logic: >>> >>> >> No, it is not. >> > > Yes, it is. Mathematics is a formal system, which contains > symbols, a grammar, a set of axioms, and inference rules. > Logic is the process This doesn't make it logic. There is much more to the study of logic than math. <snip> Now, what are the verbs in math? /BAH
From: jmfbahciv on 18 Mar 2010 08:54 rabid_fan wrote: > On Wed, 17 Mar 2010 15:40:57 +0000, rabid_fan wrote: > >> Yes, it is. Mathematics is a formal system, which contains symbols, a >> grammar, a set of axioms, and inference rules. Logic is the process by >> which the whole thing proceeds from axioms and inferences to statements, >> based on the grammar, and theorems. "Verbs" are to be construed as the >> assertions made regrading any of the objects, as they are in ordinary >> language. >> >> But actually, the statement that "mathematics is a language" is being >> used a bit more loosely, I would think, in this discussion. >> Mathematics, like language, is used to convey meaning about the world, >> and mathematical objects, like the objects of language, are used as a >> basis for thought and conjecture. You are changing the meaning of the word "verb" to fit your analogy. > > Oops! I didn't finish. > > Although we may using the statement "mathematics is a language" > in sort of a loose manner, mathematics certainly does contain all > of the elements of a formal language or formal system. > You are confusing the usage of the word "language" in the computer biz. Which is the point I've been making. /BAH
From: jmfbahciv on 18 Mar 2010 08:56
J. Clarke wrote: > On 3/17/2010 9:20 PM, rabid_fan wrote: >> On Wed, 17 Mar 2010 20:36:38 -0400, J. Clarke wrote: >> >>> >>> So? >>> >> >> For a New York City dweller, the only way to know New York City >> is to know what is not New York City. >> >> The only way to know logic is to know what is not logic (i.e. >> to know illogic). >> >> Therefore, drop some acid (LSD). >> >> Happy trails, and please file a report when you return. > > I see. So the alternatives are logic or drug use? > > Can you say "whackadoodle netloon"? Damn! another possibly interesting thread down the drain. Rabidity is simply another kooker. /BAH |