Talk:Formalization

This disambiguation page is within the scope of WikiProject Disambiguation, an attempt to structure and organize all disambiguation pages on Wikipedia. If you wish to help, you can edit the page attached to this talk page, or visit the project page, where you can join the project or contribute to the discussion.DisambiguationWikipedia:WikiProject DisambiguationTemplate:WikiProject DisambiguationDisambiguation articles

Untitled[edit]

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)[reply]