[FOM] Axioms of programming paper on the web

Axiomize@aol.com Axiomize at aol.com
Wed Oct 9 15:19:11 EDT 2002

My paper, "Axiomatic Synthesis of a Prime Number Generator and other Number 
Theoretic Programs using a Program Calculus", is available as a pdf file on 
the web site 

The purpose is to present a set of 5 axioms from which various number 
theoretic computer programs are formally derived.

Charlie Volkstorf

More information about the FOM mailing list