[MD-sorular] Mathworld Staff'a yolladığım yazı doğru mu? Konu: Definition

Ali ilik aliilik at gmail.com
27 Şub 2007 Sal 06:48:54 EET


Birkaç zamandır "tanım" ın matematiksel tanımını arıyordum.

Mathworld Staff'a yolladığım yazıdan bir bölüm aşağıda.

Doğru düşündüğüme inanıyorum. Sizce yanılıyor muyum?

Matworld de aynen şu yazıyor definition entrysinde ve başka da birşey
yazmıyor link ve referansların dışında:

"A definition *assigns* properties to some sort of mathematical object. For
example, Euclid's *Elements* starts with a number of definitions, such as "a
line is a breadthless length." After definitions, Euclid gives
postulates<http://mathworld.wolfram.com/Postulate.html>or
axioms <http://mathworld.wolfram.com/Axiom.html>. Based on these, he
provides a number of proofs <http://mathworld.wolfram.com/Proof.html> and
constructions."

Yolladığım yazıdan bir bölüm:

*"I would like to contribute on the link below:*
**
* **http://mathworld.wolfram.com/Definition.html*<http://mathworld.wolfram.com/Definition.html>
* *
**
*Here is what i would like to add:*
**
* "The word "assign" above, indeed, stands for an iff statement. *
**
*That is, more mathematically, every iff statement is a definition of each
proposition it includes. *
**
*For example, p is a definition of q and q is a definition of p for the iff
statement "p iff q".*
**
* A statement is a definition to something iff it is an iff statement
including that "something".*
**
*And the above definition is the mathematicial definition of the word
"definition".*
**
*I have never seen it before anywhere and i, myself, have found it! Your
page about definition is so weak. *
**
*Note that definitions can be considered as iff statements. *
**
*Therefore, and furthermore, "A statement is a definition iff it is an iff
statement." *
**
*That is a great sentence really! Isn't it? Sincerely."*

Keşke önce buraya sorsaydım dedim sonra. Aptallık mı ettim yoksa? Heyecan
bastı.
-- 
Ali

"Q: What's purple and commutes?
A: An Abelian grape.

Q: What is lavender and commutes?
A: An Abelian semigrape."

By Renteln and Dundes (2005).
-------------- sonraki bölüm --------------
Bir HTML eklentisi temizlendi...
URL: http://lists.math.bilgi.edu.tr/pipermail/md-sorular/attachments/20070227/59e35b0b/attachment.htm 


MD-sorular mesaj listesiyle ilgili daha fazla bilgi