Arend Heyting
Arend Heyting
(
May 9
,
1898
–
July 9
,
1980
) was a
Dutch
mathematician
and
logician
. He was a student of
L. E. J. Brouwer
, and did much to put
intuitionistic logic
on a footing where it could become part of
mathematical logic
(which in a definite sense ran counter to some of the initial intentions of its founder). He was born in
Amsterdam
,
Netherlands
, and died in
Lugano
,
Switzerland
.
See also
Heyting algebra
External link
"Arend Heyting" in
The MacTutor History of Mathematics Archive
Heyting, Arend Heyting, Arend Heyting, Arend
<< Previous
Word Browser
Next >>
steve scherf
intensive quantity
christoph von dohnnyi
kilcar
secrecy news
kelly's army
kanhangad
john cridlan barrett
the glass prison
sonic shower
marin preda
colin fraser barron
elmers end
tsunehisa kimura
mary the elephant
audit committee
pierre cruzatte
extasy records
john barry (vc)
area code 914
dorothy bush koch
john hall (maryland)
frederick barter
golden boy of pye corner
helen donath
texas fight
cyril joe barton
vita novi
garrett birkhoff
playing possum
sphere (rpg maker)
ray kennedy
ind chrystie street connection
drop letter
shepherd park
list of illinois state highways
jeff porcaro
leroy robertson
cyril royston guyton bassett
scott williams (comic book artist)
bmt 60th street tunnel connection
carolyn bessette kennedy
rfdtv
east los angeles (region)
Copyright 2005-2009 OnPedia.com. All Rights Reserved