Oskar Becker

Oskar Becker. Filósofo

Oskar Becker Filósofo Nombre Oskar Becker Nacimiento 1889 Alemania Fallecimiento 1964 Alemania Nacionalidad alemana Ocupación Filósofo

Es un Filósofo y lógico alemán. Profesor en Friburgo y en Bonn y fenomenólogo, es autor, entre otras obras, de La existencia matemática (1927) y Ser-ahí y esencia-ahí (1963). fue un filósofo, lógico, matemático e historiador alemán de las matemáticas. Contenido 1 Vida temprana 2 Trabajar en fenomenología y filosofía matemática 2.1 Paraontología 3 Lógica intuicionista y modal 4 Historia de las matemáticas 5 Pensamiento posterior 6 Contactos y correspondencia 7 nazismo y negligencia 8 Bibliografía 8.1 Obras de Becker 8.2 Fuentes secundarias 9 Véase también 10 referencias Vida temprana Becker nació en Leipzig, donde estudió matemáticas.

Síntesis biográfica

Su disertación con Otto Hölder y Karl Rohn (1914) fue Sobre la descomposición de polígonos en triángulos que no se cruzan sobre la base de los axiomas de conexión y orden. Sirvió en la Primera Guerra Mundial y volvió a estudiar filosofía con Edmund Husserl, escribiendo su Habilitationsschrift sobre Investigaciones de los fundamentos fenomenológicos de la geometría y sus aplicaciones físicas, (1923). Becker fue asistente de Husserl, informalmente, y luego editor oficial del Yearbook for Phenomenological Research. Trabajar en fenomenología y filosofía matemática. Becker publicó su obra principal, Existencia matemática en el Anuario en 1927, el mismo año en que apareció El ser y el tiempo de Martin Heidegger. Becker asistió a los seminarios de Heidegger en este período. Becker utilizó no sólo la fenomenología husserliana sino, de manera mucho más controvertida, la hermenéutica heideggeriana, discutiendo el conteo aritmético como "estar hacia la muerte". Su trabajo fue criticado tanto por los neokantianos como por los lógicos racionalistas más convencionales, a quienes Becker respondió con determinación. Este trabajo no ha tenido una gran influencia en debates posteriores sobre los fundamentos de las matemáticas, a pesar de sus muchos análisis interesantes sobre el tema de su título. Becker debatió con David Hilbert y Paul Bernays sobre el papel del infinito potencial en la metamatemática formalista de Hilbert. Becker argumentó que Hilbert no podía quedarse con el finitismo, sino que tenía que asumir el potencial infinito. Claramente, Hilbert y Bernays aceptan implícitamente el infinito potencial, pero afirman que cada inducción en sus demostraciones es finita. Becker tenía razón en que se necesitaba una inducción completa para las afirmaciones de coherencia en forma de oraciones cuantificadas universalmente, en lugar de afirmar que un predicado es válido para cada número natural individual. Paraontologie Al discutir sobre Heidegger, Becker introdujo el neologismo alemán Paraontologie. [1] Este uso no está relacionado con el hecho de "paraontología" en inglés más recientemente por Fred Moten y otros, al discutir la negritud. [2] Lógica intuicionista y modal Becker comenzó a formalizar la lógica intuicionista de L. E. J. Brouwer.

Trayectoria profesional

Desarrolló una semántica de lógica intuicionista basada en la fenomenología de Husserl, y esta semántica fue utilizada por Arend Heyting en su propia formalización. Becker luchó, algo sin éxito, con la formulación del rechazo del medio excluido apropiado para la lógica intuicionista. Becker fracasó al final en distinguir correctamente la negación clásica de la intuicionista, pero comenzó. En un apéndice de su libro sobre la existencia matemática, Becker planteó el problema de encontrar un cálculo formal para la lógica intuicionista.

En una serie de trabajos a principios de la década de 1950, examinó la lógica modal, intuicionista, probabilística y otras lógicas filosóficas. Becker hizo contribuciones a la lógica modal (la lógica de la necesidad y la posibilidad) y el postulado de Becker, la afirmación de que el estado modal es necesario (por ejemplo, que la posibilidad de P implica la necesidad de la posibilidad de P, y también la iteración de la necesidad) es nombrado por él. Posteriormente, el Postulado de Becker jugó un papel en la formalización dada por Charles Hartshorne, el teólogo del proceso estadounidense, de la Prueba ontológica de la existencia de Dios, estimulada por conversaciones con el positivista lógico y oponente de la supuesta prueba, Rudolf Carnap. Historia de las matematicas Becker también hizo importantes contribuciones a la historia y la interpretación de las matemáticas griegas antiguas. Becker, al igual que varios otros, enfatizó la "crisis" en las matemáticas griegas ocasionada por el descubrimiento de la inconmensurabilidad del lado del pentágono (o en las pruebas posteriores, más simples, el triángulo) por Hippasus de Metapontum, y la amenaza de (literalmente) "Numeros irracionales. Para los teóricos alemanes de la "crisis", la diagonal pitagórica del cuadrado era similar en su impacto al método de diagonalización de Cantor para generar infinitos de orden superior, y al método de diagonalización de Gödel en la prueba de Gödel de la incompletitud de la aritmética formalizada. Becker, como varios historiadores anteriores, sugiere que la evitación del enunciado aritmético de magnitud geométrica en Euclides se evita para razones y proporciones, como consecuencia de recoi Se requiere el texto fuente para obtener información adicional sobre la traducción Enviar comentarios El límite de caracteres es 5,000. Usa las flechas para traducir más contenido.

Muerte

Oskar Becker. Murió el 13 de noviembre de 1964 en Bonn, Alemania con 75 años de edad.

Fuentes

• Consultado el 20 de octubre del 2021 en.

https://www.biografiasyvidas.com/biografia/b/becker_oskar.htm