2007 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Thu Jan 11 17:43:01 CET 2007
Ending: Fri Dec 21 19:56:52 CET 2007
Messages: 56

• [KC-List] [Phil-logic] Largest cardinal?   Dennis Darland
• [KC-List] A reference re Halting counting   Taylor, Richard
• [KC-List] A reference re Halting counting   Alexander Shen
• [KC-List] A reference re Halting counting   John Tromp
• [KC-List] Advanced postdoctoral research position   Luís Antunes
• [KC-List] Alex Smith found the smallest Universal Turing machine so far   Hector Zenil
• [KC-List] Alex Smith found the smallest Universal Turing machine so far   Marcus Hutter
• [KC-List] ALT/DS 2007 CFP   Thomas Zeugmann
• [KC-List] Andrej Muchnik papers collection   Marcus Hutter
• [KC-List] Australian/International PhD Students Seeked   Marcus Hutter
• [KC-List] Canonical Reference Machines...?   Simon McGregor
• [KC-List] Canonical Reference Machines...?   Dieter Egert
• [KC-List] Canonical Reference Machines...?   Paul Vitanyi
• [KC-List] Canonical Reference Machines...?   Simon McGregor
• [KC-List] Canonical Reference Machines...?   Markus Mueller
• [KC-List] Canonical Reference Machines...?   Fritz Obermeyer
• [KC-List] Canonical Reference Machines...?   Stephen Crowley
• [KC-List] Canonical Reference Machines...?   Simon McGregor
• [KC-List] Canonical Reference Machines...?   Paul Vitanyi
• [KC-List] CiE 2007 - Call for informal presentations   S B Cooper
• [KC-List] CiE 2007 - Final call for Participation   S B Cooper
• [KC-List] CiE 2008 in Athens - Second call for papers   S B Cooper
• [KC-List] CiE08 - Final Call for Papers   S B Cooper
• [KC-List] Comments on "Probability of Undefined"   ray solomonoff
• [KC-List] Comments on "Probability of Undefined"   ray solomonoff
• [KC-List] Congratulations to Eric Allender and Ming Li   Kreinovich, Vladik
• [KC-List] Describing randomized algorithms   Thomas English
• [KC-List] FoIKS 2008: Call for Papers   Markus Kirchberg
• [KC-List] Fw: [Peter.Grunwald at cwi.nl: [DMANET] CWI Lectures in honor of Paul Vitanyi]   Marcus Hutter
• [KC-List] FW: Conference on Computability, Complexity and Randomness 2008   Kreinovich, Vladik
• [KC-List] FW: Meeting announcement: Algorithmic Randomness Meeting at Notre Dame   Kreinovich, Vladik
• [KC-List] Fwd: Re: [philosophers_group] Re: Explanation of PM class notation expanded   Dennis Darland
• [KC-List] martin lof question   Steve Kettle
• [KC-List] My proof   Dennis Darland
• [KC-List] New book on minimum description length   Peter Grunwald
• [KC-List] On the Foundations of Universal Sequence Prediction   Marcus Hutter
• [KC-List] Optimization in bounded storage   Thomas English
• [KC-List] Optimization in bounded storage   Marcus Hutter
• [KC-List] Probability of "Undefined" Output in Generating theUniversal Probability Distribution   Marcus Hutter
• [KC-List] Probability of "Undefined" Output in Generating theUniversal Probability Distribution   ray solomonoff
• [KC-List] Probability of "Undefined" Output in Generating the Universal Probability Distribution   ray solomonoff
• [KC-List] proof-related versions of Kolmogorov complexity   Kreinovich, Vladik
• [KC-List] proof-related versions of Kolmogorov complexity   Kreinovich, Vladik
• [KC-List] proof-theoretic versions of Kolmogorov complexity: a query   Marcus Hutter
• [KC-List] proof-theoretic versions of Kolmogorov complexity: a query   Kreinovich, Vladik
• [KC-List] quantum Kolmogorov complexity   Markus Mueller
• [KC-List] quantum Kolmogorov complexity   Markus Mueller
• [KC-List] Question on the (ir)relevance of short universal Turing machines for Kolmogorov complexity   Marcus Hutter
• [KC-List] randomness sequence question..   Steve Kettle
• [KC-List] randomness sequence question..   Kreinovich, Vladik
• [KC-List] randomness sequence question..   David Duvenaud
• [KC-List] TAMC 2008 - Final call for papers   S B Cooper
• [KC-List] The 2, 3 Turing Machine Research Prize - Call for participation   Hector Zenil
• [KC-List] Using KC for proofs   Steve Kettle
• [KC-List] Using KC for proofs   "Markus Müller"
• [KC-List] Using KC for proofs   Paul Vitanyi

Last message date: Fri Dec 21 19:56:52 CET 2007
Archived on: Tue Dec 25 08:04:48 CET 2007

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...