"Bootstrapping" es un término que en general se refiere a un proceso de inicio automático. Se usa mucho en el campo de la informática, pero también tiene usos en otros lugares.
Por ejemplo, en lógica matemática se ha utilizado para referirse al proceso de tomar un conjunto de axiomas y luego probar lemas y teoremas útiles pero tediosos que serán necesarios para futuras demostraciones de teoremas más interesantes. De la tesis doctoral de Samuel Buss Bounded Arithmetic , fechada en 1985-1986:
El término "bootstrapping" es un término informático que describe el proceso de iniciar las operaciones de una computadora. Solía ser común encender una computadora con solo una pequeña cantidad de software cargado, digamos unos 80 bytes, la cantidad de datos que cabe en una tarjeta Hollerith. Esta pequeña cantidad de software se encargaría de leer desde cintas o tarjetas todo el sistema operativo, haciendo así que la computadora sea completamente operativa. Este proceso se denominó "bootstrapping" a partir de la analogía de "levantarse uno mismo por los bootstraps".
Del mismo modo, necesitamos arrancar . Es decir, tendremos que trabajar mucho para definir algunas funciones simples y predicados en (por ejemplo, resta). Una vez que hayamos completado el bootstrapping, será fácil demostrar que es en realidad un sistema bastante fuerte que puede definir una variedad de funciones y predicados.
Me pregunto si este término se había usado antes para describir este proceso, que es omnipresente en la lógica matemática, como por ejemplo, definir la aritmética ordinal en ZFC para que pueda probar teoremas aritméticos, o si Buss simplemente estaba tomando prestada la terminología de la informática dada la estrecha relación entre la teoría de la demostración de la aritmética acotada y la teoría de la complejidad computacional.
Para obtener más contexto que podría ayudar, creo que la necesidad de arrancar teorías axiomáticas para comenzar a trabajar con ellas y si esto es o no el resultado de que las teorías están demasiado generalizadas es una pregunta fundamental interesante. Al escribir sobre esa pregunta, me gustaría poder decir algo como "Este proceso se ha denominado 'arranque', consulte, por ejemplo, [Buss 1986]", por lo que estoy interesado en las primeras instancias registradas del término siendo utilizado.
Todas las primeras menciones en MathSciNet se refieren a modelos de arranque de hadrones , que "utilizan criterios de consistencia muy generales para determinar la forma de una teoría cuántica a partir de algunas suposiciones sobre el espectro de partículas", por ejemplo, Rockmore Some Equivalent Approaches to the Self-Consistent Bound State, 1963 , o informática/estadística, por ejemplo, Friedman-Rubin sobre algunos criterios invariantes para agrupar datos, 1967 .
Deseamos separar los n objetos en g grupos de alguna manera "óptima". Se proponen algunas definiciones de "óptimo'' y algunos métodos informáticos "bootstrap" (iterativos), con algunos ejemplos numéricos. Uno de los métodos propuestos es invariante con respecto a transformaciones lineales no singulares del espacio, pero los autores son no dogmáticamente a favor de ningún método " .
Bootstrap para PDE elíptica, donde se parte de algunos supuestos de regularidad débiles sobre las soluciones y luego se prueba que son, de hecho, mucho más regulares, aparentemente de la nada (en realidad, porque son soluciones elípticas) aparece ya en 1972, por ejemplo, en la revisión de Coffman Sobre la teoría de la bifurcación de los problemas de valores propios elípticos semilineales .
" El autor aplica un método "bootstrap" en el problema de bifurcación para el problema de valor propio elíptico semilineal... para el cual el problema de Dirichlet es solucionable. "
Miller compara la idea de que no existen hechos atómicos con el arranque de hadrones en un comentario sobre el Tractatus en 1977 (" El artículo se cierra con algunas especulaciones superficiales (expresado "medio en serio, medio frívolamente") sobre la posibilidad de que no existan datos básicos, o atómica, hechos. La visión entretenida es similar a la llamada "democracia nuclear'' o "visión de arranque de hadrones'' en la física nuclear " ), pero no creo que esto sea relevante. Parece que Buss simplemente lo tomó de Ciencias de la Computación.
Las comillas de miedo generalmente indican novedad, están ausentes en el caso de Rockmore, por lo que el uso del modelo de hadrones podría haberse establecido para entonces. Como coloquialismo, la expresión es mucho más antigua, aunque el vínculo con el barón Munchausen de Raspe, que se "arrancó" a sí mismo fuera del pantano con su propia coleta, parece ser una adición tardía. Según la etimología de Wikipedia :
El modismo data al menos de 1834, cuando apareció en el Workingman's Advocate: "Se conjetura que el Sr. Murphee ahora podrá cruzar el río Cumberland o la cerca de un granero por las correas de sus botas".[ 4] En 1860 apareció en un comentario sobre filosofía de la mente: "El intento de la mente de analizarse a sí misma [es] un esfuerzo análogo al de quien se levantaría por sus propios medios" .
gerald edgar
Carlos Witthoft
Aqui no