Social Processes and Proofs of Theorems and Programs (Revised Version).

Abstract

It has been extensively argued that the art and science of programming should strive to become more like mathematics. In this paper we argue that this point of view is correct, but that the reasons usually given for it are wrong. We present our view that mathematics is, rather than a formal process, an ongoing social process and that the formalistic view of mathematics is misleading and destructive for proving software. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1978
Accession Number
ADA063007

Entities

People

  • Alan J. Perlis
  • Richard A. Demillo
  • Richard J. Lipton

Organizations

  • Georgia Tech

Tags

Communities of Interest

  • Air Platforms
  • Energy and Power Technologies
  • Ground and Sea Platforms

DTIC Thesaurus Topics

  • Aircrafts
  • Algorithms
  • Automata Theory
  • Computer Programming
  • Computer Science
  • Computers
  • Engineering
  • Fluid Mechanics
  • Logic
  • Materials
  • Mathematical Logic
  • Mathematics
  • Models
  • Reasoning
  • Reliability
  • Set Theory
  • Standards

Fields of Study

  • Computer science

Readers

  • Mathematical Modeling and Probability Theory.
  • Systems Analysis and Design
  • Team-Based Human-Centered Cognitive Task Decision Making and Information Performance.