On 16 =C1=D0=D2, 20:53, Gene Ward Smith <g...@[EMAIL PROTECTED]
> wrote:
> Not correct. Mathematics is expressed in mathematical language, but
> mathematics is the content-definitions, theorems, proofs, etc.
Jerry Kraus is right, in core mathematics is a base formal language,
set of inference rules and axioms. And everything is based on this
core. The whole mathematic is a set of formal languages (Peano axioms,
Zermelo-Fraenkel set theory, Alonzo Church lambda calculus etc).
|
