jueves, 3 de junio de 2021

Vaya palizón...

Me estoy preparando tal nivel de detalle en torno a un algoritmo que..., ¡vamos! Puedo plantearme al detalle hasta qué punto una estructura tan simple, más eficiente que el algoritmo de Dijkstra, puede pretender entrar en la pretensión de ser nisiquiera considerado.

Aun después de que comprueben de que es irrefutable, aún más que nunca lo negarán.

Se me ocurrió la posibilidad de incorporar en qué sentido otros algoritmos son transcomputacionales, pero si con sólo un algoritmo el documentarlo me lleva tanto tiempo... Me pongo a analizar cada línea, explico su invariante, los pasos que da, las excepciones... Y poco a poco lo veo más diáfano, se me simplifica en parte, y se reafirman mis tesis iniciadas hace más de diez años.

He tenido la oportunidad de observar cómo escribía mis primeros trabajos, y sigo pensando que tenían una altísima calidad - más allá de la apariencia externa de no ser muy técnicos. Lo técnico debería de extraerse del lenguaje riguroso, no de mantener una literatura que no ha sido creativa en décadas.

De todas formas, otros documentos bastante técnicos al más puro estilo fachizoide que espera el sector académico tampoco fue aceptado - y obviamente esto ha sido así sin entrar en aclaraciones.

Las recompensas, los logros, todo eso no existe. No es cierto que paguen por demostrar algo. No es más que un engaño para vender los libros que aseguran que esos problemas están abiertos. Y para cuando le plantee el ensayo al journal que tengo pensado, sólo espero que no me haga perder demasiado el tiempo porque el que me lo acepte no es más que el plan B.

El plan A es lo que me estoy preparando: marcharme de este puto país. Por dos veces le pedí ayuda a la Casa Real para que se valiera de sus influencias para que mi tecnología fuera confrontada a pares. No es para menos: si realmente hay discriminación exijo un árbitro incondicional. Y el mejor que existe en un país es su propio monarca. Pero por dos veces, tras emitirle el documento en cuestión, fui delegado a los políticos que gobernaban... Al ministerio oportuno que, por supuesto, ignoró a su modo la cosa en cuestión.

En vista de que en España no voy a conseguir absolutamente nada, está claro que debo marcharme de este bloque de estupidez. Y ojo, hablo de estupidez: justo ahora que estamos viviendo el fin de la era tecnológica en hardware EL PAÍS QUE COJA LA BATUTA DEL SOFTWARE SE FORRA. Es decir, lo pongo en mayúsculas porque considero que hay que ser realmente estúpido como para no tirar de universidades y catedráticos para investigar la viabilidad de estos productos.

¿Hasta cuántos idiomas podría aprender? ¿Me conviene apostar sólo por uno en concreto? 

--------

Mejor tomárselo con calma. Le meteré más caña a la documentación mientras me preparo para irme de este país - haciéndome a la idea, principalmente.

lunes, 31 de mayo de 2021

La torpeza del documentado

Los ordenadores han conseguido superar a los maestros humanos..., en ajedrez. Existen una serie de aspectos también impresionantes en la capacidad para mantener una conversación dentro de un corpus, aunque el control del contexto aún genera mucha controversia ¿realmente a eso se le puede llamar pensar cuando no parece incorporar aspectos fundamentales de nuestra abstracción?

No profundizaré esos temas, aunque es cierto que en estos últimos años me he estado dopando bastante sobre pragmática.

El asunto es que he observado cómo en ajedrez, por lo menos, ya se admite que los ordenadores a penas cometen errores terriblemente improbables - nuestra incapacidad para explicarle a una máquina porqué no debe cometer esa clase de errores sigue estando ahí, lo que da pistas que la máquina aún no parece tener capacidad para penar. Sin embargo, más allá de eso..., supera a los más grandes maestros.

Podemos encontrar jugadas que no se aconsejan, que han sido más que comentadas en libros de ajedrez, y resulta que las máquinas igual que no escucha a los programadores cuando se equivocan tampoco se sienten intoxicadas por los malos consejos que se repiten - no jugarán peor porque los humanos acostumbren a jugar mal.

De hecho, la propia máquina podría replantear el valor de las piezas del ajedrez, si quisiera, mediante un estudio estadístico convenientemente programado. La máquina podría replantearse hasta qué punto conviene enrocar, y darle más o menos valor en virtud de su propia experiencia - ya que será mucho mayor que la que obtenga de los libros de ajedrez o bases de datos. 

La máquina podría incluso ser programada para especular sobre las debilidades de su adversario y probar suerte con "celadas", para que le resulte más fácil vencer a un humano - cosa que no necesita realmente, porque esas máquinas ya vencen a los humanos y lo que realmente les conviene es intentar engañar a otras máquinas, los vástagos de los adversarios de sus programadores.

Y esas son las ventajas del ajedrez: como no es más que un problema PSPACE se puede objetivizar: si alguien asegura que una jugada es mejor sólo tiene que demostrarla, y el proceso de demostración es visual y bastante trivial.

Lo mismo no pasa ni con la filosofía, ni con el derecho, ni con la psicología, ni la medicina y, por descontado, ni con las matemáticas. En el mismo instante en el que una persona asegure que ha demostrado algo sólo necesitará un grupo de gente que se lo confirme y, si la comunidad científica funciona, entonces la respuesta deberá ajustarse al objeto de lo que se asegure. El objeto de lo que se asegura es la cosa en sí, que no viene de nadie, salvo de dos posibles mundos: el mundo de lo físico o el mundo de lo entero. Lo físico es lo que experimentamos con los sentidos, mientras que lo entero es lo que experimentamos con el desarrollo de las exactas.

Hoy mismo he estado remontando algunas demostraciones matemáticas. Éstas han sido la base de un conocimiento teórico muy avanzado en informática, pero que no fue capaz de generar tecnología. Y es entonces cuando quizá deba ponerse en cuarentena tales conocimientos, si no se entienden o no se abordan correctamente.

Los formalismos matemáticos pueden ser desarrollados en informática, pero con la correcta filosofía. Decir que los teoremas de Cook o de Fagin son constructivistas es lo que mis maestros me decían a mí. Pero cuando lees las demostraciones te das cuenta de que es un error monumental: son demostraciones formales, precisamente porque no son capaces de ayudar a construir nada.

La cosa es que con la filosofía constructivista, con el conectivismo, sólo funciona bien las demostraciones constructivistas. Mientras que con el conexionismo se debe considerar la laxitud de las clases de problemas en lo que se refiere a eficiencia; esto es porque el conexionismo mezcla el mundo físico con el mundo entero, cuando el conectivismo se mueve en exclusividad con lo exacto.

Eso nos generará dos filosofías exactas, con dos respuestas diferentes a una misma afirmación. Pero seguirá estando ahí por mucho que los maestros sigan repitiendo la mentira de que tales demostraciones tienen plena validez y vigencia. Ellos son los que dicen que es mi discurso el que se contradice, cuando soy yo el que les acusa a ellos no sólo de ser contradictorios, sino además estériles: su filosofía no crea tecnología, la mía sí. Y eso que aún no me he metido de lleno en el conexionismo.

Es más fácil de entender el conectivismo; y aún así se obcecan con demostraciones que no encajan con esa filosofía. Son ellos los que desprecian la realidad del mundo en el que viven, y se comportan como locos.

Pero ellos son los que me descalifican a mí. Al fin y al cabo, ¿quién sabe de mí?


domingo, 30 de mayo de 2021

Ultramegasimplificando

Estas últimas semanas he estado dándole vueltas, y ha sido de lo más curioso: primero descubrí tres nuevas técnicas que eran demasiado arrolladoras para ser verdad. Al final la primera de todas la tuve que desechar, aunque me sirvió para resolver un par de problemas que tenía en el aire, y entender cómo se resuelven otra clase de problemas. La segunda, que empezó siendo...

Nada, acabo de volver a inhabilitar el Windows update, con razón el equipo iba FATAL. Completamente colapsado, sin poder hacer nada. El Deep Microsoft algún día descubrirá la horna de su zapato con tanta intromisión y competencia desleal.

En cualquier caso, ahora que puedo volver a escribir, digo que la segunda técnica la he conseguido refutar, aunque me ha servido para perfeccionar la primera técnica de manera que sea irrefutable. Y, efectivamente, tan pronto como empecé con tres técnicas vagas ahora tengo una bajo una certeza matemática.

Al mismo tiempo que procedí a escribir introducciones desarrollé una técnica formal, matemática, que me servirá para incorporar más explicaciones y comparativas. Porque no es lo mismo demostrar que tengo razón formalmente a hacerlo constructivamente. Con esa comparación volveré a reincidir en que la cuestión de las clases de problemas NP y P podrían tener respuesta diferente, pero no explicaré en ese ensayo el porqué. Mi intención es hacer una mera introducción al problema.

--

Con esta nueva tecnología será posible resolver el problema de las n-reinas en tiempo polinomial con respecto al número de reinas, resolviéndose más rápidamente cuantas más reinas se dispongan previamente en el tablero. Esta resolución posee una lógica aplastante, y ya veré si referencio a mi primer libro "Satisfiabilidad lógica resuelta", porque ha servido como referente y permite prever resultados que han ido apareciendo.

En cierta manera es una satisfacción pensar que ese libro, tan ignorado por la editorial de una manera tan rastrera, ha conseguido ubicarse poco a poco donde le correspondía.

--

Aún así aún no he escrito nada. Eso de no poder usar el ordenador que tengo conectado a Internet debido a la gran cantidad de snifers que hay por aquí es un peñazo. Pero lo estoy aprovechando para depurar las técnicas sobre el papel, sobre los formalismos matemáticos.

Empecé con tres técnicas sobre un tema y acabé desarrollando unas cuantas teorías más y perfeccionando mis conocimientos sobre el tema. No me ha ido tan mal. En cierta manera ha sido un pequeño fraude comprobar cómo dos de esas técnicas no funcionaban como esperaba, pero esto es ley de vida - interpreto que es como jugar al ajedrez: crees tener la jugada controlada, pero a la hora de la verdad hay que demostrarla, y puede que incluso hasta la máquina se equivoque, por lo que nada está fijado ni prefijado.

--

Lo que ocurre en matemáticas pasa como cuando en filosofía observamos a varios señores discutir sobre qué criterios tuvo Kant relativo a un tema. Y el caso es que las circunstancias de un muerto sólo pueden ser objeto de especulación, porque es tremendamente difícil saber si sus pupilos en realidad en vez de darnos contenido intelectual sólo nos dan propaganda para vender sus libros o conferencias. La distinción entre contenido y propaganda es lo más complicado en filosofía, y afecta incluso a las ciencias exactas.

Nos podemos plantear cosas como si Séneca fue sincero cuando escribió en su testamento que Nerón ordenó quemar Roma ¿Se debe interpretar literalmente? Aún sería creíble que Nerón fuera terrible con el arpa, aunque en sentido figurado puede que simplemente el mayor enemigo de los cristianos fuera odiado en secreto por, simplemente, un cristiano que convivía con él. La filología podría mostrar técnicas que ayuden a distinguir cuándo un documento no tiene contenido objetivo. Y es fundamental trabajar de esa manera. Pero lo que tiene la filología como herramienta da la impresión de que la historia de la filosofía no le da uso, más bien trabaja de manera subjetiva la lectura de los documentos filosóficos.

Cuando un historiador de filosofía nos comenta un texto lo que hace es transmitirnos su experiencia, y eso no puede ser correcto. Lo más correcto sería desarrollar un estudio filológico del autor al abordar el contexto de manera que podamos comprender el extracto de su pensamiento de manera que se entienda con nuestros ojos. De la misma manera, en el proceso de análisis sería crucial establecer el significado propio del autor y de su obra por parte de todos los elementos que se van a extraer. 

Consideraría, por tanto, que cuando un conferenciante habla de un autor en materia de filosofía parecería preciso plantear la falsación de su tesis exponiendo los autores que discutirían su planteamiento, o citando las fuentes del autor referenciado que no parecen encajar con el objeto de la conferencia. Sin embargo esto último sería más objetivo, y la gente prefiere la fórmula de la propaganda. Nadie cuestiona al conferenciante, pues sería un pesado.

Observamos, de hecho, a conferenciantes que esperan que las preguntas sean de su bando o del bando contrario, pero el carácter académico de exponer de manera concisa y clara una contraposición a la cátedra defendida no es ni mucho menos lo que se observa en las preguntas de la gente. Hay como una cierta tendencia hacia el fanatismo, ya sea por parte del conferenciante como por parte del espectador. Y se van desvinculando del deseo de objetivizar la realidad.

Lo que en Ortega y Gasset podría ser poner el foco en las circunstancias, o lo que podría ser en el existencialismo centrarse en las cosas en sí. Se trata de centrar en lo objetivo, lo que está fuera de la manipulación propagandística, antes de estudiar el centro de la atención. Y es que el centro de atención sólo puede ser objeto de un resumen para cuando tengamos bien delimitados los límites del contexto y el análisis de las ideas a exponer. No hay nada más difícil como hacer un resumen filosófico.

--

Cuando tienes un trabajo bastante extenso puedes observar la filosofía científica que emerge de todo esto. Lo ideal es observar la coherencia de cada una de las partes. En el fondo, que los errores tecnológicos sean coyunturales y que la estructura se mantenga sólida sólo es un buen ejemplo de que tu filosofía tecnológica funciona. Entonces es cuando puedes resumir tus ideas para transmitirlas en un documento bastante bien condicionado pedagógicamente hablando.

Introducir la tecnología debe ser considerado más difícil que desarrollarla. Y esto es lo mismo que cuando tienes un buen análisis y adoptas una manera de referenciar cada uno de los conceptos dentro de tu criterio de demarcación y entonces es cuando quieres orquestarlo todo de la manera más simple. Todos acaban introduciendo las ideas de la misma manera, pero porque dentro de la introducción no hay un afán transformador del individuo para acercarlo a la tecnología - sólo hay un afán pedagógico para enseñar cuál es el problema, lo muy útil que és, la gran cantidad de gente que ha hablado del tema..., la propaganda.

Lo más fácil es introducir con propaganda y concluir con propaganda; podría copiar y pegar, y listo. Estaría bien y me aplaudirían por ello. Pero claro, ¿es ético hacer eso? ¿Acaso se supone que pretendo hacer eso sólo porque me simplifica?

Quizá el que no me acepten el documento, tras haber sido éste pasado por las más duras cribas, sólo me confirme que debo cambiar de ambiente. En mi entorno mi cuerpo me pide compartir de esta manera, obviamente si cambiara de entorno podría trabajar de manera que mi vocación de servicio se viera suplida por la capacidad de absorción de los colectivos que conforman mi clientela.

Bien pensado, las frustraciones que sentía para no escribir el documento era porque en el fondo no estaba convencido - había algo contradictorio en mi filosofía que me obligaba a ser excéptico con lo que pretendía poner por escrito. Ya digo, es como si todo fuera bien.




 


Tierra: Día 19/07/24 punto de inflexión

Ayer se produjo el punto de inflexión a escala mundial. Dependiendo de lo que hagan y no hagan los gobiernos tras lo sucedido ayer las dos c...

Entradas populares