Search
  Advanced Search
 
Journal search
Journal cover: Kybernetes

Kybernetes

ISSN: 0368-492X

Online from: 1972

Subject Area: Electrical & Electronic Engineering

Content: Latest Issue | icon: RSS Latest Issue RSS | Previous Issues

 

Previous article.Icon: Print.Table of Contents.Next article.Icon: .

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.



Fulltext Options:

Login

Login

Existing customers: login
to access this document

Login


- Forgot password?
- Athens/Institutional login

Purchase

Purchase

Downloadable; Printable; Owned
HTML, PDF (747kb)

Due to our platform migration, pay-per-view is temporarily unavailable.

To purchase this item please login or register.

Login


- Forgot password?

Recommend to your librarian

Complete and print this form to request this document from your librarian


Marked list


Bookmark & share

Reprints & permissions