Diferencia entre revisiones de «Oskar Becker»
(Etiqueta: Artículo sin Fuentes o Bibliografía o Referencias o Enlaces externos) |
(Etiqueta: Artículo sin Fuentes o Bibliografía o Referencias o Enlaces externos) |
||
| Línea 34: | Línea 34: | ||
|web = | |web = | ||
|notas = | |notas = | ||
| + | |||
}}<div align="justify"> | }}<div align="justify"> | ||
| + | Oskar Becker. Nacio el 5 de septiembre de 1889,en Leipzig, Alemania y fue un Filósofo alemán Profesor en Friburgo y en Bonn y fenomenólogo, y fue un autor, entre otras obras. | ||
| − | |||
| − | |||
===Síntesis biográfica=== | ===Síntesis biográfica=== | ||
| − | |||
| + | 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. | ||
| + | Este uso no está relacionado con el hecho de "paraontología" en inglés más recientemente por Fred Moten y otros. | ||
| Línea 52: | Línea 54: | ||
| − | Desarrolló una | + | Desarrolló una Temá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. | ||
==Muerte== | ==Muerte== | ||
Revisión del 10:34 20 oct 2021
Oskar Becker. Filósofo
| ||||||||||||||
Oskar Becker. Nacio el 5 de septiembre de 1889,en Leipzig, Alemania y fue un Filósofo alemán Profesor en Friburgo y en Bonn y fenomenólogo, y fue un autor, entre otras obras.
Síntesis biográfica
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.
Este uso no está relacionado con el hecho de "paraontología" en inglés más recientemente por Fred Moten y otros.
Trayectoria profesional
Desarrolló una Temá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.
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
