W**********d
发帖数: 15 | 1 I have a good (maybe) idea. Why don't mathematicians establish a hypertext,
cross-refered, online encyclopaedia of all definitions, lemmas and theorems?
Does there exist any similar project? If you know it please tell me. (I
know wikipedia and mathworld.)
By the deduction nature of mathematics, it is the ideal subject to establish
such a system. We can use XML and database techniques to describe every
single entry of it. For example, an entry for a theorem can be consisted of
the following parts | c******m
发帖数: 599 | 2 wikipedia就有, 你要干就可在那上面干, 不过这个都是闲功夫, 你要是有funding, 估
计就能成了
问题是, 数学这个东西, 太小众了. 简单的东西, 事实的东西, wiki上面已经一堆的了
, 至于到了research level的东西, 估计没那么容易做到你想到的那样了
,
theorems?
establish
of
【在 W**********d 的大作中提到】
: I have a good (maybe) idea. Why don't mathematicians establish a hypertext,
: cross-refered, online encyclopaedia of all definitions, lemmas and theorems?
: Does there exist any similar project? If you know it please tell me. (I
: know wikipedia and mathworld.)
: By the deduction nature of mathematics, it is the ideal subject to establish
: such a system. We can use XML and database techniques to describe every
: single entry of it. For example, an entry for a theorem can be consisted of
: the following parts
| b**g
发帖数: 335 | 3 http://planetmath.org有一些定理的证明
至于那种长篇大论的证明,只能去查书或论文
,
theorems?
establish
of
【在 W**********d 的大作中提到】
: I have a good (maybe) idea. Why don't mathematicians establish a hypertext,
: cross-refered, online encyclopaedia of all definitions, lemmas and theorems?
: Does there exist any similar project? If you know it please tell me. (I
: know wikipedia and mathworld.)
: By the deduction nature of mathematics, it is the ideal subject to establish
: such a system. We can use XML and database techniques to describe every
: single entry of it. For example, an entry for a theorem can be consisted of
: the following parts
|
|
