Arend Heyting
Arend Heyting.jpg)
| Nacimiento |
9 de mayo de 1898 Amsterdam |
|---|---|
| Muerte |
9 de julio de 1980(en 82) Lugano |
| Nacionalidad | holandés |
| Capacitación | Universidad de Amsterdam (1916-1922) |
| Ocupaciones | Matemático , profesor universitario |
| Trabajé para | Q2658642 (1922-1936) , Universidad de Amsterdam (15 de septiembre de 1937 -21 de mayo de 1948) , Universidad de Amsterdam (1 er de octubre de 1948 -12 de abril de 1965) , Universidad de Amsterdam (12 de abril de 1965 -1 st de septiembre de 1968) , Universidad de Amsterdam (12 de abril de 1965 -1 st de septiembre de 1968) |
|---|---|
| Campo | Matemáticas |
| Miembro de | Real Academia Holandesa de Artes y Ciencias |
| Maestría | Gerrit Mannoury ( en ) |
| Director de tesis | Luitzen Egbertus Jan Brouwer (1925) |
| Álgebra de Heyting , Brouwer-Heyting-Kolmogorov Interpretación , Heyting aritmética ( d ) , completa Heyting algebra ( d ) , campo Heyting ( d ) |
Arend Heyting ( Amsterdam en los Países Bajos ,9 de mayo de 1898- Lugano en Suiza ,9 de julio de 1980) es un matemático y lógico holandés . Fue alumno de Luitzen Egbertus Jan Brouwer en la Universidad de Amsterdam y fue fundamental para hacer de la lógica intuicionista parte de la lógica matemática .
Biografía
Ver también
Bibliografía
- Los fundamentos de las matemáticas, intuicionismo, teoría de la prueba , Gauthier-Villars, Nauwelaerts, 1955, 91 páginas.
Artículos relacionados
- Heyting álgebra
- Heyting aritmético (en)
- Body Heyting (en)
enlaces externos
-
Registros de autoridad :
- Archivo de autoridad internacional virtual
- Identificador de nombre estándar internacional
- Biblioteca Nacional de Francia ( datos )
- Sistema de documentación universitaria
- Biblioteca del Congreso
- Gemeinsame Normdatei
- Biblioteca Real de los Países Bajos
- Biblioteca de la Universidad de Polonia
- Biblioteca Nacional de Cataluña
- Base de la biblioteca noruega
- Biblioteca Nacional Checa
- Biblioteca Nacional de Letonia
- Identificación de WorldCat
- WorldCat
- (en) John J. O'Connor y Edmund F. Robertson , "Arend Heyting" , en el archivo MacTutor History of Mathematics , Universidad de St Andrews ( leer en línea ).