A link for those who like to wrap their brain around prospects of
proving Church-Turing thesis.
http://www.logicmatters.net/resources/pdfs/KreiselSqueezing.pdf
Mirek
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, sen
Hi Bruno,
congratulations! I wish you a lot of constructive feedback. Once the
book is out it should be way easier to get some.
Mirek
2010/7/30 Bruno Marchal :
> Hi,
> I let you know that my thesis has been published by the Editions
> Universitaires Européennes
> If interested, you can buy it h
Hi everybody,
I had a hard disk failure recently and lost my archived emails
approximately from May 2009 up to now (few months). Could somebody who
is keeping all the emails from this mailing group send me an exported
mbox or something similar?
Thanks a lot!
mirek
--~--~-~--~~-
Yes, but a local copy would be much better.
I am used to search emails quite extensively, tagging, printing ...
mirek
Jesse Mazer wrote:
> You can see a list of messages by date here:
>
> http://www.mail-archive.com/everything-list@googlegroups.com/maillist.html
>
> > Date: Mon, 21 Sep 2009
As have Russel wrote .. mbox is a type of file with certain structure
for storing emails.
1. step
open your email client, create a new folder, eg. FOR-MIREK, *copy* to
this folder desired emails
2. step
a\ Thunderbird (Mozilla)
Dive into the depths of your hard drive, find where Thunderbir
#x27;t get harvested by web robots.) It should be
> complete as of now. I'll update it upon request, so anyone who wants to have
> it updated in the future, please email me directly.
>
> BTW, it's 26 MB compressed, 155 MB uncompressed.
>
> ---
In the September'09 issue of The Reasoner
http://www.kent.ac.uk/secl/philosophy/jw/TheReasoner/vol3/TheReasoner-3(9).pdf
Fonseca and Gartner present an argument for a difference between the
first and third person point of view. In the October issue,
http://www.kent.ac.uk/secl/philosophy/jw/TheR
7 matches
Mail list logo