算法程序形式化开发研究

从哲学理论和算法程序开发实践两方面阐述了以演绎推理为基础的算法程序形式化开发的作用和固有局限性，指出排斥算法程序形式化和对形式化方法寄予不切实际的希望都是错误的，主张努力探索算法程序开发的科学基础，使开发中尽可能多的创造性劳动，转变为非创造性劳动，才能达到算法程序开发形式化，进而实现自动化的宏伟目标．最后以实例说明了我们提出的算法程序设计和证明的分划递推法为基础，进行算法程序形式化开发的可能性．