Skip Page Header and Navigation
 
Book of Paragon
   
 
 
 
 
 

Consistency of Transreal Arithmetic

 

A machine proof of the consistency of transreal arithmetic has been released. The source code is in Isabelle/HOL and will be useful only to mathematicians familiar with that machine-proof system. Further information is available in an accompanying paper.

Questions?

For further details please email the author.

 
  Home  -  Email
James A. D. W. Anderson 2007
Back to top
Last updated 09 January 2007