Why were you initially drawn into formal methods?
Introduction
Why were you initially drawn into formal methods?
What is a Formal Method?
The distinction between formal and rigorous methods is drawn.
I was acquainted with formal logic and had spent 5 years in software development before I formally studied maths and philosophy as an undergraduate. When I began undergraduate mathematics I already had a conception of proof which had been corrupted by exposure to the ideas of Bertrand Russell, and was reluctant to settle even then for informal proofs.

As a philosophy student I was unhappy with the

up quick index © RBJ

privacy policy

Created:2006-3-13

$Id: xiab001.xml,v 1.1 2006/03/25 22:50:36 rbj01 Exp $

V