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:
“It’s true hard work never killed anybody, but I figure, why take the chance?”
—Ronald Reagan (b. 1911)
“The most distinct and beautiful statement of any truth must take at last the mathematical form.”
—Henry David Thoreau (1817–1862)
“The Greeks, with their truly healthy culture, have once and for all justified philosophy simply by having engaged in it, and having engaged in it more fully than any other people.”
—Friedrich Nietzsche (1844–1900)