Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Arend Heyting
#1
Arend Heyting

(Amsterdam, 1898-Lugano, 1980) Matemático neerlandés. Profesor en la Universidad de Amsterdam, se especializó en lógica matemática. Estableció, junto con L.E.J. Brouwer, la teoría institucionalista, que rechaza el método axiomático y se orienta hacia las demostraciones de tipo intuicionista.
Reply


Forum Jump:

Close