On this day in 1907 American logician John Barkley Rosser, Sr. was born. Rosser is known for his part in the Church-Rosser theorem, which identifies the outer limit of what is achievable in automated theorem proving. This theorem was proven in 1936 by Alonzo Church and Rosser, who was Church’s student at the time, and is said to play the same role in computer science as the second law of thermodynamics in engineering.
Rosser was able to anticipate the impact of logic on the future of computing, as well as anticipate the potential of early computers in various areas of mathematics. He came up with many other developments in mathematical logic and number theory including the Rosser’s theorem, Rosser’s trick, the Rosser sieve and the Kleene-Rosser paradox.
Rosser died of an aneurysm on September 5, 1989. His son, John Barkley Rosser, Jr., is a mathematical economist and professor at James Madison University, Virginia.
J. Barkley Rosser, Sr. – Image taken from the Dolph Briscoe Center for American History
De lo que yo he revisado. En todos los adelantos de la ciencia y la tecnología ha existido los precursores. Es decir, los elementos, la materia prima o los recursos que han ayudado para que eso se haga realidad. Lógicamente, a los científicos les ha permitido ampliar su visión y tener mayor certeza en sus descubrimientos. En todo esto la lógica tiene una función muy importante como lo dice respecto a John Barkley Rosser. Lo que en las matemáticas es un principio: A un primer factor si se le suma un segundo factor produce un tercero. En la investigación, de un primer factor y un segundo debe dar lugar a un tercero. Eso es lo que produce la certeza, en este caso es posible minimizar los errores o el riesgo de fallar.
Respecto al tema del que se comenta y en la práctica parecería simple juntar tres elementos y en base a la lógica. Pero no es simple, esa es la tarea de la investigación y los estudios. Uno de los resultados es ampliar su visión. También ahí está la lógica: tres elementos- lógicos- que se unen.