Wednesday, October 28, 2009

Coloquio nacional de criptografía y códigos

Hoy tuve la oportunidad de impartir una plática titulada "Introducción a las curvas elípticas, hiperelípticas y libcurve"

Estuvo muy rápida ya que solo me dieron 20 minutos y son 30 slides, pero al parecer la gente tenía idea del asunto y eso lo pudo hacer mas dinámico.

La charla trata de como generalizar el problema de logaritmo discreto sobre curvas algebraicas, en este caso las hiperelípticas usando teoría de divisores el cual es un tema un poco complejo desde el punto de vista de la criptografía usual, este problema de logaritmo discreto es la base de muchos de los algoritmos para transacciones seguras, (Elgamal, Diffie-Hellman, etc..)

El punto era introducir a la investigación de grupos abelianos distintos al usual multiplicativo en criptografía asimétrica, visto desde el punto de vista geométrico intuitivo y desde el punto de vista geómetra algebraico, hasta llegar a la estructura del grupo de Picard de orden cero isomorfo a la jacobiana de la curva, espero opiniones.

Aqui dejo las slides

Saludos

Thursday, June 04, 2009

¡YO no votaré! y lo digo con orgullo, ¿por qué?

¿Por quién votar?

Este país realmente tiene un modelo aristocrático (gobierno de "los mejores")
Los círculos políticos son muy acotados y exclusivos, realmente todos sabemos que todos los candidatos son impuestos a través de una red basada en favores para satisfacer intereses particulares.

Se pagan impuestos para mantener organizaciones que NO HACEN BIEN SU TRABAJO... ya que como menciono, el gobierno funciona a base de favores , ejemplos de "¿quién manda?"

-Comision federal de competencia o Carlos Slim
-PEMEX o Romero Deschamps con su reloj de 200 mil dólares (no exagero)
-SEP o Elba Esther Gordillo
etc...

El país no funciona, y los partidos que dicen ser de izquierda-centro o izquierda están compuestos por gente de legalidad discutible también.

Las respuestas a la pregunta del ¿por quién votar? son muy vacías pero es que no hay otra manera de discriminar a los candidatos ya que, por buenos gobernantes, legisladores, representantes
pues ninguno , todos tienen cola que les pisen, en especial los partidos chicos que no por ser chicos significa que son la clave... ya que generálmente están rellenos de gente del tipo Campa, Dante Delgado, Bejarano, etc...

Asi que tus únicas opciones son:

-Vota por el mas guapo/a
-Vota por el que tenga publicidad mas atractiva
-Vota por el que represente en caso de ser militante (1% del padron)
-Vota por el que te conmueva mas con sus comerciales fatalistas
-NO VOTES.

Perdón, pero no hay una manera linda de decirlo...

1. Todos los comerciales son porquería y esos millones que se gastan en publicidad realmente deberian de ocuparlo para ayudar a la gente, ellos están jugando con el psique de la gente la cual basa su cultura en la televisión y tiene criterio bajo, lo cual desafortunadamente abunda en Mexico,
ya que ningun programa de TV de alto rating tiene cosas inteligentes, reales o al menos NO HUMILLANTES que decir... y en el inter los comerciales son del tipo.. Lo cual causa una anomía
aún mas grande, la televisión tiene la culpa de MUCHO de lo que está sucediendo, ya que es uno de los principales medios culturales para los ciudadanos.
2. La impunidad a esos niveles es algo usual, porque votar por porquería, una vez mas, Bejarano, Niño verde, etc..
3. La sed de dinero hace que los partidos tengan una necesidad absurda de ganar generando miles de propuestas virtuales por TV y radio que al fin no serán aplicadas porque la cámara legislativa esta compuesta por PARTIDOS POLITICOS, no por LEGISLADORES que al fin y al cabo todos quieren satisfacer sus intereses partidistas, no es prejuicio, ya que así ha sido por décadas.
4. Que es eso de "Pena de muerte" , acaso quieren convertirse en gringos imperialistas donde el miedo sea el principal medio de control publico? no somos animales, porfavor.
5. La mayoria de las comunidades intelectuales concuerda con que no hay que votar...
no podemos ser una bola de borregos...
6. Millones de pesos se les dan a los partidos políticos para subsistir...
millones de plasticos, playeras , relojes, y propaganda que expira en 3 meses de campaña
¿cómo pueden dotar de tanto dinero a estar organizaciones para estos fines? por eso es un gran negocio

Yo no votaré, porque no creo en el sistema, y aunque algunos me dicen "Ve a anular tu voto" creo que como todo funciona al revés en esta anti-democrática sociedad,
no me tiene interesado el hecho de que el padrón ocupe mi voto...

Porque aun votando , los números son falsos, y aparte no tengo porque votar en un sistema que CLARAMENTE no funciona.

Y aunque voten 28 de 45 millones y esos 28 decidan el rumbo del pais...
SI HARIA LA DIFERENCIA el hecho de que el mundo se entere que en Mexico la democracia está muriendo por la corrupción y se puede obtener una revolución pacífica para cambiar el modo de orden social que se ha establecido.

Si me preguntan ¿cual es ese orden?, aun no se me ocurre, y probablemente no se me ocurrirá
o tal vez inseguramente podría decir una república unipartidista parlamentaria... pero bueno , eso se me acaba de ocurrir en este segundo... pero debe de ser algo donde los legisladores no puedan joder, incluso "no les convenga" desviar fondos para otra cosa que no sea Mexico...
o sea, evitaremos idioteces como Pemexgate, entre otras...

En resumen.

Yo promuevo el NO VOTO.

Votar por alguien que no conoces es votar por la ignorancia.


Eduardo Ruiz Duarte

Tuesday, February 10, 2009

Does God exist...?

Recently I am in a new advanced Logic class in my last semesters...
I'm enjoying my classes and I'm studying some mathematical objects that can help to deal
with philosophy.

Kurt Gödel proved that god exists using Modal Logic in 1941
Gödel made a lot of advances in logic after Russell found the big hole in set theory with the existance of "non-sets" (classes) coming from a propositional formulae particulary with R = { x / x is not in x }
haha and today the professor assistant of Set theory made a very very nice explanation of this paradox to the people that doesnt understand it... I can write it whenever you want with an example, just comment...

Gödel made a lot of advances in Analytic philosophy and the study of the formalization of the reason and the mathematical logic when showing truths,

How can someone prove that something exists if you dont know what is that 'something'?
well, there are a lot of abstract algebraic logic structures to deal with the models of everything, I love algebra and.. with logic.. is awesome, there are other logic systems different than the usual (because nobody can tell us what is really a truth, we can assume different systems of logic, I know you have heard this in sometime when drunk with your friends)

Of course the God that Gödel made exists assuming the Axioms proposed
and the model of god made using abstract algebraic logic, so now we are closer to the truth, (I'm not saying that Jesus exists, or Buddha or wtf you adore)
I'm saying that the suprema was modeled maybe with lattices or other algebraic structures to show that a set has some special order... and a set of axioms that are consistent and not self contradictory over a logic system...
So , maybe it exists and he doesnt care of anything, or is bad , or is a concept in a logic that cannot be understanded by most of the people.

Modal logic is a formal logic system that deals with "Necessity of truths" and "Possibility of truths", proving the existanse of god using that a truth is necessary if its negation entails a contradiction.

so, something that we can be for sure is that the model of god proposed by
Gödel exists.

Logic is a very very damn interesting area I'm starting to love it, in my other courses it was just concepts and first order logic , but now I can use more objects like lattices, logical ideals, filters , ultrafilters, suprema, orders, etc.. to help understanding and formalising the philosophy, not just 'thinking absurd'.

I'm studying this now, If you want a more technical explanation just comment, maybe i can do something.


beck [ a T]math [d oT] co[ dO T] ro

Eduardo Ruiz Duarte

Tuesday, January 13, 2009

Torres radicales de Galois

Ultimamente he estado codeandome mucho con la crema y nata de matematicos en irc, y hablando con un amigo catalan con el que comparto ciertos intereses, y ciertos apuntes de clase que nos mandamos , Esto es buenisimo, sobre algo que yo crei que no tenia mucho interes por la ignorancia de no comprenderlo a fondo.

Por fin entiendo la estructura algebraica que me permite descubrir si un polinomio es soluble por radicales,
porque un error que todo el mundo tiene es creer que 'no existe ecuacion quintica' , pero vaya , el teorema fundamental
asegura que 'no todos' tienen solucion por radicales , por ejemplo px^n = q la ecuacion general que soluciona eso es

Raiz_enesima(q/p) la cual CLARAMENTE es soluble por radicales, he aqui una explicacion de estas estructuras algebraicas tan chingonas.

Para entender eso solo hay que tener claro lo que son extensiones de campo.

Saludos

Eduardo Ruiz Duarte

beck



Friday, January 02, 2009

Inicio 2009

2008 was a year full of work and a lot of school , I'm advancing in school, slow , but keep going , i had a good semester... and a lot of work, I was at USA last week , with my family, I'm still working in my cryptography maths for my library, I have some advances in galois theory implementation, i hope someday ill release , but as i said if someone is interested in my advances mail me and ill send the current working code.

A friend tenex asked me for help in linked list stuff , I had a spare time and i made something
If you dont know nothing about linked lists you can check this code , is commented and it has a shell for working on the memory in real time.

/source here

Greetz to all and happy new year :)

Eduardo Ruiz Duarte