Búsqueda por
palabras:
  • Paraula 1
  • Paraula 2
  • Paraula 3
  • Paraula 4
Palabra exacta:
Filtrar por
temas:
Filtrar por
autores:

HEYTING, AREND (1898-1980)

Nac. en Amsterdam, fue profesor de matemá­tica y de filosofía de la matemática en la Uni­versidad de la misma ciudad. Junto con Brouwer, Heyting es uno de los principa­les representantes de la dirección intuicionista (véase Intuicionismo) en la matemática y en su fundamentación. Heyting trabajó en la fundamentación de la matemática intuicio­nista y en la aclaración de la noción de cons­trucción (una noción que sirve no sólo para dilucidar el status de las «entidades matemá­ticas», sino también para efectuar pruebas). La teoría de la prueba en sentido intuicionista ha sido objeto de especial

Este web utiliza "cookies" propias y de terceros para ofrecerle un mejor servicio, al navegar el usuario acepta su uso Más info
ACCEPTAR