1859-1938 1881-1966 brouwer calculus congresses constructivemathematics edmund fuzzysystems history husserl logic mathematics phenomenology philosophy physics prooftheory sequences(mathematics) symbolicandmathematical topology