[mizar] Formalizing undefinedness

["William M. Farmer" <wmfarmer@mcmaster.ca>]

The discussion a few weeks ago about formalizing undefinedness on the
Mizar Forum inspired me to write a paper entitled "Formalizing
Undefinedness Arising in Calculus" which is available at

  http://imps.mcmaster.ca/doc/calculus.pdf
  http://imps.mcmaster.ca/doc/calculus.ps

The paper attempts to show that the traditional way of handling
undefinedness in informal mathematics can be very directly formalized
in a standard logic if the standard logic is modified slightly to
admit undefined terms and statements about definedness.

Bill Farmer

==============================

Dr. William M. Farmer
Computing and Software, ITB 202
McMaster University
1280 Main Street West
Hamilton, Ontario L8S 4K1
Canada

E-mail:   wmfarmer@mcmaster.ca
Web:      http://imps.mcmaster.ca/wmfarmer
Phone:    905-525-9140, ext. 27039 
Fax:      905-524-0340