The Robbins problem: computer proofs and human proofs

doi:10.1108/EUM0000000005698

Login

Welcome:
Guest

Search for:

Browse:

Resources:

Kybernetes

ISSN: 0368-492X

Online from: 1972

Subject Area: Electrical & Electronic Engineering

Content: Latest Issue | Latest Issue RSS | Previous Issues

Options: To add Favourites and Table of Contents Alerts please take a Emerald profile

The Robbins problem: computer proofs and human proofs

Document Information:
Title:	The Robbins problem: computer proofs and human proofs
Author(s):	Louis H. Kauffman, (Department of Mathematics, Statistics and Computer Science, University of Illinois at Chicago, Chicago, Illinois, USA)
Citation:	Louis H. Kauffman, (2001) "The Robbins problem: computer proofs and human proofs", Kybernetes, Vol. 30 Iss: 5/6, pp.726 - 752
Keywords:	Communications, Computers, Cybernetics, Language
Article type:	Conceptual Paper
DOI:	10.1108/EUM0000000005698 (Permanent URL)
Publisher:	MCB UP Ltd
Abstract:	Discusses the relationship between computer proof and human proof. These issues are discussed both in general and specifically regarding the recent solution of the Robbins problem via a proof generated by computer. The Robbins problem was a long-standing open problem about axioms for Boolean algebra. One point of this paper is to show that the proof of the Robbins conjecture, generated by a computer, can be filled in and understood by human beings. We accomplish this aim in the present paper by presenting a notational reformulation of Boolean algebra and the Robbins problem. The notational/linguistic issue developed here is of cybernetic, linguistic and semiotic interest. It is our contention that mathematics can behave non-trivially under change of notation. Change of notation can be as significant as change of language. In the present case the change of language afforded by an appropriate change of notation makes a mathematical domain accessible to human beings that has heretofore been only accessible to computers.