For all your dictionary needs!
Tip. You can look up words, expressions, names, titles...

A. Heyting


Who is A. Heyting?

A. Heyting a.k.a. Arend Heyting was a Dutch mathematician and logician. He was a student of Luitzen Egbertus Jan Brouwer at the University of Amsterdam, and did much to put intuitionistic logic on a footing where it could become part of mathematical logic. Heyting gave the first formal development of intuitionistic logic in order to codify Brouwer's way of doing mathematics. The inclusion of Brouwer's name in the Brouwer–Heyting–Kolmogorov interpretation is largely honorific, as Brouwer was opposed in principle to the formalisation of certain intuitionistic principles.

Printed encyclopedias and other books with definitions for A. Heyting

Click on a title to look inside that book (if available):

Google previewConcise Routledge Encyclopedia of Philosophy (2000)

A. Heyting was the first to formalize both intuitionistic logic and ...

Google previewEncyclopedia of Microcomputers (1994)

Volume 14 - Productivity and Software Maintenance: A Managerial Perspective to Relative Addressing by Allen Kent, James G. Williams

A. Heyting , Intuitionism: An Introduction, North-Holland, Amsterdam, 1956. 50. A. Anderson and N. D. Belnap, Entailment: The Logic of Relevance and Necessity, Princeton ...

Online dictionaries and encyclopedias with entries for A. Heyting

Click on a label to prioritize search results according to that topic:

Share this page


Go to the wordplay of A. Heyting for some fun with words!

Privacy Policy | Cookies Policy
Keyword Tool | Romanian-English Dictionary