CRT-AIDED SEMI-AUTOMATED MATHEMATICS

Abstract

The report describes the status of the sixth in a series of six experiments in semi-automated mathematics. These experiments culminated in large complex computer programs that allow a mathematician to prove mathematical theorems on a man-machine basis. SAM VI, the sixth program, uses a cathode ray tube as the principal interface between the mathematician and a high speed digital computer. An elaborate language and logical capability has been implemented in SAM VI. These include 1/10 languages for expressing mathematical statements in a form suitable for both the mathematician and the machine to recognize and handle with ease and convenience, a language for expressing and handling sorts and range of symbols, and auto-logic alogirthm and matching routine. The latter contain the capability for handling, automatically, logic with equality.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1969
Accession Number
AD0697847

Entities

People

  • Francis C. Oglesby
  • James H. Bennett
  • James R. Guard
  • Mark L. Bayern Jr

Tags

Communities of Interest

  • Human Systems
  • Materials and Manufacturing Processes
  • Space

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Automatic
  • Cathode Ray Tubes
  • Computer Programming
  • Computer Programs
  • Computers
  • Contracts
  • Digital Computers
  • Hard Copy
  • Language
  • Light Pens
  • Mathematics
  • New Jersey
  • Security
  • United States
  • Weighting Functions

Readers

  • Computational Linguistics
  • Computer Science.
  • Technical Research and Report Writing.