Português/Brasil (Salvador-Bahia)

(Pretty old version) José Ulisses Ferreira Junior Homepage

After having realized a relevant mistake in Alan M. Turing's work (1936) known as a proof of the undecidability of the halting problem, and after I have proved that Church-Turing thesis does not hold, as well as published my results, I work as a researcher in computer science. Keywords can include the following: programming language, Internet computing, mobile agents systems, AI (artificial intelligence), agents, computability theory and logics, foundations of computer science, Turing machines, mathematics and knowledge/belief representation.

My curriculum vitae in CNPq (research) which in turn is part of the Brazilian Government.

Why not Philosophy?

I am currently opening a judicial process against UFBA for some crimes: generation of official but very false documents concerning me, abuse, interference in my PhD research since its beginning, probable corruption, among others.

Some of us are excellent Christians, but unfortunately do not expect to recognize Jesus Christ yet...

Some careful thought: If e-mail messages are approving, they may be regarded as of the person whom is expected to have sent them. This does not mean that ideas sent by e-mail do not have owner, as well as this does not mean that one is denying what one has written. This means that if some evil person wants to use someone else's words within e-mail outside context and for a bad reason, he or she will end up feeling the power of Justice and law. Evil people around have been in operation. :)

My recent articles and Abstracts
Ferreira's 5-valued logic, a couple of sets of truth tables.
My spatio-temporal logic, which I coined @-logic (article written in 2000). I am currently working on that logic.
The updated abstract of my Ph.D. thesis by research only (Adobe Acrobat PDF). I spent from 2000 until August 2001 as a visitor in Dublin. A few comments on my PhD is written below.
I have conceived, designed and implemented a programming language for you. In the future, I will leave it usable (ftp anonymous etc).

Unfortunately, since 1998, one or two false leaders have been responsible for many lies and slanders on the Internet from Salvador (Bahia), attempting to assassinate professional lives, and those faults for exposing names have existed only because they are false, envious and like to use their poisoned month as snakes. This is a true, honest and required defense here against the evil. Fortunately, they will eventually pay for having done that. They must never place someone else's names on the Internet, except for those who are close to them.
This inspirative album has given me some insights:
Acknowledgment Section: On the other hand, thank you so much, Dear Vieira for all that. Also, many thanks for Eglen. Two of those who made my time in Edinburgh (from 1997 to 1999) more enjoyable.

If you like chess, you can see how I beat a Grandmaster in chess, although at that time he was still almost getting there. The file is in Postscript. Alternatively, in Adobe Acrobat (PDF) format, if you wish to request.

e-mail address: ulisses@philosophers-fcs.org

There is something about my PhD. "Stupid" is one of the adjectives for those who pretend to be honest, those who have relative power, those who firstly care about their own social image, those who stole, plagiarized or robbed me of insights contained in my PhD thesis, those who are extremely envious, and those false men who insist on treating me badly for suggesting others that I had done something wrong whereas I had not done. They saw pure gift among other virtues, as they wanted to profit from this gift instead of being friends, or just honest. Indeed, they are very stupid doctors, in particular, my supervisor is. However, I may tell about them.