Talk:Formalization

Untitled
This is not correct. Formalization is a mental operation whereby thoughts, concepts and operations as expressed in NL are simplified and condensed by using short symbols and notation so that such "formal" descriptions could be used more efficently than statements in NLs.

For example:

Add two to three may be written as 2+3 In general terms add a number to another number is rewritten as a+b

There are other categories or aspects of mental operations http://en.wikipedia.org/wiki/Mental_operations as well, but let us see what the editors say first. It is not our fault that WordNet has this defintion of the word Noun •S: (n) formalization, formalisation (the act of making formal (as by stating formal rules governing classes of expressions). It would be nice to insert the meaning of formal and formal rules as well here.

Formal (adj) conventional, formal, schematic (represented in simplified or symbolic form). Apparently formal is symbolic. And also logically deductive: (adj) formal (logically deductive) "formal proof" http://wordnetweb.princeton.edu/perl/webwn?s=formalization&o2=&o0=1&o7=&o5=&o1=1&o6=&o4=&o3=&h=

Genezistan (talk) 16:32, 11 October 2010 (UTC)