menu_image
science history arts ethics mathematics essay and presentation teachers logics sense perception emotion language


What are Formal Systems?


 
Pink Flowers
Introduced here: the MIU puzzle as an example of a formal system. A formal system is composed of axioms, to which rules of inference are applied to produce theorems to which the rules can be applied again. Confused? Try to MIU puzzle yourself – it’s fun!

The MU Puzzle is an example of a formal system. The objective of the MU Puzzle is to try to reach the string MU starting from MI, using only these four rules:

  • Rule 1: xI ? xIU. If there is an I at the end of the string of letters, then you can add a U. For example if your string is MI then you can change it into MIU. You can only add a U if the last letter is an I.
  • Rule 2: Mx ? Mxx. You can double any string that follows the M. So if your string is MIU then you can double the IU after the M. You will then get MIUIU. We have doubled the IU.
  • Continue reading »


General Info

Areas of Knowledge

Ways of Knowing

Miscellaneous

Assessment


RSS Feeds

Popular Tags

analytic | anatomy | anthropology | Areas of Knowledge | Arts | assumptions | axioms | beauty | belief | bias | categorical imperative | certainty | Columbus | communication | consequentialism | creatvity | culture | deontology | determinism | dignity | dilemmas | emotions | enlightenment | essay | Ethics | facts | falsification | frank | General TOK | graphs | Great Minds | guide | History | human | Internal Assessment | jokes | Kant | knowledge | knowledge issues | Language | life | linking | Logics | marking | math | Mathematics | morality | Mpemba | Ockham | opinions | paradigms | paradox | Perception | physicalism | Plato | poetry | Popper | positivism | pragmatism | predicatbility | Presentation | proofs | puzzle | reason | Reflections | relativism | religion | schlick | Science | sense perception | speeches | statistics | syllabus | ted | theorems | theories | tok | TOK Essay | Truth | utilitarianism | variables | Videos | vidoes | vienna circle | Ways of Knowing
Experience without theory is blind, but theory without experience is mere intellectual play.

- Immanuel Kant -