2
$\begingroup$

Abraham Robinson and Arend Heyting had mutual respect (though holding differing philosophical views on the nature of mathematics). Heyting repeatedly expressed admiration for Robinson's work; see for example here. However, I was unable to find any information of what Robinson may have thought of Heyting's work.

I did find a 1968 essay by Robinson entitled Some thoughts on the history of mathematics which was "Dedicated to A. Heyting on the occasion of his 70th birthday", but it contains no mention of Heyting's work.

Has Robinson ever discussed Heyting's mathematics?

Improve this question
$\endgroup$
2
  • $\begingroup$ Joseph Dauben should know the answer. $\endgroup$
    – Ali Enayat
    Commented May 28 at 9:46
  • 1
    $\begingroup$ I looked through his book and noticed an interesting detail on page 309: Heyting wrote one of the letters of recommendation that resulted in Robinson's appointment at UCLA in 1961. @AliEnayat $\endgroup$
    – Mikhail Katz
    Commented May 28 at 10:38

0

Reset to default

You must log in to answer this question.

Browse other questions tagged .