Arend Heyting para niños
Datos para niños Arend Heyting |
||
|---|---|---|
.jpg) |
||
| Información personal | ||
| Nacimiento | 9 de mayo de 1898 Ámsterdam (Países Bajos) |
|
| Fallecimiento | 9 de julio de 1980 Lugano (Suiza) |
|
| Nacionalidad | Neerlandesa | |
| Lengua materna | Neerlandés | |
| Educación | ||
| Educado en | Universidad de Ámsterdam (1916-1922) | |
| Supervisor doctoral | Luitzen Egbertus Jan Brouwer | |
| Alumno de | Luitzen Egbertus Jan Brouwer | |
| Información profesional | ||
| Ocupación | Matemático y profesor universitario | |
| Área | Matemáticas y lógica | |
| Empleador |
|
|
| Obras notables |
|
|
| Miembro de | Real Academia de Artes y Ciencias de los Países Bajos | |
Arend Heyting (nacido el 9 de mayo de 1898 en Ámsterdam, Países Bajos, y fallecido el 9 de julio de 1980 en Lugano, Suiza) fue un importante matemático y lógico. Es conocido por sus contribuciones a un tipo especial de lógica llamada lógica intuicionista.
Contenido
¿Quién fue Arend Heyting?
Arend Heyting fue un brillante matemático neerlandés. Dedicó gran parte de su vida al estudio de la lógica y las matemáticas. Sus ideas ayudaron a cambiar la forma en que los matemáticos entendían algunas reglas básicas.
Sus estudios y carrera
Heyting estudió en la Universidad de Ámsterdam entre 1916 y 1922. Allí fue alumno de Luitzen Egbertus Jan Brouwer, un matemático muy influyente. Brouwer fue el fundador de la escuela de pensamiento conocida como "intuicionismo" en matemáticas.
Después de terminar sus estudios, Heyting trabajó como profesor. Primero enseñó en el Enschede Municipal Lyceum. Más tarde, regresó a la Universidad de Ámsterdam, donde fue profesor universitario durante muchos años. También fue miembro de la Real Academia de Artes y Ciencias de los Países Bajos.
Las ideas de Arend Heyting en matemáticas
Arend Heyting es famoso por sus trabajos en lógica y por desarrollar herramientas matemáticas para entender mejor el intuicionismo.
La lógica intuicionista
La lógica es el estudio de cómo razonamos correctamente. La lógica que usamos normalmente se llama "lógica clásica". En ella, una afirmación es verdadera o falsa, no hay otra opción. Por ejemplo, si decimos "llueve", o es verdad que llueve o es verdad que no llueve.
Sin embargo, la lógica intuicionista, en la que Heyting trabajó, es un poco diferente. En esta lógica, para decir que algo es verdadero, necesitamos tener una forma de "construirlo" o "probarlo". No basta con decir que no es falso. Esto es especialmente importante en matemáticas.
El álgebra de Heyting
Para ayudar a entender y trabajar con la lógica intuicionista, Arend Heyting creó algo llamado el álgebra de Heyting. Piensa en el álgebra normal como un conjunto de reglas para trabajar con números y símbolos. El álgebra de Heyting es un conjunto de reglas similares, pero diseñadas para la lógica intuicionista. Permite a los matemáticos estudiar y aplicar esta lógica de una manera más formal.
La aritmética de Heyting
Además del álgebra, Heyting también desarrolló la Aritmética de Heyting. Esta es una forma de hacer aritmética (sumas, restas, etc.) siguiendo los principios de la lógica intuicionista. Es otra herramienta que ayuda a los matemáticos a explorar las ideas del intuicionismo en diferentes áreas.
Galería de imágenes
-
Arend Heyting en 1967.
Véase también
En inglés: Arend Heyting Facts for Kids
