Sunday, May 27, 2012

Kuntrumanta Surumanta

La fábula del zorro y el cóndor 

(Hasta los animales deberían temerle  a la altura y al frío del altiplano) 

 Érase una vez un zorro presumido que se encontró con un cóndor. Le dijo al cóndor:
- Yo soy más inteligente que tú. Nadie me gana, entonces el cóndor le dijo:
- Veamos quién llega primero a la cima de ese cerro.
El tonto zorro corrió entre piedras y montes. El cóndor, en cambio, corrió unos metros, levantó vuelo y se adelantó. El zorro corría y saltaba tratando de alcanzar al cóndor. Al atardecer el cóndor esperaba al zorro donde comienza la nieve. El zorro le dijo:
 - Yo aguanto mejor el frío y la altura que tú, veamos quien puede pasar la noche sobre la nieve.
 - De acuerdo, contestó el cóndor. El cóndor extendió una de sus largas alas y puso una pata sobre ella.
Cuando le daba frío, cambiaba y extendía su otra ala y ponía la otra pata encima. Cada cierto tiempo el cóndor preguntaba:
 - ¿Zorro sigues ahí? - El zorro respondía ¡chulululu!
Cada vez respondía más débilmente hasta que ya no contestó, estaba amaneciendo y hacía cada vez mas frío el zorro se había congelado y muerto.

Friday, May 18, 2012

Gödels Theorem

Gödels Theorem ist das tiefgreifenste Ergebnis der mathematischen Logik. Es hat weitreichende philosophische Konsequenzen für die Grenzen des Wissens und das Wesen des Geistes. Im System der modernen Logik können arithmetische Aussagen ausgedrückt werden, z.B.: "Für jedes Paar von Zahlen n und m gilt: n + m = m + n." Man kann zudem Axiome formulieren -- die sogenannten "Peano-Axiome" --, mit deren Hilfe viele mathematische Wahrheiten bewiesen werden können.

   Es kam jedoch die Frage auf, ob man ausgehend von diesen Axiomen alle arithmetischen Wahrheiten beweisen könne, ohne eine falsche Aussage zu beweisen. Kurt Gödel beantwortete diese Frage mit Nein. Zunächst entdeckte er eine Kodierung, durch die arithmetische Aussagen so interpretiert werden können, dass sie etwas über sich selbst aussagen und darüber, was mit verschiedenen Axiomen bewiesen werden kann. Dann fand er eine arithmetische Aussage (K), die in seiner Kodierung Folgendes besagt: "(K) ist nicht beweisbar." Er schlussfolgerte, dass die Axiome eine falsche Aussage beweisen, falls (K) beweisbar ist. Aber wenn (K) nicht beweisbar ist, dann ist die Aussage wahr, und folglich gibt es eine Wahrheit, die die Axiome nicht beweisen.

   Es gibt nicht nur mathematische Wahrheiten, die nicht mit den Peano-Axiomen bewiesen werden können, vielmehr bleiben grundsätzlich in Axiomensystemen einige Wahrheiten unbeweisbar. Dies wird als "Gödels Unvollständigkeitstheorem" bezeichnet. Mit ihm scheint eine Grenze für mathematisches Wissen gesetzt zu sein.     

Kants kategorischer Imperativ

Widerspruchsfreiheit ist das A und O der Moral. Wenn ich glaube, eine bestimmte Behandlung verdient zu haben, dann sind auch andere in meiner Situation berechtigt, diese Behandlung zu erfahren. Der deutsche Philosoph Immanuel Kant behauptete, dass die Widerspruchsfreiheit gewährleistet ist, wenn man dem "kategorischen Imperativ" folgt. Er lautet: "Handle jederzeit nach derjenigen Maxime, deren Allgemeinheit als Gesetzes du zugleich wollen kannst !" Wenn eine Regel oder Maxime ohne Widerspruch von jedem befolgt werden kann, kann man danach auch nicht falsch handeln. Stellen Sie sich vor, Sie würden sich Geld leihen und versprechen, es zurückzuzahlen, obgleich Sie wissen, dass Sie dies nie tun werden. Die Regel, der Sie dann folgen würden, könnte so lauten "Mach ein falsches Versprechen, wenn es deinen Interessen dient !" Die entscheidende Frage ist nun, ob sich eine widerspruchsfreie (und damit moralische) Welt ergäbe, wenn diese Regel ein allgemeines Gesetz wäre, dem alle automatisch folgen würden, wenn sie in Ihrer Situation wären. Natürlich nicht, den niemand würde dann einem Versprechen Glauben schenken, und die Institution des Versprechens wäre somit unmöglich. Folglich könnten Sie erst gar kein falsches Versprechen geben. Die Regel, die Sie in Betracht gezogen haben, stimmt also nicht mit dem moralischen Gesetz überein. Versprechen zu brechen, erweist sich somit als moralisch falsch. 

Thursday, May 17, 2012

Where's the ANY key?

'To Start Press Any Key'.
 Where's the ANY key? 


Monday, May 14, 2012

What happens when an unstoppable force meets an immovable object?

Can God create a stone so heavy it cannot be lifted, not even by God Himself?

The immovable object and the irresistible force are both implicitly assumed to be indestructible, or else the question would have a trivial resolution ("it destroys it"). Furthermore, it is assumed that they are two separate entities, since an irresistible force is implicitly an immovable object, and vice versa. Another common answer is: "The former is consumed by the latter, with an immeasurable release of heat"
 
Such, an irresistible force cannot exist because it would require an infinite amount of energy which is not possible in a finite universe. An immovable object cannot exist because everything is constantly moving and an object that large would collapse under its own weight and create a black hole.

Saturday, May 12, 2012

Tuesday, May 8, 2012

Include a llama in the emoticons of msn please

Thanks to the developers of Microsoft Messenger, they make gifts like: flowers, pizzas, cars, balls, etc. very cheap for the users  and thanks to all external icon designers. But it would be too much to ask to include a llama in the list of  the standard emoticons... please :) 
Something like this would be nice