Hi List,
I found this:
S. A. Terwijn, Computability and measure, PhD thesis, University of
Amsterdam, 1998.
Downloadable here:
http://www.logic.at/people/terwijn/publications/thesis.pdf
(I am currently attending his course, he is a very good teacher :-)
Maybe of interest to the
Dear Bruno,
I have already presented an argument (an easy consequence of the
Universal Dovetailer Argument, which is less easy probably) showing that:
- CRH implies COMP
- COMP implies the negation of CRH
- Thus, with or without COMP (and with or without the MUH) the CRH does
not hold.
I believe I have a working candidate for a plausibility case for a
structure being literally the universe, assuming the MUH.
It is the structure U(U), where the first U is script and the second
is blackboard bold, on page 3 of the following document, listed under
conjecture 4.
Günther Greindl wrote:
Hi List,
I found this:
S. A. Terwijn, Computability and measure, PhD thesis, University of
Amsterdam, 1998.
Downloadable here:
http://www.logic.at/people/terwijn/publications/thesis.pdf
(I am currently attending his course, he is a very good teacher :-)
Maybe of
Hello Günther,
I have already presented an argument (an easy consequence of the
Universal Dovetailer Argument, which is less easy probably) showing that:
- CRH implies COMP
- COMP implies the negation of CRH
- Thus, with or without COMP (and with or without the MUH) the CRH does
not
Hi All,
I was wondering if there was a tome where all these ideas have been
collected? I would like to get my hands on such.
--Brian
On Thu, May 1, 2008 at 12:11 PM, Marchal Bruno [EMAIL PROTECTED] wrote:
Hello Günther,
I have already presented an argument (an easy consequence of
You mean, besides the archive of this list? ;)
On May 1, 2:16 pm, Brian Tenneson [EMAIL PROTECTED] wrote:
Hi All,
I was wondering if there was a tome where all these ideas have been
collected? I would like to get my hands on such.
--Brian
On Thu, May 1, 2008 at 12:11 PM, Marchal
;)
yes.
I know the book of the future is an archive like this, but something with
a table of contents and index would be pretty sweet. Without such, I have
trouble reading books.
On Thu, May 1, 2008 at 3:24 PM, nichomachus [EMAIL PROTECTED]
wrote:
You mean, besides the archive of this list?
Dear Brian,
Russell Standish has a book summarising some stuff, also many references
at the end (will bring you up to speed on definitions like ASSA/RSSA):
http://www.hpcoders.com.au/nothing.html
(pdf on that site:http://www.hpcoders.com.au/theory-of-nothing.pdf)
Schmidhuber has interesting
I would be interested in seeing the wiki, if not helping in any (small) way
I could.
Thank you, Günther.
On Thu, May 1, 2008 at 3:50 PM, Günther Greindl [EMAIL PROTECTED]
wrote:
Dear Brian,
Russell Standish has a book summarising some stuff, also many references
at the end (will bring you
On Fri, May 02, 2008 at 12:50:49AM +0200, Günther Greindl wrote:
There was an everything wiki once, I gather, why did the project die?
Would there be interest on the list in starting a collaboration to get a
wiki going and extract stuff from the archives?
Cheers,
Günther
It died
11 matches
Mail list logo