Re: What Logic Really Is


Peter_Smith wrote:
> "Isn't mathematics formal by definition?" And what does "formal" mean
> here, exactly? In just what sense is the mathematics of, for example,
> Gauss or Cauchy "formal"?

How do you define formal? Does it apply to the areas you listed?

C-B

.

Relevant Pages

  • Re: Gaussian antenna aunwin
    ... Gauss' Law has been part of electromagnetics and ... He doesn't use computor programs but basic mathematics to provide all ... a guy at the space antenna agency who referred me to chapter 1 and 21. ... masters opened up the secrets of nature. ...
    (rec.radio.amateur.antenna)
  • Re: ** says: Definition: sum{i in N} i = 0
    ... be square roots of others means that every member of N must have a ... then if sumfexists /as the limit of a Cauchy ... Not in standard mathematics, only in WM's MathUnrealism. ... without indicating that he did not mean converging series. ...
    (sci.math)
  • Re: With FLT, Gauss was a pussy! what does that make neilist then ???
    ... But don't be a pussy like Gauss with snide remarks ... mathematics community, ... Gauss and James Harris are egomanics! ...
    (sci.math)
  • Re: Cantor Confusion
    ... proving theorems about integers. ... For example Gauss and Euler. ... mathematics would not be considered acceptable by today's standards. ...
    (sci.math)
  • Re: Historical CAS question
    ... complicated task into mans comprehension, i.e. somthing that can be written ... Gauss would not achieve this. ... For mathematics, use pen and paper, and for *unavoidably* repetetive tasks ...
    (sci.math.symbolic)