LogoutWelcome guest
Article Information:
Title:
The Robbins problem: computer proofs and human proofs
Author(s):
Louis H. Kauffman
Journal:
Year:
2001
Volume:
Issue:
Page:
726 - 752
ISSN:
0368-492X
DOI:
10.1108/EUM0000000005698
Publisher:
MCB UP Ltd
Document Access:
Existing customers:
Please login above.
You do not have rights to view the article
Purchase this document:
Price payable:
GBP £13.00
plus handling charge of GBP £1.50
and VAT where applicable.
Purchase
Request this document:
Print or e-mail a document request to your librarian.
Request
Reprints & permissions:
Request
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.
Keywords:
Communications, Computers, Cybernetics, Language
Article Type:
Conceptual Paper