My book is there

Remember at some point in writing this blog, I kept going on and on about a translation, a foreword? Here it is in flesh :) It took soo long -3 years- for this tiny book to be ready. But it's finally there and to be honest I am so proud to see my name next to Kurt Godel, the greatest logician of 20th century.

Undercover in the Library- 3

Asli knows the end of the story, that's why she is so surprised!  :)

So here comes the sequel..(Click for Episode 1, Episode 2)

What  have we talked about so far? We said that Incompleteness Theorem showed that logic was not able to capture all the truths of mathematics and because of the relativity theory and since the solution of its equations fits to our model of universe the concept of an absolute time is not anymore valid. So my "now" and your "now" is different if we are travelling in different speeds...And logic was considered as the descriptive rules of thinking. Moreover, if you can prove that mathematics rest on logic solely, you would yell out to the whole world that mathematics is the most solid division in sciences... Well they still do--- And if you can apply this to the language, then artificial intelligence (AI) is a piece of cake. 

But in 1931 Godel showed that this was not possible. He liked to find inconsistencies in systems. He even find an inconsistency in American constitution that can lead to a dictatorship. That's a funny story which will wait for another post.. At the time (1950s) everybody thought that that was the end of  the AI. But now since cognitive scientists and computer programmers consider mind as a learning and predicting machine --not a logic machine--, they changed their set of codes. So they do not think that the AI is impossible...

Any theory, which analyzes itself as a whole with its own techniques is likely to fall into a paradox. So for example, in metamatematics; if you try to show with mathematics' own techniques that mathematics is complete, there arises a inconsistency. Which means if you can prove all the statements within the system (or their negations) -with its axioms and inference rules- then you will have a statement saying that "I am not provable" and it will be provable! Wha? :) Yes, you will be able to prove in a complete system, both an affirmation of a formula and its negation at the same time. It sounds like a biiig trouble isn't it? Escher's paintings have a similar idea in them! Beautiful paintings they are..

Next coming up:

What is Heisenberg Principle?

How much bigger I get if I travel in the speed of light?

But why offices in general set up so that we work 8 hours a day?

How could we make non communicable things communicable?

What is an intuition?

In which kind of universe time travel is possible?

--------

Ready...

Utthita Padmasana (Elevated Lotus)

It's been a long day. With only two hours sleep I managed to get my residence permit after standing in a line in the morning breeze for 3 hours and more waiting was there without the morning breeze... But it's finally over...

The weather was beautiful when I got home in the lunch time. I grabbed my mat, unrolled it to the fresh grass and started the warm ups from shadow yoga under the inspection of curious neighbors. Some warm ups look funny I know, but I tried to stay in the present without thinking of the curious eyes. I took photos of some asanas. Boy the image in your head and what you are doing is so different. Today is April 8th. I will take the next photos on May 8th or so. And let's see if there is an invisible development. Lengthening the spine must be my focus, then hamstring will lengthen naturally. When practicing always in my mind: Can you ride the breath as a bird in the breeze...

In the library now, dozed off for an hour so. Simply fainted in the reading lounge... Managed to read an overview of Godel's cosmological solutions by Hawkings which answered many questions in my mind but raised many others... I have to narrow down the topic...

Weekend is approaching!

--------

Photo via emmasblogg

I also loved this bedroom. Still the white one is my favorite. Today I am a bit stressed (You can tell from me looking at  comfi room photos :)). It's been quite a fast week. I am back in Izmir. Finished the foreword and sent it to the publishing company. Ordered the book I need for my workshop presentation and got it today. I am also working on our internet project and changing some codes for translating the website into Turkish. 

In Istanbul I went to swimming almost everyday. Was doing my practices briefly :) Today I had two practices. The morning one was quite short, only warm ups, few surya namaskars and a short meditation. But the afternoon one was an almost full primary. That's good. 

This post via Mandy helped a bit with my day:

"The solution is not to suppress our thoughts and desires, for this would be impossible; it would be like trying to keep a pot of water from boiling by pressing down tightly on the lid. The only sensible approach is to train ourselves to observe our thoughts without following them. This deprives them of their compulsive energy and is therefore like removing the pot of boiling water from the fire." ~Lama Thubten Yeshe, Introduction to Tantra

I am working on that...

Snow snow snow..

It snowed during the night while I studied under the candle light..

And according to Goedel, time travel is real only if the time is not... 

That will be my lecture in a conference series in the spring..

Translation Sent!

Photo from edge.

I sent it I sent it!

I could not stop checking for hours. Now it's sent. I could still check it, you know. But it's been 2 years. Whatever is misprinted, mistyped will stay in that way...

Tomorrow the foreword...

If 50 or more people would be able to check it than it would be almost perfect. So, not as an individual but as a whole we approach the perfection..Instead of critisizing, we need to start correcting then.

I was thinking about the way news are arriving to us. It's all about  the scene, and who did what wrong, and who is guilty... Even the news about environment and peacemaking etc. There is hardly any solution offered with the news. That said, in order to be consistent, after stating the fact I am offering a possible solution. Please change the way you criticize people and the way you deliver the news, always offer a possible solution. Then the world will be a much better place.

Wow, Goedel had effected me in quite an unexpected way...

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

I am reviewing some resources to develop my foreword to  "On Formally Undecidable Propositions of Principia Mathematica and Related Systems"  by Godel, for  my translation (Turkish). The English version can be found/ordered from here.  Mine will be published by Bogazici University Press, in coming months.