You are on page 1of 37


From Wikipedia, the free encyclopedia

Theoretical linguistics is that branch of linguistics that is most concerned  with   developing   models   of   linguistic   knowledge.   Part   of   this   endeavor  involves   the  search  for   and   explanation   of  linguistic   universals,   that   is,  properties   all   languages   have   in   common.   The   fields   that   are   generally  considered   the   core   of   theoretical   linguistics   are  syntax,  phonology,  morphology,   and  semantics.   Phonology   is   often   informed   by  phonetics,  which like psycholinguistics and sociolinguistics is often not considered part  of theoretical linguistics

Phonetics (from the Greek word φωνή, phone = sound/voice) is the study of  sounds  (voice). It is concerned with the actual properties of speech sounds  (phones)   as   well   as   those   of   non­speech   sounds,   and   their   production,  audition   and   perception,   as   opposed   to  phonology,   which   operates   at   the  level  of sound  systems  and abstract  sound  units  (such as  phonemes  and  distinctive features). Phonetics deals with the sounds themselves rather than  the contexts in which they are used in languages. Discussions of meaning  (semantics) therefore do not enter at this level of linguistic analysis. While writing systems and alphabets are in many cases closely related to the  sounds of speech, strictly speaking, phoneticians are more concerned with  the sounds of speech than the symbols used to represent them. So close is  the relationship between them however, that many dictionaries list the study  of the symbols (more accurately semiotics) as a part of phonetic studies. On  the   other   hand,  logographic  writing   systems   typically   give   much   less  phonetic   information,   but   the   information   is   not   necessarily   non­existent.  For instance, in  Chinese characters, a  phonetic  refers to the portion of the  character   that   hints   at   its   pronunciation,   while   the  radical  refers   to   the  portion   that   serves   as   a  semantic  hint.   Characters   featuring   the   same  phonetic   typically   have   similar   pronunciations,   but   by   no   means   are   the  pronunciations predictably determined by the phonetic due to the fact that  pronunciations diverged over many centuries while the characters remained  the same. Not all Chinese characters are  radical­phonetic compounds, but a  good majority of them are. Phonetics has three main branches:

  articulatory phonetics  , concerned with the positions and movements of  the   lips,   tongue,   vocal   tract   and   folds   and   other  speech   organs  in  producing speech    acoustic phonetics  , concerned with the properties of the sound waves  and how they are received by the inner ear 


  auditory phonetics  , concerned with speech perception, principally how  the brain forms perceptual representations of the input it receives. 

There are over a hundred different phones recognized as distinctive by the  International   Phonetic   Association  (IPA)   and   transcribed   in   their  International Phonetic Alphabet. Phonetics   was   studied   as   early   as   2500   years   ago   in  ancient   India,   with    Pā    ṇ  ini    's account of the place and manner of articulation of consonants in his  5th century BCE treatise of Sanskrit. Nearly all Indic alphabets today order  their consonants according to Pāṇini's classification.

1.1 Articulatory phonetics
The field of  articulatory phonetics  is a subfield of  phonetics. In studying  articulation,   the   phonetician   is   attempting   to   document   how   we   produce  speech sounds. That is, articulatory phoneticians are interested in how the  different structures of the vocal tract, called the   articulators  (tongue, lips,  jaw, palate, teeth etc.), interact to create the specific sounds. In order to understand how sounds are made, experimental procedures are  often adopted. For example, we can measure how the tongue makes contact  with the roof of the mouth in normal speech production by using a technique  called electropalatography (or EPG). In order to collect EPG data, the speaker  needs to be fitted with a special prosthetic palate, which contains a number  of electrodes. The way in which the electrodes are "contacted" by the tongue  during speech provides us with important information, such as how much of  the palate is contacted in different speech sounds, or which regions of the  palate are contacted, or what the duration of the contact is.

1.2 Acoustic phonetics
Acoustic   phonetics  is   a   subfield   of  phonetics  which   deals   with  acoustic  aspects of speech sounds. Acoustic phonetics investigates properties like the  mean   squared  amplitude  of   a  waveform,   its   duration,   its  fundamental  frequency,   or   other   properties   of   its  frequency    spectrum     ,   and   the  relationship  of   these   properties   to   other   branches   of   phonetics   (e.g.  articulatory  or  auditory phonetics), and to abstract linguistic concepts like  phones, phrases, or utterances. The  study  of   acoustic   phonetics   was   greatly   enhanced   in   the   late   19th  century by the invention of the Edison phonograph. The phonograph allowed  the speech signal to be recorded and then later processed and analyzed. By  replaying   the   same   speech   signal   from   the   phonograph   several   times,  filtering it each time with a different  band­pass filter, a  spectrogram  of the  speech utterance could be built up. A series of papers by Ludimar Hermann  published   in  Pflüger's   Archiv  in   the  last   two  decades   of   the   19th   century 


investigated   the   spectral   properties   of   vowels   and   consonants   using   the  Edison phonograph, and it was in these papers that the term   formant  was  first introduced. Hermann also played back vowel recordings made with the  Edison phonograph at different speeds in an effort to distinguish between  Willis' and Wheatstone's theories of vowel production. Further   advances   in   acoustic   phonetics   were   made   possible   by   the  development  of   the  telephone  industry.   (Incidentally,  Alexander   Graham  Bell's father, Alexander Melville Bell, was a phonetician.) During World War  II, work at the Bell Telephone Laboratories (which invented the spectrograph)  greatly facilitated the systematic study of the spectral properties of periodic  and aperiodic  speech   sounds,   vocal  tract  resonances  and  vowel  formants,  voice quality, prosody, etc. On a theoretical level, acoustic phonetics really took off when it became clear  that   speech   acoustic   could   be   modeled   in   a   way   analogous   to  electrical  circuits. Lord Rayleigh was among the first to recognize that the new electric  theory could be used in acoustics, but it was not until 1941 that the circuit  model was effectively  used,  in a  book  by Chiba  and Kajiyama  called "The  Vowel:   Its   Nature   and   Structure".   (Interestingly,   this   book   by   Japanese  authors working in Japan was published in English at the height of World  War II.) In 1952,  Roman Jakobson,  Gunnar Fant, and  Morris Halle  wrote  "Preliminaries to Speech Analysis", a seminal work tying acoustic phonetics  and phonological theory together. This little book was followed in 1960 by  Fant "Acoustic Theory of Speech Production", which has remained the major  theoretical foundation for speech acoustic research in both the academy and  industry. (Fant was himself very involved in the telephone industry.) Other  important framers of the field include Kenneth N. Stevens, Osamu Fujimura,  and Peter Ladefoged

1.3 Auditory phonetics
Auditory phonetics  is a branch of  phonetics  concerned with the  hearing,  acquisition and comprehension of phonetic sounds of words of a language.


 phonology  studies how sounds alternate.   in   which   it   is   argued   that   the   same   or   a   similar  phonological system underlies both signed and spoken languages.   phonology   describes   the   way   sounds  function within a given language or across languages.  and topics such as syllable structure. /p/ is often pronounced differently depending on its position relative  to other  sounds. In  addition  to  the   minimal  meaningful  sounds   (the  phonemes).  the /p/ in "pin" is  aspirated while the same phoneme in "spin" is not. for example.e.  eg  Thai  and  Quechua. (Signs are  distinguished from  gestures  in that the latter  are non­linguistic or supply  extra meaning alongside the linguistic message.   they   are  phonemes  /   the   difference   is  phonemic.   but   differ   only   in   one   sound.   Whereas  phonetics  is   about   the   physical   production   and  perception  of   the   sounds   of   speech.  which   mean   different   things. such as the /p/ in English described above. The principles of phonological theory have also been applied to the analysis  of  sign  languages. For example.   is   a  subfield of linguistics which studies the sound system of a specific language  (or   languages). and intonation.2.   (i. In English. This can be seen from  minimal pairs  such as "pin" and "bin". An   important   part   of   phonology   is   studying   which   sounds   are   distinctive  units within a language. yet these different  pronunciations are still considered by  native speakers  to be the same "sound". stress. PHONOLOGY Phonology  (Greek  phonē  =   voice/sound   and  logos  =   word/speech).. this same difference of aspiration or non­aspiration  does differentiate phonemes.   or  phonematic). accent.) 4 .   On   the   other  hand. In some other languages. /p/ and /b/ are distinctive  units   of   sound.

1       Word stress      4       Development   of the field    5       See also      6       External links      7       Bibliography    [edit] 2.   speakers   can   correctly   write   whatever   they   can   say.  without quotes).   (In   practice.g.   phonologists   represent   phonemes   by  writing them between two slashes: " / / " (but without the quotes).1       Doing a phoneme   inventory      o   2. the actual sounds are enclosed by square brackets: " [ ] " (again. 5 . On the  other hand.1 Representing phonemes The writing systems of some languages are based on the phonemic principle  of having one  letter  (or combination of letters) per  phoneme  and vice­versa. Even though a language may make distinctions between a  small number of phonemes.1 Doing a phoneme inventory Part   of   the   phonological   study   of   a   language   involves   looking   at   data  (phonetic  transcriptions  of   the   speech   of  native   speakers)   and   trying   to  deduce what the underlying phonemes are and what the sound inventory of  the language is. 2. Thus. While the letters between slashes may be based on spelling  conventions.2       Phonemic distinctions or allophones    o   2.Contents [hide] • • • • • • •   1       Representing phonemes      2       Phoneme inventories    o   2..  Ideally. the  "th"  consonant  sounds of  thin  and  this  are different). different spellings can be used for the same  phoneme (e.) However in English.   and   can  correctly   read   anything   that   is   written..  rude  and  food  have the same  vowel  sounds). speakers actually produce many more phonetic  sounds.2 Phoneme inventory 2. and the same  letter (or combination of letters) can represent different phonemes (e. a phoneme in a particular language can be pronounced in  many ways.g.2.   the   letters   between   square   brackets   are   usually   the  International Phonetic Alphabet  (IPA) or some other  phonetic transcription  system. In order to avoid this  confusion   based   on  orthography.3       Change of a phoneme inventory over time      3       Other topics in phonology    o   3.   this   ideal   is   never  realized.

 For instance.g. 'stub'.) 2." Another   example:   in   English. When there is a minimal pair.   At   one   time.   and. that differ by only a single sound. A native speaker will tell  you that the  [l]  in Seoul and the  [ɾ]  in Korean are in fact the same letter. /k/) can be aspirated.2 Phonemic distinctions or allophones If two similar sounds do not constitute separate phonemes. A minimal pair is a pair of words from the  same language.   and   the   general   rule   is   that   [ɾ]  comes  before a vowel. 'but'. Another   example   of   allophones   in   English   is   how   the   /t/   sounds   in   the  words 'tub'. whereas after /s/ they are not aspirated.   expresses   it   as   either   [ɾ]  or  [l]. and 'butter' are all pronounced differently.2. (It is often not possible to detect all  phonemes with this method so other approaches are used as well. voiceless stops at the beginning  of a word are aspirated.)   There   is  no   English  word 'pin' that starts with an unaspirated p. Korea).   This   is   one   reason   why   most   people   have   an   accent  when they attempt to speak a language that they did not grow up hearing. 2. however. voiceless stops  (/p/.   but   these   later  changed into separate phonemes.2. and that are recognized by  speakers as being two different words. they are called  allophones  of the same underlying phoneme. In English.  What   happens   is   that   a   native   Korean   speaker's   brain   recognises   the  underlying   phoneme  /l/.   depending   on   the   phonetic   context   (whether  before   a   vowel   or   not).Looking   for   minimal   pairs   forms   part   of   the   research   in   studying   the  phoneme inventory of a language. yet are  all perceived as "the same sound. the two  sounds constitute separate phonemes. Seoul.   the   liquids  /l/  and  /ɹ/  are   two   separate  phonemes (minimal pair 'life'. and [l] does not (e.3 Change of a phoneme inventory over time The particular sounds which are phonemic in a language can change over  time. therefore in English. (This can  be   seen   by   putting   your  fingers  right   in  front   of  your   lips   and   notice  the  difference   in  breathiness   as  you  say   'pin'   and   'spin'. 6 . 'rife').   Another   Korean  speaker will hear both sounds as the underlying phoneme and think of them  as   the   same   sound. /t/. in Korean these two liquids are  allophones   of   the   same   phoneme.  [f]  and  [v]  were   allophones   in   English. aspirated  [pʰ]  (the  [ʰ]  means   aspirated)   and   unaspirated   [p]   are   allophones   of   an  underlying phoneme /p/.  their brains sort the sounds they hear in terms of the phonemes of their own  native language. This is one of the main factors of historical  change of languages as described in historical linguistics.

. in his text of Sanskrit phonology.   the   personal   name  August. contrasts with /auˈgust/ . and his work. is considered to be the  starting point of modern phonology. 2. 4. the father of  modern structuralism. the  stress   lies   on   the   penultimate   syllable.   non­phonemic  prosody  and  phonotactics. who was a professor of Sanskrit.1 Word stress In some languages.   The  Shiva   Sutras  describe   a   phonemic   notational   system   in   the  fourteen   initial   lines   of   the    A    ṣṭ    ādhyāy  ī.  elision. He worked not only on the theory of the  phoneme   but   also   on   phonetic   alternations   (i.3.2.   but   in   misery  it   lies   on   the   first  syllable.   in   other   modern­day   Germanic   languages   such   as   German   or  English. discovers the concepts of the phoneme.   In   some   regional   pronunciations   of   American   English.   although   there   are   only   a   few  minimal   pairs. the  Shiva Sutras.   the   words  Missouri  and  misery  are also distinguished only by stress: in  Missouri.   what   is   now   called  allophony  and  morphophonology).  /ˈaugust/. consider  /ˈrɛbəl/  'rebel'  the noun (which places the emphasis on the first syllable) contrasted with  /rɪˈbɛl/  'rebel'   the   verb   (which   instead   puts   the   emphasis   on   the   second  syllable). the morpheme and the  root. For example.   The   notational   system   introduces  different clusters of phonemes that serve special roles in the morphology  of  Sanskrit.   stress   is   phonemically   distinctive.  520–460 BC).   Prosody  includes topics such as stress and intonation. The Polish scholar Jan Baudouin de Courtenay coined the word phoneme in  1876.  However. the  Sanskrit  grammarian    Pā  n   ni      (c.   for   example. Another example is the pair  insight  /ˈɪnsaɪt/ and incite  /ɪnˈsaɪt/.  vowel   harmony.3 Other topics in phonology Phonology   also   includes   topics   such   as  assimilation.   In   German.  tone.   Panini's   grammar   of  Sanskrit had a significant influence on Ferdinand de Saussure. The distinction of stress is often seen in English words where the verb and  noun forms have the same spelling.   and   are   referred   to   throughout   the   text. His influence on  Ferdinand de Saussure  was also significant.  epenthesis. Development of the field In  ancient  India.  Old English  and  Old High  German)  as  well  as  some   modern   Germanic   languages   such   as  Icelandic. who is  considered the founder of  linguistics. stress is non­phonemic.e. the month August. 7 . Some examples include Finnish  and all ancient Germanic languages (Old Norse. though often unacknowledged. where in the  former the stress lies on the first syllable and in the latter on the second  syllable.

  Phonological processes are unordered with respect to each other and apply  simultaneously   (though   the   output   of   one   process   may   be   the   input   to  another). is based  on the notion that all languages necessarily follow a small set of  principles  and vary according to their selection of certain binary  parameters. In 1968. the   Principles of   Phonology  (1939).   and   Halle. In this view. which originated in the early 1980s as an attempt to  unify theoretical notions of syntactic and phonological structures. In this view.   Furthermore.Prince  Nikolai Trubetzkoy's posthumously published work.  The   principles   of  Natural Phonology were extended to morphology  by  Wolfgang Dressler.  Gunnar  Fant..  all languages' phonological structures are essentially the same. the former has had more influence than the  latter. That is.  8 . called  phonemes or feature combinations. Another important figure in the Prague School was Roman Jakobson.   Trubetskoy   is  considered the founder of  morphophonology. but rather as some parallel sequences of  features which reside on multiple tiers.   such   as  Geoffrey   Pullum. but there is  restricted   variation   that   accounts   for   differences   in   surface   realizations. Government Phonology. who  founded Natural Morphology. Prosodic groups  can be as small as a part of a syllable or as large as an entire utterance.  phonology   is   based   on   a   set   of   universal  phonological   processes  which  interact with one another.   the   Generativists  folded morphology into phonology.  Patricia Donegan.) An important consequence of the  influence   SPE   had   on   phonological   theory   was   the   downplaying   of   the  syllable   and   the   emphasis   on   segments. and have the binary values + or  ­. The second­most prominent Natural Phonologist is Stampe's wife. In 1976 John Goldsmith introduced autosegmental phonology. the basis for Generative Phonology. phonological  representations   (surface   forms)   are   structures   whose   phonetic   part   is   a  sequence   of   phonemes   which   are   made   up   of  distinctive   features. which both solved and created problems.S. In the late 1960s. Phonological  phenomena are no longer seen as  one  linear sequence of segments.   Rather   than   acting   on   segments.  Noam Chomsky  and  Morris Halle  published  The Sound Pattern of   English (SPE).   These  features   were   an   expansion   of   earlier   work   by   Roman   Jakobson. Trubetzkoy split phonology into  phonemics and archiphonemics. are from a universally fixed set.   is   considered   the   foundation   of   the  Prague   School  of  phonology. though  also   a  few   others   in  the  U. there are many Natural Phonologists in Europe. David Stampe introduced Natural Phonology.   The   features   describe   aspects   of   articulation   and  perception. Ordered  phonological  rules  govern how  this phonological  representation  (also   called   underlying   representation)   is   transformed   into   the   actual  pronunciation (also called surface form.   Directly   influenced   by   Baudouin   de   Courtenay. which ones are active and which are suppressed  are   language­specific.  who was one of the most prominent linguists of the twentieth century.   phonological  processes act on distinctive features within prosodic groups. though morphophonology was  first recognized by Baudouin de Courtenay.

  a transitive verb  and a noun playing the role of its object can form a word. Optimality  Theory was strongly influenced by Natural Phonology.   though   these  constraints are formalized in very different ways. any English speaker can see that the words  dog. 9 .   English   speakers   can   also  recognize that these relations can be formulated as rules that can apply to  many.Principles are held to be inviolable. See also • • • • • •   Phoneme      Morphophonology      Phonological hierarchy      Prosody (linguistics)      English phonology      Shibboleth    3. The approach was soon extended  to   morphology   by  John   McCarthy  and  Alan   Prince. many other pairs of words.  Jean­Roger Vergnaud. or  encyclopædia  is   to  encyclopædias. John Harris.  Morphology is the branch of linguistics that studies such rules across and  within languages.  dog  is   to  dog­catcher  as  dish  is   to  dishwasher. it  is  clear   that   in  most   (if  not   all)  languages. Prominent figures include  Jonathan Kaye. For example.   and   has   become   the  dominant trend in phonology. in the second case. In   a   course   at   the   LSA   summer   institute   in   1991. The rule in the first case is plural formation. MORPHOLOGY Morphology  is  a sub­discipline   of  linguistics  that  studies  word structure. Though usually unacknowledged. Monik Charette.  dogs  and  dog­catcher  are   closely   related.  Jean Lowenstamm. both view phonology  in   terms   of   constraints   on   speakers   and   their   production. though parameters may sometimes come  into conflict.  While words are generally accepted as being the smallest units of syntax.   words   can  be   related   to  other  words by rules. and many others.  Dog  is to  dogs  just as  cat  is to  cats.  Alan   Prince  and  Paul  Smolensky  developed  Optimality   Theory—an   overall   architecture   for  phonology according to which languages choose a pronunciation of a word  that  best  satisfies  a  list  of  constraints  which  is  ordered   by  importance:   a  lower­ranked constraint can be violated when the violation is necessary in  order to obey a higher­ranked constraint.

 35).   Mémoires Acad. while other rules relate two different lexemes. they refer to two different kinds of entities. are different lexemes.   lexemes).3. I choose the term 'morphology'". The   distinction   between   these   two   senses   of   "word"   is   probably   the   most  important one in morphology. for example. is an  inflectional rule.959 rules of Sanskrit morphology in the  text    A    ṣṭ    ādhyāy  ī.2 Inflection vs. word­formation forms "new words" (that  is.   it   is   possible   to   distinguish   two   kinds   of  morphological rules.   Compounding   is   a   kind   of   word­formation  10 . The Graeco­Roman grammatical tradition also engaged in  morphological analysis. the verbs is and are in The dog is happy and The dogs are   happy). 3. compounds like dog­catcher or dishwasher are an example  of a word­formation rule. there is one sense in which these two are the same  "word" (they are both nouns that refer to the same kind of animal. for  example. differing  only in number). Some morphological rules relate different forms of the  same lexeme. while those of the second kind are called  word­formation." is called  lexeme.   To   take   up   again   the  example of dog vs.   while   inflection   gives   you   more   forms   of   the   "same"   word  (lexeme). dogs. and another sense in which they are different words (they  can't generally be used in the same sentences  without  altering other words  to fit. Informally. Impériale  7/1/7.  Dog  and  dog­catcher. The English plural.1 Lexemes and word words The   word   "word"   is   ambiguous   in   common   usage. There   is   a   further   distinction   between   two   kinds   of   word­formation:  derivation  and  compounding. The form of a word that  is chosen conventionally to represent the canonical form of a word is called a  lemma or citation form. word­formation Given   the   notion   of   a   lexeme.1 History The   history   of   morphological   analysis  dates  back   to   the  ancient   Indian  linguist P  ā    ṇ  ini     who formulated the 3. 3.2 Fundamental concepts 3. We thus say that dog and dogs are different forms of the same  lexeme. Rules of the first  kind are called inflectional rules. on the other hand.2.2. The first sense of "word." the one in which  dog  and dogs are "the same word. The second sense is called  word form. The term morphology itself was coined by August Schleicher in 1859: Für die   Lehre von der Wortform wähle ich das Wort "Morphologie"  ("for the science of  word formation. as illustrated by   dog  and  dogs.

 because the choice between these two forms determines which  form of the verb must be used. organized by their  grammatical   categories. and the  declensions  of nouns.   the   next   section   will   clarify   this  distinction further.   and   they   generally   behave   like   any   other   noun   or   adjective  behaves.   and   the   second   two   just  adjectives.which   involves   combining   complete   word   forms   into   a   compound. the syntactic rules of English care about the difference between  dog and dogs.  There are many examples where linguists fail to agree whether a given rule is  inflection   or   word­formation.   the   word  independent  is   derived   from   the   word  dependent  by   prefixing   it   with   the  derivational prefix in­.   morphological   rules   are   described   as   analogies  between word forms: dog is to dogs as cat is to cats.  the  personal  pronouns  in  English  can  be organized into tables.3 Paradigms and morphosyntax The   notion   of   a  paradigm  is   closely   related   to   that   of   inflection. The categories used to group word forms into paradigms cannot be chosen  arbitrarily. The part of morphology that covers  the   relationship   between  syntax  and   morphology   is   called  morphosyntax. For example.2.   The   familiar   examples   of   paradigms   are   the  conjugations  of verbs. Derivation  involves   suffixes   or   prefixes   that   are   not   independent   words.   The   first   two   are   just   nouns. the analogy applies both to the meaning of the words and to  11 .  and   it   concerns   itself   with   inflection   and   paradigms. aspect. no syntactic rule of English  cares about the difference between  dog  and  dog­catcher. or  dependent  and  independent.   The  paradigm of a lexeme is the set of all of its word forms. The   major   difference   between   inflection   and   word   formation   is   that  inflectional forms of lexemes are organized into paradigms. mood.   but   not   with   word­ formation or compounding.  using  the  categories of person. they must be categories that are relevant to stating the syntactic  rules  of the language. person and number are categories that  can   be   used   to   define   paradigms   in   English. number. which are defined  by the requirements of syntactic rules. The word forms of a  lexeme can usually be arranged into tables. by classifying them by shared  features such as tense. and as dish is to dishes. number. and dependent itself is derived from the verb depend. 3. gender or case.2.  dog­ catcher is a compound. In  other words.   because   English   has  grammatical agreement rules that require the verb in a sentence to appear in  an inflectional form that matches the person and number of the subject. For example. gender and case.  In this case. 3.   However. The distinction between inflection and word­formation is not at all clear­cut.4 Allomorphy and morphophonology In   the   exposition   above. because both dog and catcher are words. but in contrast.

On the other hand. other kinds of allomorphy are due to interaction between  morphology and  phonology. In  English.   is   not   quite   that  simple. we put a vowel sound in  between. and get dishes. is the collection of lexemes in a language.   would   often   violate   phonological   rules. and  in a plural like dishes.   The   most   extreme   cases   here   are   called  suppletion. which is a suppletive  form.   For   example.   unvoiced)   of   the  preceding phoneme.  goose/geese.   and   morphological   rules. Similar rules apply to the pronunciation of the  ­s in  dogs  and  cats:   it   depends   on   the   quality   (voiced   vs. the word in the left always means "one of X" and   the one on the right "many of X". One is pure allomorphy. which is not  permitted by the phonology. One of the largest sources of complexity in morphology is that this sort of  one­to­one correspondence between meaning and form hardly ever holds.   when  applied   blindly.   where   two   forms   related   by   a   morphological   rule   are   just  arbitrarily different: for example. Phonological rules constrain which sounds can  appear   next   to   each   other   in   a   language.2. or not signalled at all.  where  the  difference  between   the singular  and  the plural is  signaled in a different way from the regular pattern. we'd get  *dishs. which the singular does not  have. 12 .   by   resulting   in  impossible   sound   sequences.  which.   and  sheep/sheep.  As   such.   with   the   final   ­s. the past of go is went. morphologically conceived.   we   have   word   form   pairs   like   ox/oxen. There are several kinds of allomorphy.5 Lexical morphology Lexical morphology is the branch of morphology that deals with the lexicon. These cases. Many morphophonological rules fall  under the category of sandhi.   it   concerns   itself   primarily   with   word­formation:   derivation   and  compounding.their forms: in each pair.  Even   the   case   we   consider   "regular". the ­s in dogs is not pronounced the same way as the  ­s in cats. are called allomorphy. The study of allomorphy that results from the interaction of morphology and  phonology  is called  morphophonology.   if   we   were   to   try   to   form   the  plural of  dish  by just putting a  ­s  at the end. to "rescue" the word. we have an "extra" vowel before the ­s.  where   the   same   distinction   is   effected   by   different   changes   of   form   for  different lexemes. where the  allomorphs   are   just   arbitrary. and at the distinction is always signaled by   having the plural form have an   ­s  at the end. 3.

 This is so  to such an extent that very often beginners think that morphemes are an  inevitable. Analyzing words as sequences of morphemes  is a  way of describing these relations. in  this case. however.  depend  is the  root  and the other morphemes are.   and   many   five­minute  explanations   of   morphology   are. and which laymen tend to find the most obvious. we say that  dog  is the  root. it is not absolute.   in   fact. the same sort of analysis is also straightforward for   oxen. and  ly.3. For example.  Please  note that  while the associations  indicated  between  the concepts   in  each item in that list is very strong. and that  ­s  is an inflectional morpheme. In a word like independently. A  morpheme  is defined as the minimal meaningful unit of a  language.1 Morpheme­based morphology In  morpheme­based morphology. with the stem  ox.    Word­based  morphology  . 3. This way of analyzing word  forms as if they were made of morphemes put after each other like beads on  a string.  depend. is called Item­and­Arrangement.3.   fundamental   notion   of   morphology. which normally makes use of an Item­and­ Process approach. it's easy  to think that in dogs. In actual academic  linguistics. but is not the only way. word forms are analyzed as sequences of  morphemes. derivational affixes. This is.  ­ent.    Lexeme­based morphology  . the fundamental idea  of morphology is that the words of a language are related to each other by  different  kinds of rules. followed by the plural morpheme  ­s. how do we "split up" the  word geese into root + plural morpheme? How do we do so for sheep? Theorists   who   wish   to   maintain   a   strict   morpheme­based   approach   often  preserve the idea in cases like these by saying that   geese  is  goose  followed  13 . we say that the morphemes are  in­. The morpheme­based approach is the first one that beginners to morphology  usually think of.   which   makes   use   of   an  Item­and­ Arrangement approach. These are: • • •   Morpheme­based   morphology  . not so. which normally makes use of a  Word­and­ Paradigm approach. Applying   a   morpheme­based   model   strictly   quickly   leads   to   complications  when one tries to analyze many forms of allomorphy.[1]  In a word like  dogs.  which try  to  capture the distinctions above in different ways. morpheme­based morphology certainly has many adherents. But then. and a suppletive plural morpheme ­en.3 Models of morphology There  are  three  major  families  of approaches   to morphology. but  is by no means absolutely dominant. we have the root dog.   five­minute   explanations   of  morpheme­based morphology.

 and  the   other   for   plural. It is also  common for morpheme­based analyses to posit null morphemes even in the  absence of any allomorphy. the plural of   goose  is formed by  changing the vowel in the stem. Words can be categorized based  on the pattern that they fit into. a compounding rule takes word­forms. a derivational rule takes  a stem. all we say is that while the plural of   dog  is formed by adding an  ­s  to the end. The examples are usually drawn from fusional languages. such as  older replacing elder (where  older  follows   the   normal   pattern   of  adjectival  superlatives)   and  cows  replacing kine (where cows fits the regular pattern of plural formation). Faced with a plural like  geese. on the other  hand.   This  kind of theory takes paradigms as a central notion. For example. one for third person. we don't  have to assume there is a zero­morph.   which  a   morpheme­based   theory   would   call  an  inflectional   morpheme. where  a  given   "piece"   of  a   word. and  that the vowel change in the stem is a morphophonological rule.   because   they   all   too   often  assume that there will be two separate rules here.   The   major   point   behind   this   approach   is  that  many  such  generalizations  are hard  to state  with  either   of  the  other  approaches.3. Instead of stating rules  to   combine   morphemes   into   word   forms.  and outputs a compound stem. and outputs a word­form. An inflectional rule takes a stem.   often   break   down   in   cases   like   these.   Word­and­Paradigm   approaches   treat   these   as   whole   words   that  are related to each other by analogical rules. word­based morphology states generalizations that hold between the  forms   of   inflectional   paradigms.3 Word­based morphology  Word­based   morphology  is   a   (usually)  Word­and­Paradigm  approach. 3.   corresponds   to   a   combination   of   grammatical  categories. to produce a new one."   Morpheme­based   theories  usually   have   no   problems   with   this   situation.   "third   person   plural.3.   since   one   just   says   that   a  given morpheme has two a  null morpheme  (a morpheme that has no phonological content). 3.  Instead   of   analyzing   a   word   form   as   a   set   of   morphemes   arranged   in  sequence. and outputs a derived stem. then one might analyze the  singular dog as the root dog followed by a null morpheme for the singular.2 Lexeme­based morphology  Lexeme­based   morphology  is   (usually)   an  Item­and­Process  approach. While  14 .   or   to   generate   word­forms   from  stems. if the plural noun  dogs is analyzed  as a root dog followed by a plural morpheme  ­s. The Item­and­Process approach bypasses the difficulty described above for  Item­and­Arrangement approaches.   does some changes to it. we think of a word form as the result of applying rules that  alter a  word form or stems.   but   the   distinction   between   them   turns   out   to   be  artificial.   Application   of   a   different   pattern   than   the   one   that   was   used  historically can give rise to a new word.   for   example. Item­and­Process theories. This applies both to existing words and to  new   ones.

  There   is   very   little   fusion   going   on   with   word­ formation. When one considers the variability of the world's languages.5 Footnotes 1. both  Latin  and  Greek  are classic examples of fusional  languages. The Item­and­ Arrangement approach fits very naturally with agglutinative languages.   and   their   words   tend   to   have   lots   of   easily­separable  morphemes.a   Word­and­Paradigm   approach   can   explain   this   easily.   It   describes   the   latter   as   having  separate morphemes  "fused"   together   (which  often  does  correspond  to  the  history of the language.   while   yet   others   are  fusional.   The   classic   example   of   an  isolating   language   is  Chinese.   other   approaches  have difficulty with phenomena such as this. However. depending on the preferred way of expressing notions that are not  inflectional: either by using word­formation (synthetic). While all those were indeed once related to  each other by  morphological rules. The three models of morphology stem from attempts to analyze languages  that more or less match different categories in this typology.   philologists   devised   a   now   classic   classification   of  languages   in   terms   of   their   morphology. it becomes clear  that   this   classification   is   not   at   all   clear­cut. The reader should also note that the classical typology also mostly applies to  inflectional   morphology. while  the Item­and­Process and Word­and­Paradigm approaches usually address  fusional languages.   others   are  agglutinative. Languages may be classified as synthetic or analytic in their word  formation.   According   to  this  typology. or by using syntactic  phrases (analytic).  this was so only   in Latin.4 Morphological typology  See the main article.   and   have   little   or   no   morphology.   because   their   inflectional  morphemes   are   said   to   be   "fused"   together.   the   classic   example   of   an   agglutinative  language is  Turkish. morphological typology In   the   19th   century. examined against the light of the  three general models of morphology described above.   some  languages   are  isolating. It makes direct use of the notion of morpheme in the definition  of   agglutinative   and   fusional   languages. but not  15 . English borrowed the words from French and Latin.   and   many   languages   don't  neatly fit any one of these types. it is also clear that the  classification is very much biased towards a morpheme­based conception of  morphology. 3. but not to its synchronic reality). not in  English.   ^    The existence of words like  appendix  and  pending  in English does  not mean that the English word  depend is analyzed into a derivational  prefix de­ and a root pend. 3.

6 See also • • • • • • • • • • • • •   affixation      bound morpheme      dependent­marking language      head­marking language      inflected language      morphological typology      noun case      root morpheme      syntactic hierarchy      uninflected word      distributed morphology      nonconcatenative morphology      unpaired word    16 .the  morphological   rules   that   allowed   Latin  speakers   to   combine   de­  and the verb pendere 'hang' into the derivative dependere.  3.

 within the study of signs. etc. In   the   framework   of  transformational­generative   grammar  (of   which  Government and Binding Theory  and  Minimalism  are recent developments).   starting  from an initial category  S  (or. which. meaning "sequence. the various  syntactic  categories (e. noun phrase.   they   provide   some   system   of   rules   to   explain  patterns   of   acceptability/grammaticality   and  unacceptability/ungrammaticality.   One   difference   from   phrase   structure   grammar   is   that  17 .4.   Most   formal   theories   of   syntax   offer  explanations   of   the   systematic  relationships  between   syntactic   form   and  semantic  meaning.  Syntax is defined. adjectives. There are various theories as to how best to make grammars such that by  systematic application of the rules. for  ID/LP grammar.) are formed.   Syntax   attempts   to   systematize   descriptive  grammar.   they   hierarchically   group   subunits   into   constituent  units   (phrases). The earliest framework of  semiotics  was established by  Charles   W.   originating   from   the  Greek  words   συν   (syn.   are  categorized   as  nouns. arrangement"). order. The most common  are  Phrase   structure   grammars  and  ID/LP  grammars. etc. There exist many theories of formal syntax — theories that have in time risen  or   fallen   in   influence.) are combined into clauses. are  combined   into   sentences. or "patterned relations"  that govern the way the words in a sentence come together. and the third is pragmatics (the relationship between the sign system  and the user).   the   latter   having   a  slight explanatory advantage over the former.   Such   trees   provide  information   about   the   sentences   they   represent   by   showing   how.   Morris  in   his  1938  book  Foundations   of   the   Theory   of  Signs. verbs.   Second.  Z). [citation needed]Dependency grammar  is a class of syntactic theories separate from generative grammar in which  structure   is   determined   by   the   relation   between   a   word   (a   head)   and   its  dependents. and is unconcerned with prescriptive grammar (see  Prescription  and description).g. The second subfield is semantics  (the study of the relation between the signs and the objects to which they  apply). It concerns how  different   words   (which.  the   structure   of   a  sentence  is   represented   by  phrase   structure   trees.   going   back   to  Dionysios   Thrax. can in  linguistics be described  as the  study  of the rules. in turn.   meaning   "co­"   or  "together") and τάξις (táxis. one can arrive at every phrase marker in  a language (and hence every sentence in the language).  otherwise   known   as  phrase   markers  or  tree  diagrams.   Most   theories   of   syntax   at   least   share   two  commonalities:   First. as the first of its three subfields  (the study of the interrelation of the signs). verb phrase. SYNTAX Syntax.

  The   syntax   of  expressions can be specified with parse trees.   especially   in   the   subfield   of  programming   languages. A modern approach to combining accurate descriptions of the grammatical  patterns   of   language   with   their   function   in   context   is   that   of  systemic  functional   grammar.   called  parsing.  where   the   set   of   allowed  reserved   words  and   their   parameters   and   the  correct  word order  in the  expression  is called the syntax of language.   such   as   the  Chomsky  hierarchy and context­free grammars.   or   less   rigid.   as   in   languages   that   make   use   of  "keyword"   parameters   that   can   be   stated   in   any   order. Algebraic syntax is a  type of dependency grammar.dependency grammar does not have phrasal categories.  Construction   Grammar.   and  cognitive   grammar  do   generally   not   operate   with   rules   of   syntactic  combination. as through  Latin's inflectional case endings.   an   approach   originally   developed   by   Michael   A.   such   as  Head­Driven   Phrase   Structure  Grammar. Systemic­ functional   grammar   is   related   both   to   feature­based   approaches   such   as  Head­driven phrase structure grammar and to the older functional traditions  of  European  schools  of  linguistics   such  as  British   Contextualism   and  the  Prague School. syntax can be extremely rigid. 18 .   in   monotonic   and  monostratale   frameworks. as well. This  application of the word can apply to natural languages.  Lexical   Functional   Grammar.  Halliday in the 1960s and now pursued actively in all continents. This   process. The analysis of programming  language  syntax usually entails the transformation of a linear sequence of  tokens  (a   token   is   akin   to   an   individual   word   or   punctuation   mark   in   a  natural language) into a hierarchical  syntax tree  (abstract syntax trees  are  one convenient form of syntax tree). Another   meaning   of   the   term   syntax  has   been   evolved   in   the   field   of  computer   science.   is   in   some   respects  analogous   to  syntactic  analysis   in  linguistics.   variants   of  unification   grammar  are   often  preferred formalisms. Monotonic   approaches   to   syntax.   in   fact. are common to the study of syntax in  both linguistics and computer science. In computer languages.K. Tree adjoining grammar is a grammar formalism which has been used as the  basis   for   a   number   of   syntactic   theories. but rather with the notion of syntactic schemata which license  or block the occurrence of sequences of words in discourse.   However. as in the case of most   assembler   languages.   certain   concepts.

 "That's  only  semantics.  hyponymy.   phrases.   another   is   the   study   of   relations   between   different   linguistic  expressions   (homonymy. SEMANTICS  Semantics  (Greek:   σημαντικός."   when  someone  tries to draw conclusions about what is true about the world based on what  is true about a word. as opposed to memory for events (episodic memory). 19 .  synonymy.   which  establish   a  language   of   thought.   which   pertains   to   the   formal  arrangement of characters and words in the expressions of a given language.  antonymy.  exocentric.  meronymy.   Semantics   includes   the   study   of  thematic   roles. in some sense of that term. Semantics  is   commonly   contrasted   with  syntax.   An   area   of   study   is   the   meaning   of  compounds.  metonymy.   and   texts.1 Linguistics Semantics  is   a   subfield   of  linguistics  that   is   traditionally   defined   as   the  study   of  meaning  of   (parts   of)   words.  polysemy. Semantics is distinguished from ontology (study of existence) in being about  the use of a word more than the nature of the entity referenced by the word. Several more particular senses of the word can be identified: 5.   The  decompositional   perspective   towards   meaning   holds   that   the   meaning   of  words   can   be   analyzed   by   defining   meaning   atoms   or   primitives.  truth  conditions.  paronyms.  This  is  reflected  in  the  argument. Semantic memory is a term used in neuropsychology to refer to memory for  facts.5.   and  endocentric). but otherwise is treated as a branch of its  own.   significant   meaning.  semantikós.   argument  structure. or "knowledge".   and  discourse   analysis.   sentences. sign) is the study of meaning.  Semantics can be approached from a theoretical as well as an empirical (for  example  psycholinguistic  and   neuroscientific)   point   of   view.   from  sema.   Semantics   deals   with  sense  and  reference.  hypernymy.  Pragmatics  is   often  considered a part of semantics.   and   its   linking   to  syntax.  holonymy.

  held   by   many  mathematicians. and  μαθηματικός  (mathēmatikós). meaning  fond of learning.5. knowledge.   and  change.3.  medicine  and  economics. 5. Also.1 Mathematics Mathematics can be defined as the logically rigorous study of topics such as  quantity. without any particular application in view.  space. Mathematics   is   used   throughout   the   world   in   fields   such   as  science. or learning. 20 .S. The word "mathematics" comes from the Greek  μάθημα  (máthēma) meaning  science. and    Canada       and  maths in Britain and many Commonwealth countries. These  fields  both inspire  and make  use of new discoveries in mathematics.  engineering.  structure.3 Mathematics and computer science "Semantics" is also used as a term in mathematics and computer science 5. It is often abbreviated  math  in the  U.   Another   view. New mathematics is also created for  its own sake.  mathematical logic.   most   influentially   being  Alfred   Tarski's   ideas   in  model  theory and his semantic theory of truth. inferential role semantics has  its roots in the work of Gerhard Gentzen on proof theory and proof­theoretic  semantics. is that mathematics is the body of knowledge justified by  deductive reasoning.   One   of   the   most   popular   alternatives   to   the   standard   model  theoretic semantics is truth­value semantics. and computer science originated in techniques for the  semantics   of   logic.2 Logic Many   of   the   formal   approaches   to   semantics   applied   in   linguistics. starting from axioms and definitions.

4       Change    o   6.  prehistoric  peoples   also  recognized   how   to   count  abstract  quantities.6       Discrete mathematics    o   6.Contents [hide] • • • • • • • • • • • •   1       History      2       Inspiration. namely that they fill the hands  of exactly one person. Further steps need writing or some other system for recording numbers such  as tallies or the knotted strings called quipu used by the Inca empire to store  numerical data.  years.1.2       Structure    o   6.2       What mathematics is not      8       See also      9       Notes      10       References      11       Further reading      12       External links    5.1       Relationship   between mathematics and physical reality  o   7.3       Space    o   6. and aesthetics      3       Notation. was a breakthrough in human thought.8       Important theorems    o   6.  multiplication  and  division).1 History Main article: History of mathematics  The evolution of mathematics might be seen to be an ever­increasing series  of  abstractions.   The   first  abstraction was probably that of  numbers.10       History and the world of mathematicians      7       Common misconceptions    o   7.  seasons.  naturally followed. In addition to  recognizing   how   to  count  concrete  objects. The realization that two apples  and two oranges have something in common. pure and applied mathematics.1       Quantity    o   6.7       Applied mathematics    o   6.5       Foundations and methods    o   6.  subtraction.9       Important conjectures    o   6.   like  time  —  days.   or   alternatively   an   expansion   of   subject   matter. language. 21 . Numeral systems have been many and diverse. Monolithic monuments testify to knowledge of geometry. and rigor      4       Is mathematics a science?      5       Overview of fields of mathematics      6       Major themes in mathematics    o   6.  Arithmetic  (addition.3.

 and there has been a fruitful  interaction   between   mathematics   and   science.   Within   applied   mathematics.   Hardy  in  A   Mathematician's   22 .  Mathematical discoveries have been made throughout history and continue  to be made today.9 million.  statistics and computer science.From   the   beginnings   of   recorded   history. such as Euclid's proof that there are infinitely  many  prime numbers. and change. Sevryuk. pure and applied mathematics.   Some  mathematics is only relevant in the area that inspired it.  Simplicity  and  generality  are valued.   the   major   disciplines   within  mathematics   arose   out   of   the   need   to   do   calculations   on   taxation   and  commerce. "The number of  papers   and   books   included   in   the  Mathematical   Reviews  database   since  1940 (the first year of operation of MR) is now more than 1.  G. At first these were found in commerce. and is applied to  solve further problems in that area. space.   all   sciences   suggest  problems   studied   by   mathematicians.   and   many   problems   arise   within  mathematics itself.   to   measure  land. and aesthetics Main article: Mathematical beauty  Mathematics   arises   wherever   there   are   difficult   problems   that   involve  quantity. its intrinsic  aesthetics  and inner  beauty. the explosion of knowledge in the scientific age  has led to specialization in mathematics.   and   joins   the   general   stock   of  mathematical   concepts. One major distinction is between  pure  mathematics  and  applied  mathematics." 5.   nowadays.  in the January 2006  issue of the Bulletin of the American Mathematical Society.1.   The   remarkable   fact   that   even   the   "purest"  mathematics often turns out to have practical applications is what  Eugene  Wigner has called "the unreasonable effectiveness of mathematics.  structure.   H. and in a numerical method that speeds calculation. These needs can be roughly related  to   the   broad   subdivision   of   mathematics. space. structure.   to   understand   the   relationships   among   numbers. According  to Mikhail B. Many mathematicians talk about the  elegance  of mathematics.   and   today's  string   theory  also   inspires   new   mathematics. Mathematics since has been much extended." As in most areas of study. and  more   than   75   thousand   items   are   added   to   the   database   each   year.3. or change.2 Inspiration. There is  beauty also in a clever proof.  two   major   areas   have   split   off   and   become   disciplines   in   their   own   right. and to predict astronomical events.   The  overwhelming   majority   of   works   in   this   ocean   contain   new   mathematical  theorems and their proof.   into   the   studies   of   quantity.  land   measurement  and   later  astronomy.   to   the   benefit   of   both. But often mathematics inspired by one  area   proves   useful   in   many   areas.  such   as   the  fast   Fourier   transform. Newton invented infinitesimal calculus and Feynman his  Feynman   path   integral  using   a   combination   of   reasoning   and   physical  insight.

 which  has an intrinsic meaning only in the context of all derivable formulas of an  axiomatic   system.   in  themselves.   The   level   of   rigor   expected   in   mathematics   has  varied over time.   mathematicians  continue to argue among themselves about computer­assisted proofs. an axiom is just a string of symbols. but that conception  is problematic. such proofs may not be sufficiently  rigorous. Mathematical   language   also   is   hard   for   beginners. Axioms in traditional thought were 'self­evident truths'. Rigor is fundamentally a matter of mathematical proof.3 Notation. It was said that  Henri Poincaré  was only elected to the Académie Française so that he could  tell them how to define automorphe in their dictionary.   Mathematicians   refer   to   this   precision   of  language and logic as "rigor".   words   such   as   open  and  field  have   been   given  specialized   mathematical   meanings.   Before   that. At a formal level.  such as or  and  only.3. 5. Also  confusing   to   beginners. strive to be as unambiguous as possible. have more precise meanings than in everyday speech.   but   according   to  Gödel's  23 . It is extremely compressed: a few symbols contain a great  deal of information.1.   Today.   a  painstaking  process   that  limited  mathematical  discovery.   in  mathematical   analysis).   Modern  notation  makes  mathematics  much easier  for  the professional.Apology  expressed   the   belief   that   these   aesthetic   considerations   are. Since  errors can be made in a computation. and rigor Main article: Mathematical notation  Most of the mathematical notation we use today was not invented until the  16th   century.   and  mathematical   jargon  includes  technical terms such as "homeomorphism" and   integrable.   It   was   the   goal   of  Hilbert's   program  to   put   all   of  mathematics   on   a   firm   axiomatic   basis.  Mathematicians. based on fallible intuitions. This  is to avoid mistaken 'theorems'. But there is a reason  for   special   notation   and   technical   jargon:   mathematics   requires   more  precision   than   everyday   speech. Mathematicians want  their theorems to follow from axioms by means of systematic reasoning.   Even   common   words. Like  musical notation. language. like lawyers. the Greeks expected detailed arguments. modern mathematical notation  has a strict syntax and encodes information that would be difficult to write  in any other way. sufficient to justify the study of pure mathematics.   mathematics   was   written   out   in   words. but by the time of  Isaac Newton  the methods employed were less rigorous.  but  beginners  often  find it daunting. of which many  instances   have   occurred   in   the   history   of   the   subject   (for   example. Problems inherent  in   the   definitions   used   by   Newton   would   lead   to   a   resurgence   of   careful  analysis   and   formal   proof   in   the   19th   century.

  Intuition  and  experimentation  also   play   a   role   in   the   formulation   of  conjectures  in both mathematics and the (other) sciences. 24 . notably the exploration of the logical consequences of assumptions.4 Is mathematics a science? Carl   Friedrich   Gauss  referred   to   mathematics   as   "the   Queen   of   the  Sciences". J.   While some  in  applied mathematics feel that they are scientists. An   alternative   view   is   that   certain   scientific   fields   (such   as   theoretical  physics)   are  mathematics  with  axioms  that   are  intended   to correspond   to  reality. in the sense  that   every   mathematical   statement   or   proof   could   be   cast   into   formulas  within set theory. fundamentally  philosophers.  have applied a version of falsificationism to mathematics itself.   or   at   least   pure   mathematics. Ziman. It is common  to see universities divided into sections that include a division of  Science and   Mathematics. In fact.   and   so   a   final  axiomatization  of   mathematics   is  unavailable.  and its history in the traditional seven liberal arts. Nonetheless mathematics is often imagined to be (as far as its  formal content) nothing but set theory in some axiomatization.   and  computation and simulation play an ever  bigger  role in both the sciences  and   mathematics.   the   objection   that   mathematics   does   not   utilize   the  Scientific Method becomes weaker and weaker. others feel that to ignore  its   connection   to   the   sciences   is   to   turn   a   blind   eye   to   the   fact   that   the  interface   between   mathematics   and   its   applications   in   science   and  engineering  has   driven   much   development   in   mathematics.  then   mathematics. The  opinions  of  mathematicians  on this matter  are  varied. M. proposed that science  is  public   knowledge  and   thus   includes   mathematics. indicating that the fields are seen as being allied but that they  do   not   coincide. notably Imre Lakatos.1. As  experimental  mathematics  continues   to   grow   in   importance   within   mathematics. hence.3. 5.  Karl  Popper  believed   that   mathematics   was   not   experimentally  falsifiable  and  thus not a science.   mathematicians   are   typically   grouped   with  scientists at the gross level but separated at finer levels.   One   way   this  difference of viewpoint plays out is in the philosophical debate as to whether  mathematics is created (as in art) or discovered (as in science). the theoretical physicist.[1]  If one considers  science to be strictly about the physical world. Many mathematicians feel that to  call their area a science is to downplay the importance of its aesthetic side. those in pure mathematics  often feel that they are working in an area more akin to logic and that they  are. [citation needed] However.  mathematics   shares   much   in   common   with   many   fields   in   the   physical  sciences.incompleteness   theorem  every   (sufficiently   powerful) axiomatic system   has  undecidable   formulas.  [1]  In   any   case. other thinkers.   is   not   a   science.   In   practice.

 The study  of   vectors   combines   three   of   the   fundamental   areas   of   mathematics.   Within  algebraic geometry is the description of geometric objects as solution sets of  polynomial  equations. fields and  other   abstract   number   systems.   to   measure   land.   and   the   methods   of  differential   equations. The   study   of   structure   began   with   investigations   of  Pythagorean   triples. Understanding   and   describing   change   is   a   common   theme   in   the  natural  sciences..   Quantity   and   space   both   play   a   role   in  analytic   geometry.  Neolithic monuments on the British Isles are constructed using Pythagorean  triples.   which   are  characterized   in  arithmetic. and change.5 Overview of fields of mathematics As noted above.  to understand  the relationships  between   numbers.  combining  the concepts  of quantity and space.   The   deeper   properties   of   whole   numbers   are  studied in number theory. rings.3.   The   central  concept  used to describe  a changing  quantity  is that of a  function.   and  analysis). the major disciplines within mathematics first arose out of  the need  to do calculations in commerce.  These   four   needs   can   be   roughly   related   to   the   broad   subdivision   of  mathematics into the study of quantity.   In   addition   to   these   main  concerns.   and   the   detailed  study of their properties and the properties of real­valued functions is known  25 . to set theory (foundations) and  to the empirical mathematics of the various sciences (applied mathematics). Eventually.   beginning   with  Euclidean  geometry.  non­ Euclidean   geometries  (which   play   a   central   role   in  general   relativity)   and  topology. generalized to vector spaces and studied in linear algebra.   The   numbers   used   to  represent   continuous   quantities   are   the  real   numbers. Lie  groups  are used to study space. space. there are also subdivisions dedicated to exploring links from the  heart of mathematics to other fields: to logic.   first   the   familiar  natural  numbers  and  integers  and   their  arithmetical  operations.  and  also the study of topological groups.  arithmetic.   Included   is   the   important   concept   of  vectors.  Trigonometry  combines space and number.  Topology  in all its  many   ramifications   may   be   the   greatest   growth   area   in   20th   century  mathematics.  quantity. The   study   of   quantity   starts   with  numbers. The   study   of   space   originates   with  geometry. The modern study of  space generalizes these ideas to include higher­dimensional geometry.   and   to   predict  astronomical  events.e.1.  geometry. this led to the invention of more abstract numbers.   and  calculus  was   developed   as   a   most   useful   tool. Many  problems lead quite naturally to relations between a quantity and its rate of  change.   Within   differential   geometry  are   the   concepts   of  fiber   bundles  and   calculus   on  manifolds. structure.   and  algebraic   geometry. structure. such  as the square root of two.  differential   geometry. The deeper structural properties of numbers are  studied in abstract algebra and the investigation of groups. and space. and change (i. which combine structure and space.  algebra.5. structure.

as  real   analysis.3. to the  complex numbers.  model theory. structure.   however. Many of those topics are now investigated in theoretical  computer science. several essential theoretical  concepts   in  computer  science  were  shaped   by   mathematicians.   It   is   used   in   all   the  sciences. 5. space.  chaos theory  makes  precise   the  ways in  which   many   of   these   systems   exhibit   unpredictable   yet   still  deterministic  behavior.   with   the   inclusion   of   the  square root of negative one.   but   rather   part   of   an   allied   group. and  proof theory.   analysis.)  Numerical   analysis  investigates computational methods for efficiently solving a broad range of  mathematical   problems   that   are   typically   much   too   large   for   a   human's  capacity.1. see areas of mathematics or the list of mathematics lists. is now closely linked to  computer science.3. In order to clarify the  foundations of mathematics.  computational   complexity   theory.   leading   to  the   fields   of  computability   theory.  When electronic computers were first conceived.   do   not   consider   themselves   to   be  mathematicians. Beyond quantity. and change are areas of pure mathematics  that can be approached only by deductive reasoning. An   important   field   in   applied   mathematics   is  statistics.   which   uses  probability   theory  as   a   tool   and   allows   the   description.   and  information theory.6.  Natural  numbers Integers Rational numbers Real numbers Complex numbers 26 .   and  prediction   of   phenomena   where   chance   plays   a   role. Discrete mathematics is the common name for the fields  of mathematics most generally useful in computer science.6 Major themes in mathematics An alphabetical and subclassified  list of mathematics articles  is available. 5.   These   have   been   generalized. which are studied in  complex analysis. the fields of mathematical logic and set theory  were   developed. Functional analysis focuses attention on (typically infinite­ dimensional)   spaces   of   functions.   (Many   statisticians.   For   a  fuller treatment.  The   following   list   of  themes   and  links   gives   just   one  possible  view.   Mathematical   logic. it includes the study of rounding errors or other sources of error in  computation.   One   of   many   applications   of   functional  analysis   is  quantum   mechanics.1 Quantity Quantity starts with counting and measurement.   which   divides   into  recursion   theory.1.   Many   phenomena   in   nature   can   be  described  by  dynamical  systems.

3.2 Structure Pinning down ideas of size.3.3.  Geometry Differential  Fractal  Topology geometry geometry Algebraic geometry – Differential topology – Algebraic topology – Linear  algebra – Combinatorial geometry – Manifolds  Trigonometry 5.1.4 Change 27 .Number  –  Hypercomplex   numbers  –  Quaternions  –  Octonions  –  Sedenions – Hyperreal numbers – Surreal numbers – Ordinal numbers  –  Cardinal   numbers  –    p    ­adic   numbers    –  Integer   sequences  –  Mathematical constants – Number names – Infinity – Base  5. and mathematical structure.6. symmetry. Space A more visual approach to mathematics.  Arithmetic Number  theory Abstract  algebra Group theory Order theory Monoids  –  Rings  –  Fields  –  Linear   algebra  –  Algebraic   geometry–  Universal algebra  5.

6 Discrete mathematics Discrete mathematics involves techniques that apply to objects that can only  take on specific.  Combinatorics Theory   computation of  Cryptography Graph theory Computability   theory  –  Computational   complexity   theory  –  Information  theory  28 .1.  Mathematical logic Set theory Category theory Foundations of mathematics  –  Philosophy  of mathematics  –  Intuitionism  –  Constructivism – Proof theory – Model theory – Reverse mathematics  5. separated values.Ways to express and handle change in mathematical functions. and changes  between numbers.3.6.5 Foundations and methods Approaches to understanding the nature of mathematics.  Calculus Vector  calculus Differential  equations Dynamical  systems Chaos theory Analysis  –  Real analysis  –  Complex analysis  –  Functional analysis  –  Special functions  –  Measure theory  –  Fourier analysis  –  Calculus of  variations

  Mathematical physics – Mechanics – Fluid mechanics – Numerical analysis –  Optimization – Probability – Statistics – Mathematical economics – Financial  mathematics  –  Game   theory  –  Mathematical   biology  –  Cryptography  –  Mathematics and architecture – Mathematics of musical scales  5. and occasionally by mathematicians themselves.7 History and the world of mathematicians See also list of mathematics history topics History of mathematics – Timeline of mathematics – Mathematicians – Fields  medal  –  Abel   Prize  –  Millennium   Prize   Problems   (Clay   Math   Prize)  –  International   Mathematical   Union  –  Mathematics   competitions  –  Lateral  thinking  –  Mathematics   education  –  Mathematical   abilities   and   gender  issues  5.1.  See list of theorems for more  Pythagorean   theorem  –  Fermat's   last   theorem  –  Gödel's   incompleteness  theorems  –  Fundamental theorem of arithmetic  –  Fundamental theorem of  algebra – Fundamental theorem of calculus – Cantor's diagonal argument –  Four   color   theorem  –  Zorn's   lemma  –  Euler's   identity  –  classification  theorems   of   surfaces  –  Gauss­Bonnet   theorem  –  Quadratic   reciprocity  –  Riemann­Roch theorem. Important conjectures See list of conjectures for more These are some of the major unsolved problems in mathematics. There is no shortage of open problems.3.3.   in   which   everything   has  already been worked out. It often  29 .3.1.6.  5.1.7 Applied mathematics Applied mathematics  aims to develop new mathematics to help solve real­ world problems.6.  Goldbach's   conjecture  –  Twin   Prime   Conjecture  –  Riemann   hypothesis  –  Poincaré conjecture – Collatz conjecture – P=NP? – open Hilbert problems.7 Important theorems These   theorems   have   interested   mathematicians   and   non­mathematicians  alike.  5.8 Common misconceptions Mathematics   is   not   a   closed   intellectual   system. Pseudomathematics  is   a   form   of   mathematics­like   activity   undertaken  outside  academia.

1. since our universe is today known not to be  Newtonian.  attempts   to   circumvent   the   usual   criteria   for   publication   of  mathematical papers  in a  learned journal  after  peer  review.   Nevertheless.   mathematics  remains   extremely   useful   for   solving   real­world   problems. 10 What mathematics is not Mathematics   is   not   about   unrestricted  theorem   proving.   and   even   scientific   and   industrial  applications. and empirical testing of mathematical predictions is not  a mathematical undertaking (see Is Mathematics A Science above).   long   papers   not   supported   by  previously   published   theory). This leads  to   confusion   on   the   part   of   those   who   assume   that   where   mathematical  concepts   are  named   after   or   ostensibly   correspond  with  aspects   of   reality  (physics.   either   at   a  very small (quantum mechanical) or very large (relativistic) level conflict with  Newton's   Laws.   any   more   than  literature  is   about   the   construction   of  grammatically   correct  sentences. 5.  And like astronomy.   they   are   not   dependent   on   them. the existing  literature. etc).   Insofar   as   a   correspondence   does   exist. Thus while most systems of axioms are derived  from  our perceptions and  experiments.   while  mathematicians and physicists may select axioms and postulates that seem  reasonable and intuitive.consists   of   determined   attacks   on   famous   questions.   theorems   are   elements   of  formal   theories.  The case of Kurt Heegner's work shows that the mathematical establishment  is neither infallible.  lack of familiarity with. The  misconceptions involved are normally based on: • • • misunderstanding of the implications of mathematical rigor.1.  However. The  laws   which   empirical  tests   show   actually   govern   the   universe. The effectiveness here can be thought  of   as   "unreasonable"   in   much   the   same   way   as  Newtonian   physics  is  unreasonable.9 Relationship between mathematics and physical reality Mathematical concepts and theorems need not correspond to anything in the  physical   world.   consisting   of   proof­ attempts   made   in   an   isolated   way   (that   is.   The   relationship   to   generally­accepted  mathematics is similar to that between pseudoscience and real science. 5. they have a rigorous relationship with it.   Yet   for   many   everyday. and therefore underestimation of. mathematics owes much to amateur contributors such  as Fermat and Mersenne.3. nor unwilling to admit error in assessing 'amateur' work.3. Newtonian physics remains "unreasonably" effective.   This   fact   led  Eugene   Wigner   to   write   an   essay   on  The   Unreasonable   Effectiveness   of  Mathematics in the Natural Sciences. often in  the belief that the journal is biased against the author. economics. it is not necessary for the basic assumptions within  an axiomatic system to be true in an empirical or physical sense.   and   in   some   cases  30 . Such is  simply not the case.

  However. Wohlwend: ISBN 3­253­01702­8. but assigns emotions or traits to  these numbers intuitively or on the basis of traditions.  [edit] References •   Kline.  1856. Mathematics   is   not  numerology.  but the use of  computers clearly does matter. their main concern is to verify that computations are correct  through a system of doublechecks.   while  computer   programming  applies   specific  programming   languages  to  craft   a  solution to some concrete computational problem.   Numerology   uses  modular   arithmetic  to  reduce names and dates down to numbers. ASIN: B0000BN5SQ).   USA.   Still   others   focus   on   the  challenges   in   implementing   computations.  by   means   of  automated   theorem   provers. (Gauss zum Gedächtnis  1965 reprint by Sändig Reprint Verlag  H. Although arithmetic computation is crucial  to accountants.computers can generate proofs of these theorems more or less automatically.   Paperback   edition   (March   1.3. Mathematics is not accountancy.  they are unlikely to generate (in the near term. Advances in abstract mathematics are  mostly irrelevant  to the efficiency  of concrete  bookkeeping.  Mathematical   Thought   from   Ancient   to   Modern   Times.  ISBN 0195061357 5.   Morris  .[1] Many diverse fields exist within the broader discipline of computer  science.   These   techniques   have   proven  useful   in  formal  verification  of   programs   and   hardware   designs. while others (such as computational complexity theory)  relate   to   properties   of  computational   problems.   For   example. Notes 1.   ^    Wolfgang   Sartorius   von   Waltershausen:  Gauss   zum   Gedächtniss.  Oxford   University   Press.1 History Main article: history of computer science  The history of computer science predates the invention of the modern digital  computer.   1990). the term   computer  referred to a human clerk  31 . Prior to the 1920s. R.  programming  language   theory  studies  approaches   to   describing   a   computation.2 Computer science Computer science is the study of the theoretical foundations of information  and  computation  and   their   implementation   and   application   in  computer  systems. at least) mathematics with  any widely recognized aesthetic value.   some   emphasize   the   computation   of   specific   results   (such   as  computer graphics).2.3. 5.

  the enabling new types of scientific research. computer science rarely involves the study of computers  themselves.  "Computer   science   is   no   more   about   computers   than   astronomy is about telescopes.who   performed   calculations. with the creation  of the first computer science departments and degree programs[2]. In fact. 5.2.  electronic commerce. as newer and more powerful computing machines were  developed.  were   interested   in   the   question   of   computability:   what   things   can   be  computed by a human clerk who simply follows a list of instructions with  paper and pencil. for as long as necessary. Computer science began to be  established as a distinct academic discipline in the 1960s.   and  Alan   Turing.2. digital signatures.  The   concept   of   a  programming   language.   the   study   of  computer   hardware  is  32 . During the 1940s. and without ingenuity or insight?  Part   of   the   motivation   for   this   work   was   the   desire   to   develop   computing   machines  that could automate the often tedious and error­prone work of a  human computer.   the  Internet.   For   example. Despite its relatively short history as a formal academic discipline. These include: • • • A formal definition of  computation  and  computability.   such   as  Kurt   Gödel.   Early   researchers   in   what   came   to   be   called  computer   science.3. the term computer came to refer to the machines rather than their  human predecessors.   a   tool   for   the   precise  expression   of   methodological   information   at   various   levels   of  abstraction[4]  Revolutionary   technologies   such   as   general­purpose  computers. such as computational  physics and computational chemistry[5].3.3 Relationship with other fields Main article: Diversity of computer science  Wikiquote has a collection of quotations related to:  Edsger Dijkstra Despite its name. You can help by adding to it. and proof that  there are computationally unsolvable and intractable problems[3]. computer  science   has   made   a   number   of   fundamental   contributions   to   science   and  society. and search engines. the renowned computer scientist Edsger Dijkstra is often  quoted   as   saying.  5." The design and deployment of computers and  computer systems is generally considered the province of disciplines other  than   computer   science.2 Major achievements This section is a stub. As it became clear that computers could be used for  more   than   just   mathematical   calculations   the   field   of   computer   science  broadened to study  computation  in general.  Alonzo   Church.

  Graph theory  Foundations for data structures and searching algorithms. category theory.3.  taking a cue from the relationship between other  engineering  and  science disciplines..  physics  (see  quantum  computing). This view is promulgated  [8] by (among others) David Parnas      .1 Mathematical foundations Cryptography  Algorithms for protecting private data. including encryption.  Mathematical logic  Boolean logic and other ways of modeling logical queries.4 Fields of computer science This section is a stub. while the principle focus  of   software   engineering   is   the   design   of   specific   computations   to   achieve  practical goals. and there continues to be a useful interchange of ideas  between the two fields in areas such as mathematical logic.3. there has been much  cross­fertilization of ideas between the various computer­related disciplines.2. and how  computer science is defined.  such   as  artificial   intelligence. Computer science is considered by some to have a much closer relationship  with mathematics than many scientific disciplines [7].  domain theory. and linguistics. 5.usually   considered   part   of  computer   engineering. and algebra. a view espoused in the  statement  "Science is to computer science as hydrodynamics is to plumbing"  [6] credited to  Stan Kelly­Bootle        and others.  Others.  Type Theory  Formal  analysis   of  the  types   of   data. which is further muddied by disputes over what the term  "software engineering" means.   Computer   science   is  sometimes criticized as being insufficiently scientific.  Computer   science   research   has   also   often   crossed   into   other   disciplines. Early computer science  was strongly influenced by the work of mathematicians such as Kurt Gödel  and  Alan Turing.  cognitive   science. 5. making them different disciplines. believe that the principle  focus of computer science is  studying the properties of computation in general. The   relationship   between   computer   science   and  software   engineering  is   a  contentious issue.  33 .   while   the   study   of  commercial  computer   systems  and   their   deployment   is   often   called  information   technology  or  information   systems. You can help by adding to it. However. Some  people   believe   that   software   engineering   is   a   subset   of   computer   science.  and  the  use   of  these   types   to  understand properties of programs ­­ especially program safety. Still others maintain that software cannot  be engineered at all.2.

3.3.  Algorithms  Formal logical processes used for computation. and distributed systems 34 .  Programming languages  Formal   language   paradigms   for   expressing   algorithms.2.  5.  Data structures  The organization of and rules for the manipulation of data.   usually   from  higher   level  languages to lower level ones.4 Programming languages and compilers Compilers  Ways   of   translating   computer   programs.3.2.   Proofs  developed   by  Alan   Turing  and   others   provide   insight   into   the  possibilities of what may be computed and what may not.5 Databases Data mining  Study   of   algorithms   for   searching   and   processing   information   in  documents and databases.  Genetic algorithms  A   genetic   algorithm   is   a   search   technique   to   find   approximate  solutions to optimization and search problems.  5. parallel.3. closely related to information retrieval.  Computability theory  What   is   calculable   with   the   current   models   of   computers.2.  5.  Computational complexity theory  Fundamental bounds (especially time and storage space) on classes of  computations.  5.2 Theory of computation Main article: Theory of computation  Automata theory  Different logical structures for solving problems.3.3 Algorithms and data structures Analysis of algorithms  Time and space complexity of algorithms.5.   and   the  properties of these languages (EG: what problems they are suited to  solve).6 Concurrent.2. and the efficiency  of  these processes..2. Based heavily on mathematical logic.

  Distributed computing  Computing   using   multiple   computing   devices   over   a   network   to  accomplish a common objective or task.  Robotics  Algorithms for controlling the behavior of robots.  Automated reasoning  Solving   engines. optimization and verification of a computer system.  Formal methods  Mathematical approaches for describing and reasoning about software  designs.8 Artificial intelligence Artificial intelligence  The implementation and study of systems that exhibit an autonomous  intelligence or behaviour of their own.  5.2.  Software engineering  The   principles   and   practice   of   designing.  5.7 Computer architecture Computer architecture  The design.3.   developing.  mostly about CPUs and Memory subsystem (and the bus connecting them).  Machine Learning  Automated creation of a set of rules and axioms based on input.2.   such   as   used   in  Prolog.3.Concurrency  The theory and practice of simultaneous computation.  Operating systems  Systems   for   managing   computer   programs   and   providing   the   basis   of   a  useable system.  Computer vision  Algorithms   for   identifying   three   dimensional   objects   from   a   two  dimensional picture.  Networking  Algorithms   and   protocols   for   reliably   communicating   data   across  different shared or dedicated media.7 Software engineering Computer programming  The act of writing algorithms in a programming language.  35 .2.  5.   and   testing  programs.   which   produce   steps   to   a  result given a query on a fact and rule database. often including error correction.3.  Parallel computing  Computing using multiple concurrent threads of execution. data safety in  any multitasking or multithreaded environment. as well as proper engineering practices. organization.

  Such   curricula   tend   to  focus   on   those   skills   that   are   important   to   workers   entering   the   software  industry. emphasize the practice of advanced  computer   programming  rather   than   the   theory   of   algorithms   and  computation   in   their   computer   science   curricula.  Human computer interaction  The study and design of computer interfaces that people use. concurrency  theory.3. analysis of algorithms. analyse.2.10 Scientific computing Bioinformatics  The use of computer science to maintain.   These   programs  often   feature   the  theory of computation.2.  5.3. as well as secondary schools and vocational  programs that teach computer science.3. there is a lot of disagreement over what  the term "software engineering" actually means. among others.  They typically also teach computer programming.9 Computer graphics Computer graphics  Algorithms   both   for   generating   visual   images   synthetically.  computer graphics  and  systems analysis. The practical aspects of computer programming are often referred  to as software engineering.  5. See also • • • • • • •   Computing      List of basic computer science topics      List of computer science conferences      List of open problems in computer science      List of publications in computer science      List of prominent pioneers in computer science      List of software engineering topics    36 . store biological data  and to assist in solving biological problems such as protein folding.   and   for  integrating or altering visual and spatial information sampled from the  real world.  Image processing  Determining information from an image through computation. but treat it as a vessel for  the support of other fields of computer science rather than a central focus of  high­level study. and whether it is the same  thing as programming.5. Other colleges and universities.  databases.11 Computer science education Some   universities   teach   computer   science   as   a   theoretical   study   of  computation  and  algorithmic   reasoning.2. However. formal methods.

 David L." Massey University    ^    Denning. 4.   (2000).    ^   Constable. December 15. “The   computer   revolution   is   a   revolution   in   the   way   we   think   and   in   the   way   we   express what we think. 1998.   from   the   theoretical   foundations   to   the   very   practical   aspects of managing large software projects. I treat it as an element of the set. • •   Association   for   Computing   Machinery  .    ^    Abelson..   Guttenberg   Information  Technologies  o "Computer   science   is   the   study   of   computation.   H..    ^   Computer Language. 3.”    ^   Constable.   P. (1997).J.   MIT   Press.   Encyclopedia of Computer Science. R.  1998   ACM   Computing  Classification System. Oct 1990    ^    Denning. (March 2000). (1998). 7.   Saint   John's  University  o "Computer   Science   is   the   study   of   all   aspects   of   computer   systems.   "Computer   science:the   discipline". 6. "Software Engineering Programmes are not  Computer   Science   Programmes".   Structure   and   Interpretation   of   Computer   Programs. The essence of this change is the emergence of   what might best be called procedural epistemology   — the study of the  structure of knowledge from an imperative point of view.  Mechanical   Engineering..   P. R..   2nd   Ed."  o 2.}.  (1996).J."  Computer  Science   Department.   Chemical   Engineering.    ^   Parnas. "  Computer Science       : Achievements and    Challenges circa 2000".References 1.   Encyclopedia of Computer Science.  ISBN   0­262­01153­0. as opposed to  the   more   declarative   point   of   view   taken   by   classical   mathematical  subjects. "Nature of the Information Sciences".  Computing Curricula 2001: Computer Science. p..   "Computer   science:the   discipline". 8.   College   of   Saint   Benedict.   Annals   of   Software   Engineering  6:   19–37. 2001 37 . {Civil Engineering.L.   (2000). 5. 19: "Rather than treat software engineering as a subfield of  computer science..   ^    "Computer   science   is   the   study   of   information "  Department   of  Computer   and   Information   Science.L.   Electrical  Engineering.    IEEE Computer Society   and the Association for Computing Machinery.