Mathematics is enormously important and greatly underutilised. This particularly concerns the use of abstraction in reducing the complexity of information systems. Factasia is particularly concerned to collude in dragging mathematics into the 21st century. In particular in coming to terms with the fact that computers will soon be able mathematical assistants for mathematical reasoning as well as computation and symbolic transformation, and will eventually be independently capable of solving difficult mathematical problems and proving important new results. The purest technology.
Logic provides foundations for mathematics and is the bedrock of rationality.
Its so important to factasia that I'm stuck for words to explain why. This half belongs under computer science though. Defining logical truth , which is part of the philosophical work underpinning HOST so doesn't really belong here. Well, maybe lots of methods. I thought it might be a good idea to gather together methodological material into this one place.