Skip to main content

Box 2

 Container

Contains 12 Results:

Preliminary Slides, undated

 File — Box: 2, Folder: 1
Scope and Content From the Collection: The John Koch Papers collection consists of publications, punch cards, code, program output, and personal notes. The publications consist of his thesis, his published solutions to the problem, publications about his solutions, and publications that were used in the problem-solving process. The punch cards consist of Koch’s programs used to solve the conjecture. The code is the print out of the code represented in the punch cards. The output contains all of the program tests Koch used in the...
Dates: Other: undated

4-Color Theorem Lecture Notes, undated

 File — Box: 2, Folder: 2
Scope and Content From the Collection: The John Koch Papers collection consists of publications, punch cards, code, program output, and personal notes. The publications consist of his thesis, his published solutions to the problem, publications about his solutions, and publications that were used in the problem-solving process. The punch cards consist of Koch’s programs used to solve the conjecture. The code is the print out of the code represented in the punch cards. The output contains all of the program tests Koch used in the...
Dates: Other: undated

After Proof Papers, 1975

 File — Box: 2, Folder: 3
Scope and Content From the Collection: The John Koch Papers collection consists of publications, punch cards, code, program output, and personal notes. The publications consist of his thesis, his published solutions to the problem, publications about his solutions, and publications that were used in the problem-solving process. The punch cards consist of Koch’s programs used to solve the conjecture. The code is the print out of the code represented in the punch cards. The output contains all of the program tests Koch used in the...
Dates: Publication: 1975

Paper’s Publications, 1976-1981

 File — Box: 2, Folder: 4
Scope and Content From the Collection: The John Koch Papers collection consists of publications, punch cards, code, program output, and personal notes. The publications consist of his thesis, his published solutions to the problem, publications about his solutions, and publications that were used in the problem-solving process. The punch cards consist of Koch’s programs used to solve the conjecture. The code is the print out of the code represented in the punch cards. The output contains all of the program tests Koch used in the...
Dates: Publication: 1976-1981

Communications, 1976

 File — Box: 2, Folder: 5
Scope and Content From the Collection: The John Koch Papers collection consists of publications, punch cards, code, program output, and personal notes. The publications consist of his thesis, his published solutions to the problem, publications about his solutions, and publications that were used in the problem-solving process. The punch cards consist of Koch’s programs used to solve the conjecture. The code is the print out of the code represented in the punch cards. The output contains all of the program tests Koch used in the...
Dates: Publication: 1976

Other Papers, 1977

 File — Box: 2, Folder: 6
Scope and Content From the Collection: The John Koch Papers collection consists of publications, punch cards, code, program output, and personal notes. The publications consist of his thesis, his published solutions to the problem, publications about his solutions, and publications that were used in the problem-solving process. The punch cards consist of Koch’s programs used to solve the conjecture. The code is the print out of the code represented in the punch cards. The output contains all of the program tests Koch used in the...
Dates: Publication: 1977

News and Papers on Theorem, 1976

 File — Box: 2, Folder: 7
Scope and Content From the Collection: The John Koch Papers collection consists of publications, punch cards, code, program output, and personal notes. The publications consist of his thesis, his published solutions to the problem, publications about his solutions, and publications that were used in the problem-solving process. The punch cards consist of Koch’s programs used to solve the conjecture. The code is the print out of the code represented in the punch cards. The output contains all of the program tests Koch used in the...
Dates: Publication: 1976

Assorted Papers, 1975

 File — Box: 2, Folder: 8
Scope and Content From the Collection: The John Koch Papers collection consists of publications, punch cards, code, program output, and personal notes. The publications consist of his thesis, his published solutions to the problem, publications about his solutions, and publications that were used in the problem-solving process. The punch cards consist of Koch’s programs used to solve the conjecture. The code is the print out of the code represented in the punch cards. The output contains all of the program tests Koch used in the...
Dates: Publication: 1975

John Koch Workings, undated

 File — Box: 2, Folder: 9
Scope and Content From the Collection: The John Koch Papers collection consists of publications, punch cards, code, program output, and personal notes. The publications consist of his thesis, his published solutions to the problem, publications about his solutions, and publications that were used in the problem-solving process. The punch cards consist of Koch’s programs used to solve the conjecture. The code is the print out of the code represented in the punch cards. The output contains all of the program tests Koch used in the...
Dates: Publication: undated

Slaying the Kraken: The Socio-History of Mathematical Proof, 1996

 File — Box: 2, Folder: 10
Scope and Content From the Collection: The John Koch Papers collection consists of publications, punch cards, code, program output, and personal notes. The publications consist of his thesis, his published solutions to the problem, publications about his solutions, and publications that were used in the problem-solving process. The punch cards consist of Koch’s programs used to solve the conjecture. The code is the print out of the code represented in the punch cards. The output contains all of the program tests Koch used in the...
Dates: Publication: 1996