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
