Re: A new definition of natural numbers

In a discussion, arguments should be used. I wrote, that it can be
discussed, if mathematical expressions for large numbers belong to
natural languages or or if they form an artificial language. No
substantial arguments supporting the first possibility appeared, only
arguments ad hominem. Most of mathematitians do not learn mathematical
formulas from their mothers. Therefore, it is not their maternal
language. Most of mathematical terms were invented only in last
centuries. It is thus a new language.
kunzmilan

.

Relevant Pages

  • Quantum Computational Linguistic Model (and then some)
    ... I have developed a quantum computational linguistic model but ... is far too clean to be a model for natural language. ... Natural languages can be models as the solutions in a game theory. ... By this, I mean the functor from the data set, the data set being the ...
    (sci.math)
  • Re: What are you reading?
    ... three novels. ... I like the language, and I like his style, but I ... or when I sharpened the pencil with a pencil ... I've seen you, beauty, and you belong to me now, whoever you are ...
    (alt.smokers.pipes)
  • Re: Using final with local variables
    ... types), pointer arithmetic, meddling by other threads using constructs ... outside the language.) ... machine code requires you to guess what is data and what is code. ... "Many people tend to look at programming styles and languages like religions: if you belong to one, ...
    (comp.lang.java.programmer)
  • Re: Are natural languages secure ciphers?
    ... >> Just like natural languages provide a low level of protection. ... >> language where 1.3 billion people know the same secret. ... "but it's unbreakable without context". ...
    (sci.crypt)
  • Re: off-topic: Why is lisp so weird?
    ... Scheme (Stalin), ML (O'Caml and the ... and Erlang likely do belong there. ... One thing that's very important is that certain language facilities make ... difficult because C lacks automatic garbage collection (or at least ...
    (comp.lang.lisp)
Loading