Vladimir Nesov (@vladimirnesov) 's Twitter Profile
Vladimir Nesov

@vladimirnesov

ID: 79831591

linkhttp://wiki.lesswrong.com/wiki/Vladimir_Nesov calendar_today04-10-2009 21:13:19

70 Tweet

176 Takipçi

17 Takip Edilen

Vladimir Nesov (@vladimirnesov) 's Twitter Profile Photo

Concepts are inference applicability heuristics; ruling X an instance of Y without expecting novel inferences is cargo cult classification.

Vladimir Nesov (@vladimirnesov) 's Twitter Profile Photo

A consequentialist formal system decides which theorems to have based on the hypothetical consequences of their truth about its models.

Vladimir Nesov (@vladimirnesov) 's Twitter Profile Photo

An agent controls its output without controlling its program. Could the value of the world be controlled without control over its state?

Vladimir Nesov (@vladimirnesov) 's Twitter Profile Photo

Human value depends on the world. Running a theorem prover establishes a dependence of human value on the theorem prover's theory.

Alicorn (@luminousalicorn) 's Twitter Profile Photo

Why is the word "dreams" used to describe both pseudorandom nocturnal hallucinations and also heartfelt aspirations for real life?