-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
I'm actually sitting at the William's right now finishing some emails.
Feel free to come by! Otherwise I'll meet you soon at wherever you end
up going.
On 07/03/15 12:02 PM, David Rusu wrote:
> Vegetarian fast food is closed Saturdays. Any suggestions for a
> backup?
>
>
> On Tue, Mar 3, 2015, 6:55 PM Sam Eisenstat <
sam.e...@gmail.com
> <mailto:
sam.e...@gmail.com>> wrote:
>
> Hi everyone,
>
> Last week didn't work out for me, so the next workshop will be
> this Saturday, March 7. We will meet at 12 at Vegetarian Fast Food
> (they do also have non-vegetarian food) in the UW Plaza for lunch.
> Around 12:30-1, we will head over to the UW campus for the
> workshop. I aim to hold it in MC 1085, but it is somewhat likely
> that it will be occupied so we may have to go elsewhere. I will
> post to the list what room we are in for people who want to join us
> after lunch or later.
>
> We will start with any questions people have about logic, to help
> people who are learning logic/model theory/computability. In
> particular, people who have been reading Boolos' /Computability
> and Logic/ can bring up anything from that text that they want to
> discuss. The rest of the workshop will focus on continued
> discussion of A model of UDT with a concrete prior over logical
> statements
> <
http://lesswrong.com/lw/eaa/a_model_of_udt_with_a_concrete_prior_over_logical/>,
> Non-Omniscience, Probabilistic Inference, and Metamathematics
> <
https://intelligence.org/files/Non-Omniscience.pdf>, Logical
> Prior Probability
> <
http://ict.usc.edu/pubs/Logical%20Prior%20Probability.pdf>, and
> Questions of Reasoning under Logical Uncertainty
> <
http://intelligence.org/files/QuestionsLogicalUncertainty.pdf>,
> and see what further directions we can take this work in.
>
> Best, Sam
>
> -- You received this message because you are subscribed to the
> Google Groups "lesswrong waterloo" group. To unsubscribe from this
> group and stop receiving emails from it, send an email to
> lesswrongwaterloo+unsubscribe@__
googlegroups.com
> <mailto:
lesswrongwater...@googlegroups.com>. For more
> options, visit
https://groups.google.com/d/__optout
> <
https://groups.google.com/d/optout>.
>
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2
iQEcBAEBCgAGBQJU+zBVAAoJEHzujRQ4aKxMjzUIAL/U1XUEOzidY7Wzfhy59qFV
V1QLAaUOHOiy4ieOhY9OGBQIHogBVSZyg9w1g1La2y477hxqD/X34E23ZC9P+G1k
enh6f2rTPQtw3XopSTTcPY007BCV0vwOd2wNQGV4rqKA++fpe+uru6eAtWCHNNBN
y3gZJP/XTH7eexj5AUH3HksaRW5bbJOdF4e6d5adcXKTlf2oxgZc5hb5EI+wmAw4
AiuvEQAsg3+/xQ+rpgG2fN1m880HIvkgqtQd6P9RDAe/a0w17JRXqbuQioxLJ00J
iTSBxzdi4n12eoglZzFStu62gjlZ3UC4KgUodK3OPCXzO7GbnTIm4uq4OrcSUbc=
=wFW0
-----END PGP SIGNATURE-----