Networking:<\/p>\n
- \n
- Computer Networks<\/li>\n
- DNS and BIND<\/li>\n
- Understanding Linux Network Internals<\/li>\n
- Ethernet<\/li>\n
- Wifi 802.11<\/li>\n<\/ul>\n
Programacion:<\/p>\n
- \n
- Analysis Patterns<\/li>\n
- Design Patterns<\/li>\n
- Extreme programming explained<\/li>\n
- Refactoring<\/li>\n
- Applying UML and patterns<\/li>\n
- The Pragmatic Programmer<\/li>\n
- Introduction to Algorithms<\/li>\n
- The art of computer programming Vol 1<\/li>\n
- The art of computer programming Vol 2<\/li>\n
- The art of computer programming Vol 3<\/li>\n
- ASM\n
- \n
- x64 Assembly language step-by-step<\/li>\n
- Beginning x64 Assembly programming<\/li>\n
- Modern x86 assembly language programming<\/li>\n<\/ul>\n<\/li>\n
- C\n
- \n
- The C Programming Language<\/li>\n
- Mastering Algorithms with C<\/li>\n<\/ul>\n<\/li>\n
- C++\n
- \n
- The C++ programming language<\/li>\n
- Modern C++ design<\/li>\n
- C++ Coding standards<\/li>\n<\/ul>\n<\/li>\n
- Lisp\n
- \n
- Structure and Interpretation of Computer Programs<\/li>\n
- Land of Lisp<\/li>\n
- The little schemer<\/li>\n
- Common Lisp<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n
Security:<\/p>\n
- \n
- Wireshark network analysis<\/li>\n
- Nmap network scanning<\/li>\n
- Metasploit<\/li>\n
- Stealing the network<\/li>\n
- Hacking<\/li>\n
- Applied Cryptography<\/li>\n
- Rootkits<\/li>\n
- Exploiting software<\/li>\n
- Firewalls Linux<\/li>\n
- Reversing<\/li>\n
- Shellcoder’s handbook<\/li>\n
- Linux Maxima Seguridad<\/li>\n<\/ul>\n
Tooling:<\/p>\n
- \n
- Pro Git<\/li>\n
- An introduction to GCC<\/li>\n
- Managing projects with GNU Make<\/li>\n
- Autotools<\/li>\n
- The art of debugging: GDB and DDB<\/li>\n
- Sed and AWK<\/li>\n
- Valgrind<\/li>\n
- Learning GNU Emacs<\/li>\n<\/ul>\n
Logical:<\/p>\n
- \n
- G\u00f6del, Escher, Bach: un Eterno y Gr\u00e1cil Bucle de Douglas Hofstadter<\/li>\n<\/ul>\n
1. G\u00f6del, Escher, Bach: un Eterno y Gr\u00e1cil Bucle de Douglas Hofstadter<\/h2>\n
Orientada al analisis de sistemas formales, derivacion de teoremas, axiomas, teorema de incomplentitud de Godel, etc. Se centra en la lectura y analisis del libro GEB; Godel, Escher, Bach: un eterno y gracil bucle. Los temas tratados en el libro no tienen una relacion directa con emacs o el lenguaje lisp, pero si una indirecta, de hecho en el libro se trata y analiza el lenguaje lisp. Por lo que es interesante el analisis de la totalidad del libro y no queria crear un nuevo blog solo para esto, aprovechando asi este por su estrecha relacion. Ire anadiendo aqui mis apuntes a medida que progrese con la lectura. Mi analisis, asi como algunos apuntes pueden ser algo esquematicos, con cambios repentinos de ideas, etc. Asi que advierto al lector que no tome ellos como una lectura sino como referencia una vez haya leido previamente dichos capitulos.<\/p>\n
Antes de comenzar debemos tener claras unas ideas basicas, tanto para leer este libro como para analizar problemas de la vida real, y esto es una afirmacion propia:<\/p>\n
\u00abEl analisis y la capacidad de abstraccion de los matematicos estan un nivel por encima del resto de la humanidad, a partir de ahora tendreis que cambiar la forma de razonar.<\/em> Las matematicas no son una ciencia, porque las ciencias son empiricas, o lo que es lo mismo, en el conocimiento basado en la experiencia (y por lo tanto jamas demostrables). En cambio las matematicas son deductivas, ya que son secuencias finitas de formulas \u00a0que son axiomas o inferencias directas a partir de formulas previas.<\/em>\u00ab<\/p>\n
Sin mas dilacion, comienzo mi analisis:<\/p>\n
Analisis de la introduccion (Ofrenda musico-logica):<\/span><\/strong><\/p>\n
El piano forte remedia el problema de otros instrumentos que no permitian que las teclas pudiesen sonar mas o menos fuerte que sus vecinas.<\/p>\n
R<\/strong>egis I<\/strong>usfu C<\/strong>antic E<\/strong>t R<\/strong>eliqua C<\/strong>anonica A<\/strong>rte R<\/strong>efotula -> RICERCAR<\/strong> (que significa indagar). Dicha frase en latin significa \u00abPor orden del Rey, la cancion y el resto resueltos con arte canonico<\/em>\u00ab.\u00a0El canon<\/strong> sirve de melodia y acompanamiento.<\/p>\n
Los 10 canones de la Ofrenda Musical mas elaborados, pero con presentaciones incompletas, los temas escritos y acompanados de indicaciones enigmaticas para descubrir el canon basado en ese tema.<\/p>\n
- \n
- El canon circular:<\/li>\n<\/ul>\n
![\"\"](\"https:\/\/www.blackhats.es\/wordpress\/wp-content\/uploads\/2010\/11\/Picture-1-300x223.png\" "\\"Picture")
<\/a><\/p>\n3 voces canonicas, donde cada nota del tema necesita funcionar de 2 maneras armonicas<\/strong> distintas y conservar su funcion melodica<\/strong> al mismo tiempo (sentido musical<\/strong>).<\/p>\n
- \n
- 1er grado de escala de complejidad:<\/li>\n<\/ul>\n
![\"\"](\"https:\/\/www.blackhats.es\/wordpress\/wp-content\/uploads\/2010\/11\/Picture-2-300x217.png\" "\\"Picture")
<\/a><\/p>\nEscalonan no solo en tiempo<\/strong> sino tambien en tono<\/strong>.<\/p>\n
- \n
- 2o grado de escala de complejidad:<\/li>\n<\/ul>\n
![\"\"](\"https:\/\/www.blackhats.es\/wordpress\/wp-content\/uploads\/2010\/11\/Picture-4-300x219.png\" "\\"Picture")
<\/a><\/p>\nSi es mas rapido se denomina aumentacion<\/strong> y si es mas lento se denomina disminuicion<\/strong>.<\/p>\n
- \n
- 3er grado de la escala de complejidad (tema invertido):<\/li>\n<\/ul>\n
![\"\"](\"https:\/\/www.blackhats.es\/wordpress\/wp-content\/uploads\/2010\/11\/Picture-5-300x190.png\" "\\"Picture")
<\/a><\/p>\nTema invertido<\/strong> debido a que cada copia entra con 1 octaba por debajo del tema original.<\/p>\n
- \n
- 4o grado de la escala de complejidad (esoterica – canon cangrejo):<\/li>\n<\/ul>\n
![\"\"](\"https:\/\/www.blackhats.es\/wordpress\/wp-content\/uploads\/2010\/11\/Picture-6-300x193.png\" "\\"Picture")
<\/a><\/p>\nCanon cangrejo<\/strong> por la curiosa capacidad motriz de estos crustaceos.<\/p>\n
Las copias mantienen toda la informacion<\/strong> del tema original (el tema original es recuperable a partir de sus copias (isomorfismo<\/strong>) lo cual aumenta la belleza de la obra.<\/p>\n
Aclaro distintos conceptos antes de continuar; cuando distintas voces<\/strong> que van entrando por ejemplo cambiando 4 tonos por encima o con cualquier complejidad de las citadas arriba y este es menos<\/strong> rigido<\/strong> (cuando entran todas no hay ‘formulas’) se denomina fuga<\/strong>, mientras que si es mas rigido<\/strong> se denominara canon<\/strong>.<\/p>\n
Y aqui podemos ver el resultado de manera representada de forma visual, para que nos hagamos una idea de la complejidad del asunto:<\/p>\n
J.S. Bach – Crab Canon on a M\u00f6bius Strip<\/a><\/p>\n
Cita de Godel: una proposicion de la teoria de numeros no habla de una proposicion de la teoria de numeros, es solo una proposicion de teorias de numeros.<\/p>\n
![\"\"](\"https:\/\/www.blackhats.es\/wordpress\/wp-content\/uploads\/2010\/11\/Picture-71-1024x128.png\" "\\"Picture")
<\/a><\/p>\nConcepto de demostracion<\/strong>: son pruebas dentro de sistemas fijos de proposiciones.<\/p>\n
Aseveracion Epimenides -> Paradoja<\/strong> (no es ni verdadera ni falsa).<\/p>\n
Aseveracion G de Godel -> Indemostrable<\/strong> (dentro de la Principia Mathematica) pero verdadera<\/strong>.<\/p>\n
Conclusion: Principia Mathematica -> Incompleto.<\/strong><\/p>\n
Analisis del Capitulo I: El acertijo MU (sistemas formales)<\/span><\/strong><\/span><\/p>\n
Convenciones:<\/span><\/span><\/p>\n
- \n
- Entre comillado doble (\u00ab) se refieren al mismo texto a todo.<\/li>\n
- Extre comillado simple (‘) se refiere a la cadena entrecomillada.<\/li>\n<\/ul>\n
Un sistema formal<\/strong> no se debe proceder al margen de las reglas<\/strong>, esto es un requisito de formalidad<\/strong>.<\/p>\n
- \n
- Regla I: Cadena acabada en letra \u00abI\u00bb se puede agregar una \u00abU\u00bb al final.<\/li>\n
- Regla II: Cadena ‘Mx’ se puede agregar ‘Mxx’ a la coleccion.<\/li>\n
- Regla III: Si en una cadena aparece la secuencia \u00abIII\u00bb, esta puede substituirse por \u00abU\u00bb.<\/li>\n
- Regla IV: Si aparece \u00abUU\u00bb, esta permitida su eliminacion.<\/li>\n<\/ul>\n
Derivo de forma grafica teoremas del sistema formal MIU a partir del axioma MI. Por la embergadura que conlleva he decidido realizarlo aplicando de forma mecanica (como si fuera un ordenador) todas y cada una de las reglas sin excepcion, aunque hare uso de mi razonamiento cuando encuentre ciertas caracteristicas al derivar (como un humano).<\/p>\n
![\"\"](\"https:\/\/www.blackhats.es\/wordpress\/wp-content\/uploads\/2010\/11\/Picture-41-1024x308.png\" "\\"Picture")
<\/a><\/p>\nNotas y conclusiones:<\/p>\n
0<\/span><\/strong> Representa el axioma y 1<\/strong><\/span>, 2<\/strong><\/span> y 3<\/strong><\/span> representan niveles de derivacion habiendo aplicado las 4 reglas a cada teorema.<\/p>\n
1<\/strong>. No tiene sentido seguir derivando a partir de esta teorema, ya que nos encontramos en un bucle infinito sin poder aplicar otras reglas.<\/p>\n
6.<\/strong> Mismo teorema que el caso 7.<\/strong> (derivacion del axioma aplicando la primera regla del sistema formal). Redundante, por lo que no seguimos.<\/p>\n
2. 3. 4.<\/strong> y 5.<\/strong> Seguimos derivando<\/span><\/strong> estos teoremas.<\/p>\n
![\"\"](\"https:\/\/www.blackhats.es\/wordpress\/wp-content\/uploads\/2010\/11\/Picture-21-1024x109.png\" "\\"Picture")
<\/a><\/p>\nNotas y conclusiones:<\/p>\n
3<\/strong><\/span> (nivel ampliado del anterior grafico) y 4<\/strong><\/span> representan niveles de derivacion habiendo aplicado las 4 reglas a cada teorema.<\/p>\n
2. 3. 4.<\/strong> y 5<\/strong> son los teoremas (mismos que en el anterior grafico del nivel 3<\/strong><\/span>, es decir que representa el mismo nivel).<\/p>\n
8.<\/strong> Derivando este teorema se llega a un lugar sin salida, ya que solo sera posible aplicar esta regla de forma infinita, por lo que lo descartamos. Hemos descubierto un bucle infinito! estan por todos lados aunque no los veamos!<\/p>\n
9.<\/strong> Carece de sentido aplicar la II regla y seguir derivando por este camino, ya que siempre habra 1 \u00abI\u00bb en medio (antes de la \u00abU\u00bb)ya que son 4 (pensar de forma matematica y sobre factorizacion y numeros primos y entendereis el por que). Lo mismo ocurre aplicando la III regla para derivar este teorema. Las reglas I y II no son aplicables. Por lo que descartamos este teorema.<\/p>\n
15.<\/strong> Este teorema generado es el mismo que el 10.<\/strong> Ambos obtenidos de manera distinta, aplicando distintas reglas durante la derivacion. Asi que solo seguimos derivando con el 10. <\/strong>para evitar redundancia.<\/p>\n
10. <\/strong>y 11. <\/strong>Existen dos teoremas derivados aplicando la tercera regla del sistema formal.<\/p>\n
12.<\/strong> y 13.<\/strong> Nunca un 2 elevado a X sera multiple de 3 por tanto nunca podremos eliminar esas \u00abI\u00bb para obtener \u00abU\u00bb (pensar de forma matematica y de nuevo sobre la factorizacion y numeros primos y entendereis de nuevo el por que) y esto incluye a los teoremas aplicando las reglas I, II o III, para derivar. La cuarta regla no es aplicable. Por lo que descartamos este teorema y todos los derivados a partir de este.<\/p>\n
14.<\/strong> Ademas permite aplicar la tercera regla del sistema formal de manera multiple, esto es que se pueden aplicar a distintas partes de la cadena, obteniendo mas de un teorema al aplicar esta regla derivando. Es exactamente el mismo caso que 10.<\/strong> y 11.<\/strong> sin embargo aqui obtenemos muchos mas teoremas.<\/p>\n
- 4o grado de la escala de complejidad (esoterica – canon cangrejo):<\/li>\n<\/ul>\n
- 3er grado de la escala de complejidad (tema invertido):<\/li>\n<\/ul>\n
- 2o grado de escala de complejidad:<\/li>\n<\/ul>\n
- 1er grado de escala de complejidad:<\/li>\n<\/ul>\n
- El canon circular:<\/li>\n<\/ul>\n
- G\u00f6del, Escher, Bach: un Eterno y Gr\u00e1cil Bucle de Douglas Hofstadter<\/li>\n<\/ul>\n
![\"\"](\"https:\/\/www.blackhats.es\/wordpress\/wp-content\/uploads\/2010\/11\/Picture-1.png\" "\\"Picture")
<\/a><\/p>\n