Am 04.04.13 22:53, schrieb John Carlson: > > Natural languages include tenses. What computer systems have a wide > variety of tenses? > John McCarthy analyzed this in his description of Elephant 2000 [1] sentence "Algolic programs refer to the past via variables, arrays and other data structures."
The maths vs natural language discussion boils down to the interpretation of meaning. In natural language the meaning of an expression is typically the intent of the sender to create the meaning in the world of the receiver. In How to do Things with Words J. L. Austin analyzed [2] that we use language to do things as well as to assert things. This interpretation of the meaning of language is called the theory of speech acts. Mathematics on the other hand is a formal language and every expression (should be) based on well defined definitions and proven theorems based on axioms, laws. Attention: I am not saying that one cannot express speech act models formally. One has to take the participating agent's knowledge, goals, and beliefs, into account .... With Elephant 2000 John envisioned to create a system that work based on speech acts[3]. He writes further " The nature of the interaction arises from the fact that the different agents have different goals, knowledge and capabilities, and an agent's achieving its goals requires interaction with others. The nature of the required interactions determines the speech acts required. Many facts about what speech acts are required are independent of whether the agent is man or machine." Best, Jakob [1] - http://www-formal.stanford.edu/jmc/elephant/node3.html#SECTION00030000000000000000 [2] - http://en.wikipedia.org/wiki/How_to_Do_Things_with_Words [3] - http://www-formal.stanford.edu/jmc/elephant/node2.html#SECTION00020000000000000000 > _______________________________________________ > fonc mailing list > fonc@vpri.org > http://vpri.org/mailman/listinfo/fonc
_______________________________________________ fonc mailing list fonc@vpri.org http://vpri.org/mailman/listinfo/fonc