Oskar Becker - Work in Phenomenology and Mathematical Philosophy

Work in Phenomenology and Mathematical Philosophy

He published Mathematical Existence his magnum opus, in the Yearbook in 1927. A famous work that also appeared in the Yearbook that year was Martin Heidegger's Being and Time. Becker frequently attended Heidegger's seminars during those years.

Becker utilized not only Husserlian phenomenology but, much more controversially, Heideggerian hermeneutics, discussing arithmetical counting as "being toward death". His work was criticized both by neo-Kantians and by more mainstream, rationalist logicians, to whom Becker feistily replied. This work has not had great influence on later debates in the foundations of mathematics, despite its many interesting analyses of the topic of its title.

Becker debated with David Hilbert and Paul Bernays over the role of the potential infinite in Hilbert's formalist metamathematics. Becker argued that Hilbert could not stick with finitism, but had to assume the potential infinite. Clearly enough, Hilbert and Bernays do implicitly accept the potential infinite, but they claim that each induction in their proofs is finite. Becker was correct that complete induction was needed for assertions of consistency in the form of universally quantified sentences, as opposed to claiming that a predicate holds for each individual natural number.

Read more about this topic:  Oskar Becker

Famous quotes containing the words work, mathematical and/or philosophy:

    “The work is done,” grown old he thought,
    “According to my boyish plan;
    Let the fools rage, I swerved in nought,
    Something to perfection brought;”
    But louder sang that ghost “What then?”
    William Butler Yeats (1865–1939)

    What is history? Its beginning is that of the centuries of systematic work devoted to the solution of the enigma of death, so that death itself may eventually be overcome. That is why people write symphonies, and why they discover mathematical infinity and electromagnetic waves.
    Boris Pasternak (1890–1960)

    The real discovery is the one which enables me to stop doing philosophy when I want to.—The one that gives philosophy peace, so that it is no longer tormented by questions which bring itself into question.
    Ludwig Wittgenstein (1889–1951)