Sep 29, 2017

allow me to make your day:

- Computational trinitarianism, or how 1.) propositions as types, 2.) programs as proofs, and 3.) the relation between type theory and category theory are one and the same thing [0]

- Scott aaronson's excellent "Why Philosophers Should Care About Computational Complexity" [1]

- "From Philosophy to Program Size" by Greg Chaitin. Arguably Chaitin's work (notably Chaitin's omega) is a quintessential example of what lies at the intersection of mathematics, computation, and philosophy.[2]

- From the inimitable Juergen Schmidhueber, "Driven by Compression Progress: A Simple Principle Explains Essential Aspects of Subjective Beauty, Novelty, Surprise, Interestingness, Attention, Curiosity, Creativity, Art, Science, Music, Jokes" [3]

- A computational biology paper that presents a meta-learning scheme for cognition and emotion. This paper's idea has really stuck with me.. That and the whole notion of the "Dark room problem" (you could, probably, really easily come up with a strategy for living life according to a hybrid of what this article presents + any kind of philosophy there is) - "Emotional Valence and the Free-Energy Principle" [4]

[0] https://ncatlab.org/nlab/show/computational+trinitarianism

[1] https://www.scottaaronson.com/papers/philos.pdf

[2] https://arxiv.org/abs/math/0303352

[3] https://arxiv.org/abs/0812.4360

[4] http://journals.plos.org/ploscompbiol/article?id=10.1371/jou...

Mar 03, 2017

Everything I've read by Chaitin is interesting and thoughtful, but this piece is particularly accessible and entertaining: https://arxiv.org/abs/math/0303352