カリーが好んだ数理哲学は、師のヒルベルトにならって形式主義であったが（1951年の著作を参照）、自身の著作には直観主義論理への多大な関心が現れている。
追随他的导师希尔伯特，他自认偏好的数学哲学是形式主义（比较他1951年的书）。