79

LESSWRONG
LW

78

Meetup : MIRIx workshop on Logical Induction — LessWrong

3

Meetup : MIRIx workshop on Logical Induction

15th Mar 2017

1 min read

3

3

New Comment

More from Marko

Curated and popular this week

Discussion article for the meetup : MIRIx workshop on Logical Induction

WHEN: 01 April 2017 08:30:00AM (+0100)

WHERE: Universität Zürich Irchel, Winterthurerstrasse 190, 8057 Zürich, Switzerland

In the first MIRIx Zurich workshop, we study Logical Induction, based on the paper

https://intelligence.org/files/LogicalInduction.pdf

I will give a non-technical introduction to the main ideas, then we study the mathematical concepts needed to understand Logical Induction in detail. If we progress quickly, we may have time to get started on some original research too.

Discussion article for the meetup : MIRIx workshop on Logical Induction