Formal science

A formal science is any one of several sciences that is predominantly concerned with abstract form, for instance, logic, mathematics, and the theoretical branches of computer science, information theory, and statistics.

See also

• Abstraction
  • Hypostatic abstraction
  • Prescisive abstraction
• Abstract structure
• Abstraction in mathematics
• Abstraction in computer science

External links

• Interdisciplinary conferences — Foundations of the Formal Sciences

Document history

Portions of the above article were adapted from the following sources under the GNU Free Documentation License, under other applicable licenses, or by permission of the copyright holders.

• "Formal science", Wikipedia.