John Howard Redfield
John Howard Redfield (June 8, 1879–April 17, 1944) was an American mathematician, best known for discovery of what is now called Pólya enumeration theorem (PET) in 1927, ten years ahead of similar but independent discovery made by George Pólya. Redfield was a great-grandson of William Charles Redfield, one of the founders and the first president of AAAS.
Solution to MacMahon's conjecture
Redfield's ability is evident in letters exchanged between Redfield, Percy MacMahon, and Sir Thomas Muir, following the publication of Redfield's paper  in 1927. Apparently Redfield sent a copy of his paper to MacMahon. In reply (letter of November 19, 1927), MacMahon expresses the view that Redfield has made a valuable contribution to the subject and goes on to mention a conjecture which he himself made in his recently delivered Rouse-Ball memorial lecture. He also says that it is probable that Redfield's work would lead to a proof of it. Such was the case: in a draft reply dated December 26, 1927, Redfield writes:
- "I am now able to demonstrate your conjectured expression...".
MacMahon, who had failed to prove it himself and then put the matter before men at both Cambridge and Oxford "without effect", delightedly wrote to Redfield (letter of January 9, 1928):
- "when you first wrote to me I formed the opinion that with your powerful handling of the theory of substitutions it would be childs play to you and I was right. I congratulate you and feel sure that your methods will carry you far."
MacMahon urged Redfield to publish his new results and also informed Muir about them. In a letter to Redfield dated December 31, 1931, Muir also encourages him to publish his verification "without waiting for MacMahon's executors" and suggests the Journal of the London Mathematical Society as an appropriate medium. As far as is known, Redfield did not follow up this suggestion, but the proof of MacMahon's conjecture was included in an unpublished manuscript which appears to be a sequel to the paper .
Redfield's contemporaries on him
A letter from Professor Cletus Oakley to Frank Harary, dated December 19, 1963, reads in part:
- "I knew him from about 1938-1944. Indeed in 1940 he came to Haverford College and gave us some lectures on 'Electronic Digital Computers' (this was slightly before Eckert-Mauchly). Knowing him as I did in those later years, I could well understand how he would not make a great teacher. He was completely off in the clouds at all times. He never looked at you, he spoke softly with his eyes on the floor, he worked with his back to you and wrote on the board. His board work, however, was impeccable. It could have been photographed and printed by photo offset it was so perfect."
- "He came to Haverford to talk to our math club many times and always had something new to say..."
- "During the later years of his life, he turned to mathematics and I usually found him working at it when I called on him. It was evident that this was his true love."
- Redfield, J. Howard (1927). "The Theory of Group-Reduced Distributions". American Journal of Mathematics 49 (3): 433–455. doi:10.2307/2370675. JSTOR 2370675. MR 1506633.
- Redfield, J. Howard (1935). Music: A Science and an Art. Tudor Publishing Co.
- Redfield, J. Howard (1984). "Enumeration by frame group and range groups". Journal of Graph Theory 8 (2): 205–223. doi:10.1002/jgt.3190080204. MR 0742876.
- This publication is based on a manuscript discovered in Redfield's legacy by his daughter. The correspondence found with the manuscript revealed that it had been submitted for publication in the American Journal of Mathematics on October 19, 1940 and was rejected by the editors in a brief letter of January 7, 1941. Redfield answered the objections of the referee in great detail ten days later and asked specific questions, but he never received a reply to his rebuttal. Apparently it was not subsequently resubmitted elsewhere. The significance of this paper is discussed in.
- Redfield, J. Howard (2000). "Group theory applied to combinatory analysis". Communications in Mathematical and in Computer Chemistry 41: 7–27. MR 1787629.
- This publication represents a typescript of a lecture delivered by Redfield in 1937. According to Lloyd, “The text of Redfield's lecture is very readable, and anyone wishing to study his work would be well advised to read the lecture before passing on to his 1927 and 1940 papers.” 
- Lloyd, E. Keith (2002). "Redfield's contributions to enumeration". Communications in Mathematical and in Computer Chemistry 46: 215–233. MR 1787630.
- Lloyd, E. Keith (1984). "J. Howard Redfield 1879-1944". Journal of Graph Theory 8 (2): 195–203. doi:10.1002/jgt.3190080203. MR 0742875.
- MacMahon, P. A. (1927). "The Structure of a Determinant". Journal of the London Mathematical Society s1–2 (4): 273–286. doi:10.1112/jlms/s1-2.4.273.
- Lloyd, E. Keith (1990). "Redfield's proofs of MacMahon's conjecture". Historia Mathematica 17 (1): 36–47. doi:10.1016/0315-0860(90)90077-Q. MR 1045715.
- Frank Harary and Robert W. Robinson (1984). "The rediscovery of Redfield's papers". Journal of Graph Theory 8 (2): 191–193. doi:10.1002/jgt.3190080202.
- J. I. Hall, E. M. Palmer, R. W. Robinson (1984). "Redfield's lost paper in a modern context". Journal of Graph Theory 8 (2): 225–240. doi:10.1002/jgt.3190080205. MR 0742877.
- Lloyd, E. Keith (2000). "Redfield's 1937 lecture". Communications in Mathematical and in Computer Chemistry 41: 29–41. MR 1787630.