Dr. Henry Africk is a Professor of Mathematics at New York City College of Technology. He received his bachelor’s degree in mathematics from Columbia University, a master’s and doctorate degree in mathematics from the University of Illinois - Urbana, and a second master’s degree in electrical engineering with an emphasis in computer science from the NYU Polytechnic University. He was chair of the mathematics department from 1997 to 2014.
Education
A.B., Mathematics, Columbia University, 1964 A.M., Mathematics, University of Illinois, 1966 Ph.D., Mathematics, University of Illinois, 1970 M.S.E.E., Computer Science, Polytechnic University, 1974
Research Interests
Mathematical Logic
Courses Taught
MAT 1175, MAT 1272, MAT 1275, MAT 1372, MAT 1375, MAT 1475, MAT 1575, MAT 2440, MAT 2540, MAT 2580, MAT 2630, MAT 2675, MAT 2680
Publications
A Proof-Theoretic Proof of Scott's General Interpolation Theorem, Journal of Symbolic Logic, December, 1972. Scott's Interpolation Theorem Fails in Lw1,w, Journal of Symbolic Logic, March, 1974. Elementary College Geometry, Community College Press, 1975. Computer Assisted Instruction in Precalculus Mathematics, Collegiate Microcomputer, May 1983. Algebraics I, (computer software), Holt, Rinehart & Winston, 1986. Elementary College Geometry, Brooks/Cole, 1997. Classical Logic, Intuitionistic Logic, and the Peirce Rule,Notre Dame Journal of Formal Logic, Spring 1992.
In addition Prof. Africk has published over 200 reviews in the American Mathematical Society journal Mathematical Reviews.
Grants
Project Director, National Science Foundation CAUSE Project, "Improving Student Progress in Mathematics Using Computer-Assisted Instruction" 1980-1983