¿Cómo se aplican las ciencias formales en la vida cotidiana?